编译原理课程设计--S语言的编译器的设计与实现.docVIP

编译原理课程设计 S语言的编译器的设计与实现 学 院（系）： 学 生 姓 名： 学 号： 班 级： 同 组 人 ： 引 言 词法分析阶段是编译过程的第一个阶段，是编译的基础。这个阶段的任务是从左到右一个字符一个字符地读入源程序，即对构成源程序的字符流进行扫描然后根据构词规则识别单词(也称单词符号或符号)。词法分析程序实现这个任务。 正 文在概要设计中已经说到了，本编译器采用数组BUFFER[MAXSIZE][MAX]对词法分析结果进行存储，以方便后续的程序进程。 本编译器所能识别的单词：if,else,then,while,do,read,int. 标示符用助记符(单词记号） ID 表示。 常数： 用助记符　NUM　表示。 算术运算符：+、- 、*、/。 逻辑运算符： 、 | 。 关系运算符：、、!= 、== 　　　　　　（用助记符　relop　表示。） 分隔符：{、}、 ；、（、 ）、：= 扫描器接口设计： 词法分析的输出常用二元式序列进行输出，一列为单词类别，一列为单词值。 3.2语法分析部分 所用文法为: P→｛DS｝ D→Dint ID; | int ID; S→if (B) then S else S | if (B) then S | while (B) do S | { L } | ID=E | read ID; L→S; L | S B→B and B| B or B| ID relop ID | ID E→E+E | E-E |E*E | E / E | (E) |ID | NUM 其中relop是终极符, 语法类别是关系运算符,因为不是LL（1）文法，所以需要对文法进行消除左递归和左公共因子，构成LL(1)文法，改造后的文法如下： P→｛DS｝ D→int ID;{int ID;} S→if (B) then S else S | if (B) then S | while (B) do S | { L } | ID=E | read ID; L→S{;S} B→O{or O} O→A{and A} A→ID relop ID |ID E→T{+T|-T} T→F{*F|/F} F→ID|NUM|(E) 对应文法的非终结符的first集和follow集 非终极符 FIRST集 FOLLOW集 P { # D int if、while、{、ID、read S if、while、{、ID、read }、；、else B ID ) O ID |、） A ID 、|、） E ID、NUM、( }、；、else、 T ID、NUM、( }、；、else、、+、- F ID、NUM、( }、；、else、、+、-、*、/ 程序流程： 每一个非终结符对应一个函数 所以所有的函数有： void P(); void D(); void S(); void B(); void L(); void L1(); void B(); void T1(); void F1(); void E(); void T(); void F(); 采用递归下降子程序法：进入某函数前，待匹配符已经读进sym中， 函数结束时， 下一个待匹配符也已经读进sym中。对于规则中的终极符，sym匹配上了规则中的一个终极符，就把下一个待匹配符读进sym中；若匹配不成功， 表明有语法错误，语法检查停止。 3.3语义分析 由于小组能力比较差，只能实现到声明语句的翻译。 声明语句由于是对声明的单词进行存储，将变量的类型和变量的名字插入到符号表 word[MAXSIZE][MAX]中，所以这一段可以嵌入到语法分析中进行。 4 编译测试 实验用例 文件名:process1.txt { int a; int b; int c; c:=a+b }# 测试结果： 词法： 词法分析的二元式： 语法分析以及对应的符号表： 错误用例 测试文档1：文件名：process.txt 测试文档不存在时的输出。 测试文档2：文件名:process2.txt 输出的二元式： 语法分析结果： 测试文档3： 文件名：process3.txt 测试结果： 词法： 二元式： 语法分析： 缺少‘）’，所以报错。 总 结 由于个人能力有限，编译器的最终目的并未能全部实现，仅实现了部分功能，缺失的比较厉害。望老师见谅。通过本次试验，深感自己的编程能力还是很差，写程序的时候没有设计文档，没有做总体设计和各部分的设计，一开始就写，虽然写的很快，但是未进行测试，越写到后面就发现越难写，出现了很多的bug。