编译原理实验一Chomsky文法类型.docVIP

编译原理实验报告 实验名称 Chomsky文法类型判断 实验时间 2013年10月29日 院系 计算机科学与电子技术系 班级 11计算机软件 学号 JV114001 JV114095 JP114065 姓名 唐茹 韩强强 徐思维 1.试验目的： 熟练掌握四种文法类型的概念及区别。 2.设计一个Chomsky文法类型判别器，判断0型、1型、2型和3型文法。 2.实验原理： 1.设G=(Vn,Vt,P,S)，如果它的每个产生式α-β是这样一种结构： α∈(Vn∪Vt)*且至少含有一个非终结符，而β∈(Vn∪Vt)*，则G是一个0型文法。 2.设G=(Vn,Vt,P,S)为一文法，若P中的每一个产生式α-β均满足 |β|=|α|,仅仅S-?除外，则文法G是1型或上下文有关的。 3.设G=(Vn,Vt,P,S)为一文法，若P中的每一个产生式α-β均满足：α是一个非终结符，β∈(Vn∪Vt)*，则此文法称为2型的或上下文无关的。 4. 设G=(Vn,Vt,P,S)为一文法，若P中的每一个产生式的形式都是A-aB或A-a，其中A和B都是非终结符，a∈Vt*,则G是3型文法或正规文法。 5.4个文法类的定义是逐渐