E21314036 年立国 实验一.docx

编译原理设计实验报告班级：13软件工程 姓名：年立国 学号：完成日期：10.24实验题目：Chomsky文法类型判断一、背景资料1956年，N.Chomsky首先对形式语言进行了描述。N.Chomsky在对某些自然语言进行研究的基础上，提出了一种用于描述语言和文法的数学系统，按照对文法规则的不同定义形式，对语言和文法分成了4类，对每一类语言，让它与一种特定种类的自动机那样的识别器联系起来。形式语言理论的形成与发展，对计算机科学的发展是一个推动，在程序设计语言的设计与编译实现以及计算复杂性等方面都有着重大影响。二、实验目的要求输入：一组任意的规则。 输出：相应的Chomsky 文法的类型。三、实验原理1．0型文法（短语文法） 如果对于某文法G，P中的每个规则具有下列形式： u:: = v 其中u∈V＋∧u中至少包含一个非终结符，v∈V*，则称该文法G为0型文法或短语文法，简写为PSG。0型文法或短语结构文法的相应语言称为0型语言或短语结构语言L0。这种文法由于没有其他任何限制，因此0型文法也称为无限制文法，其相应的语言称为无限制性语言。任何0型语言都是递归可枚举的，故0型语言又称递归可枚举集。这种语言可由图灵机（Turning）来识别。2．1型文法（上下文有关文法） 如果对于某文法G，P中的每个规则具有下列形式： xUy:: = xuy 其中U∈VN；u，x，y∈V*且︱xUy︱≤︱xuy︱仅仅规则S::= ε除外，则称该文法G为1型文法或上下文有关文法，也称上下文敏感文法，简写为CSG。1型文法的规则左部的U和右部的u具有相同的上文x和下文y，利用该规则进行推导时，要用u替换U，必须在前面有x和后面有y的情况下才能进行，显示了上下文有关的特性。1型文法所确定的语言为1型语言L1，1型语言可由线性有界自动机来识别。3．2型文法（上下文无关文法） 如果对于某文法G，P中的每个规则具有下列形式： U :: = u 其中U∈VN；u∈V*，则称该文法G为2型文法或上下文无关文法，简写为CFG。按照这条规则，对于上下文无关文法，利用该规则进行推导时，无需考虑非终结符U所在的上下文，总能用u替换U，或者将u归约为U，显示了上下文无关的特点。2型文法所确定的语言为2型语言L2，2型语言可由非确定的下推自动机来识别。一般定义程序设计语言的文法是上下文无关的。如C语言便是如此。因此，上下文无关文法及相应语言引起了人们较大的兴趣与重视。4．3型文法（正则文法，线性文法） 如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或U :: = WT 其中T∈VT；U,W∈VN，则称该文法G为左线性文法。如果对于某文法G，P中的每个规则具有下列形式： U :: = T 或U :: = TW 其中T∈VT；U, W∈VN，则称该文法G为右线性文法。左线性文法和右线性文法通称为3型文法或正则文法，有时又称为有穷状态文法，简写为RG。按照定义，对于正则文法应用规则时，单个非终结符号只能被替换为单个终结符号、单个非终结符号加上单个终结符号（或者单个终结符号加上单个非终结符号）。3型文法所确定的语言为3型语言L3，3型语言可由确定的有限状态自动机来识别。在常见的程序设计语言中，多数与词法有关的文法属于3型文法。可以看出，上述4类文法，从0型到3型，产生式限制越来越强，其后一类都是前一类的子集，而描述语言的功能越来越弱，四类文法及其表示的语言之间的关系可表示为： 0型?1型? 2型?3型；即L0 ?L1?L2?L3; 四、实验环境配置硬件：微机；软件：VC++6.0五、实验步骤（包括操作方法、数据处理）1. 编写识别格种文法的子程序，子程序的设计应遵循各个文法的定义，即每种文法的规则的描述，待与输入的文法规则比较以判断当前文法所属的类别；注：各个子程序的返回值应为布尔值（true or false）。2. 输入一个完整的文法（0~3型）；3. 将文法的规则存储在内存（数据结构自定，最好存储为字符串数组）；4.利用字符串匹配方法，调用事先编写好的识别文法的子程序，以此判断输入文法属于哪类文法，并输出其四元式的形式。六、源代码#includestdio.h#includeiostream.h#includestring.h#includestdlib.htypedef struct {char vt[100];char vn[100];int lvt;int lvn;char s;}wenfa; void creat(wenfa w){ int i=0,j=0; printf(请输入终结符：\n); scanf(%s,w.vt); w.lvt=strlen(w.vt); printf(请输入非终结符：\n); scanf(%s,w.