编译原理实验文法的判断.docxVIP

PAGE \* MERGEFORMAT13  文法类型的判断和推导序列的生成  目录  TOC \o 1-3 \h \z \u  HYPERLINK \l _Toc464988383 一、实验名称  PAGEREF _Toc464988383 \h 2  HYPERLINK \l _Toc464988384 二、实验目的  PAGEREF _Toc464988384 \h 2  HYPERLINK \l _Toc464988385 三、实验原理  PAGEREF _Toc464988385 \h 2  HYPERLINK \l _Toc464988386 1、文法G定义为四元组(Vn,Vt,P,S)  PAGEREF _Toc464988386 \h 2  HYPERLINK \l _Toc464988387 2、文法类型的判断  PAGEREF _Toc464988387 \h 2  HYPERLINK \l _Toc464988388 四、实验思路  PAGEREF _Toc464988388 \h 2  HYPERLINK \l _Toc464988389 1、接受产生式  PAGEREF _Toc464988389 \h 3  HYPERLINK \l _Toc464988390 2、文法类型的判断  PAGEREF _Toc464988390 \h 3  HYPERLINK \l _Toc464988391 3、将文法以四元组形式输出  PAGEREF _Toc464988391 \h 4  HYPERLINK \l _Toc464988392 五、实验小结  PAGEREF _Toc464988392 \h 4  HYPERLINK \l _Toc464988393 1、文法类型的判断条件  PAGEREF _Toc464988393 \h 4  HYPERLINK \l _Toc464988394 2、产生式的存储问题  PAGEREF _Toc464988394 \h 5  HYPERLINK \l _Toc464988395 3、文法以四元组形式输出问题  PAGEREF _Toc464988395 \h 5  HYPERLINK \l _Toc464988396 六、附件  PAGEREF _Toc464988396 \h 5  HYPERLINK \l _Toc464988397 1、源代码  PAGEREF _Toc464988397 \h 5  HYPERLINK \l _Toc464988398 2、运行结果截图  PAGEREF _Toc464988398 \h 10   一、实验名称 文法类型的判断和推导序列的生成 二、实验目的 输入：一组任意的文法规则和任意符号串。 输出：相应的Chomsky文法类型和推导。 三、实验原理 1、文法G定义为四元组(Vn,Vt,P,S) 其中Vn为非终结符（或语法实体，或变???）集：Vt为终结符集；P为规则（α-β）的集合，α∈(Vn∪Vt)*且至少包含一个非终结符，β∈(Vn∪Vt)*；Vn，Vt和P是非空有穷集。S称作识别符或开始符，它是一个非终结符，至少要在一条规则中作为左部出现。 2、文法类型的判断 a.设G=(Vn,Vt,P,S)为一文法，若P中的每一个产生式α-β均满足 |β|=|α|，仅仅S-ε除外，则文法G是1型或上下文有关的。 b.设G=(Vn,Vt,P,S)，若P中的每一个产生式α-β满足: α是一个非终结符，β∈(Vn∪Vt)*，则此文法称为2型的或上下文无关的。 c. 设G=(Vn,Vt,P,S)，若P中的每一个产生式的形式都是A-αB或A-α，其中A和B都是终结符，α∈Vt*，则G是3型文法或正规文法。 四、实验思路 本实验采取C++来完成，用大写字母A到Z表示非终结符，小写字符a到z表示终结符。 实验流程图 1、接受产生式 首先建立一个结构体siyuanzu，其成员有非终结符集合数组Vn，终结符集合数组Vt以及产生式集合数组rule，通过函数input来接受从键盘输入的产生式，并且存储于string类字符串数组rule中。函数input实现接受产生式功能的思路为：先确定要输入的产生式数目n，用for循环实现产生式的存储。 2、文法类型的判断 函数Grammer实现判断文法类型的功能并且输出文法的类型。其实现功能的思路为： a.对rule数组中每一个产生式进行判断，以“-”中的“-