编译原理实验课程教案设计.docVIP

安 徽 大 学 实 验 课 程 教 案 课 程 名 称 编译原理 课 程 属 性 专业基础 开 课 学 年 开 课 学 期 年 级 专 业 主 讲 教 师 课程所属院系部 计算机科学与技术学院 课程所属系(教研室) 实验一 名称 Chomsky文法类型判断 一、、实验三、实验原理 1．0型文法（短语文法） 如果对于某文法G，P中的每个规则具有下列形式： u:: = v 其中uV＋，vV*，则称该文法G为0型文法或短语文法，简写为PSG。 0型文法或短语结构文法的相应语言称为0型语言或短语结构语言L0。这种文法由于没有其他任何限制，因此0型文法也称为无限制文法，其相应的语言称为无限制性语言。任何0型语言都是递归可枚举的，故0型语言又称递归可枚举集。这种语言可由图灵机（Turning）来识别。 2．1型文法（上下文有关文法） 如果对于某文法G，P中的每个规则具有下列形式： xUy:: = xuy 其中UVN；uV＋；x，yV*，则称该文法G为1型文法或上下文有关文法，也称上下文敏感文法，简写为CSG。 1型文法的规则左部的U和右部的u具有相同的上文x和下文y，利用该规则进行推导时，要用u替换U，必须在前面有x和后面有y的情况下才能进行，显示了上下文有关的特性。 1型文法所确定的语言为1型语言L1，1型语言可由线性有界自动机来识别。 3．2型文法（上下文无关文法） 如果对于某文法G，P中的每个规则具有下列形式： U :: = u 其中UVN；uV＋，则称该文法G为2型文法或上下文无关文法，简写为CFG。 按照这条规则，对于上下文无关文法，利用该规则进行推导时，无需考虑非终结符U所在的上下文，总能用u替换U，或者将u归约为U，显示了上下文无关的特点。 2型文法所确定的语言为2型语言L2，2型语言可由非确定的下推自动机来识别。 一般定义程序设计语言的文法是上下文无关的。如C语言便是如此。因此，上下文无关文法及相应语言引起了人们较大的兴趣与重视。 4．3型文法（正则文法，线性文法） 如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或 U :: = WT 其中TVT；U,WVN，则称该文法G为左线性文法。 如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或 U :: = TW 其中TVT；U, WVN，则称该文法G为右线性文法。 左线性文法和右线性文法通称为3型文法或正则文法，有时又称为有穷状态文法，简写为RG。 按照定义，对于正则文法应用规则时，单个非终结符号只能被替换为单个终结符号，或被替换为单个非终结符号加上单个终结符号，或者被替换为单个终结符号加上单个非终结符号。 3型文法所确定的语言为3型语言L3，3型语言可由确定的有穷状态自动机来识别。 在常见的程序设计语言中，多数与词法有关的文法属于3型文法。 可以看出，上述4类文法，从0型到3型，产生式限制越来越强，其后一类都是前一类的子集，而描述语言的功能越来越弱，四类文法及其表示的语言之间的关系可表示为： 0型1型2型3型；即L0 L1 L2 L3 四、注意事项 文法的输入应简便。 指明是哪一类Chomsky 文法，并给出相应的四元组形式：G=（VN，VT，P，S）。 说明：简单起见， 可以不考虑0型文法类。 实验 二 名称 正规文法和正规式等价转换 一、背景资料 一个文法可以定义某种语言，而一个特定的语言也可以由文法来描述。但文法与语言之间并不存在一一对应的关系。 形式语言理论已经证明： 给定一个文法，就能从结构上惟一地确定其语言，即G→L（G） （2）给出文法后，语言也就相应地确定了，其语言可以是有穷的，也可以是无限的。 二、实验目的要求 输入：任意的正规文法。 输出：相应的正规式。 三、实验原理 3型文法（正则文法，线性文法） 如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或 U :: = WT 其中TVT；U,WVN，则称该文法G为左线性文法。 如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或 U :: = TW 其中TVT；U, WVN，则称该文法G为右线性文法。 左线性文法和右线性文法通称为3型文法或正则文法，有时又称为有穷状态文法，简写为RG。 按照定义，对于正则文法应用规则时，单个非终结符号只能被替换为单个终结符号，或被替换为单个非终结符号加上单个终结符号，或者被替换为单个终结符号加上单个非终结符号。 3型文法所确定的语言为3型语言L3，3型语言可由确定的有穷状态自动机来识别。 程序设计语言的单词可由正则文法产生，例如，标识符的定义可由正则文法描述如下： 标识符::=