Pascal语言编译器的设计与实现.doc

《Pascal语言编译器的设计与实现.doc》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、Pascal语言编译器的设计与实现我们设计的编译程序涉及到编译五个阶段中的三个，即词法分析器、语法分析器和中间代码生成器。编译程序的输出结果包括词法分析后的二元式序列、变量名表、状态栈分析过程显示及四元式序列程序，整个编译程序分为三部分：(1)词法分析部分(2)语法分析处理及四元式生成部分(3)输出显示部分一．词法分析器设计由于我们规定的程序语句中涉及单词较少，故在词法分析阶段忽略了单词输入错误的检查，而将编译程序的重点放在中间代码生成阶段。词法分析器的功能是输入源程序，输出单词符号。我们规定输出的单词符号格式为如下的二元式：(单词种别，单词自身的值)#defineACC

2、-2#definesy_if0#definesy_then1#definesy_else2#definesy_while3#definesy_begin4#definesy_do5#definesy_end6#definea7#definesemicolon8#definee9#definesharp10#defineS11#defineL12#definetempsy15#defineEA18//Eand#defineEO19//Eor#defineplus34#definesubtract35#definetimes36#definedivide37#definebe

3、comes38#defineop_and39#defineop_or40#defineop_not41#definerop42#definelparent48#definerparent49#defineident56#defineintconst57函数说明1．读取函数readline()、readchar()词法分析包含从源文件读取字符的操作，但频繁的读文件操作会影响程序执行效率，故实际上是从源程序文件”PAS.dat”中读取一行到输入缓冲区，而词法分析过程中每次读取一个字符时则是通过执行readchar()从输入缓冲区获得的；若缓冲区已被读空，则再执行readlin

4、e()从PAS.dat中读取下一行至输入缓冲区。2．扫描函数scan()扫描函数scan()的功能是滤除多余空格并对主要单词进行分析处理，将分析得到的二元式存入二元式结果缓冲区。3．变量处理find（）变量处理中首先把以字母开头的字母数字串存到spelling[]数组中，然后进行识别。识别过程是先让它与保留关键字表中的所有关键字进行匹配，若获得成功则说明它为保留关键字，即将其内码值写入二元式结果缓冲区；否则说明其为变量，这时让它与变量名表中的变量进行匹配（变量匹配函数find（）），如果成功，则说明该变量已存在并在二元式结果缓冲区中标记为此变量（值填为该变量在变量名表中的

5、位置），否则将该变量登记到变量名表中，再将这个新变量存入二元式缓存数组中。4．数字识别number()数字识别将识别出的数字填入二元式结果缓存数组。5．显示函数显示函数的功能在屏幕上输出词法分析的结果（即二元式序列程序），同时给出二元式个数及源程序行数统计。二．语法分析器设计语法分析器的核心是三张SLR分析表以及针对这三张SLR分析表进行语义加工的语义动作。编译程序中语法分析处理及四元式生成部分主要是以二元式作为输入，并通过SLR分析表对语法分析处理过程进行控制，使四元式翻译的工作有条不紊的进行，同时识别语法分析中的语法错误。在处理if和while语句时，需要进行真值或假

6、值的拉链和返填工作，以便转移目标的正确填入。1.控制语句的SLR分析表1设计过程如下：将扩展文法G’0）S’àS1）SàifethenSelseS2）SàwhileedoS3）SàbeginLend4）Sàa5）LàS6）LàS;L用∈_CLOSURE方法构造LR(0)项目规范簇为：I0：S’à·SSà·ifethenSelseSSà·whileedoSSà·beginLendSà·a;I1:S’àS·I2:Sàif·ethenSelseSI3:Sàwhile·edoSI4:Sàbegin·LendLà·SLà·S;LSà·ifethenSelseSSà·whileedo

7、SSà·beginLendSà·aI5:Sàa·I6:Sàife·thenSelseSI7:Sàwhilee·doSI8:SàbeginL·endI9:LàS·LàS·;LI10:Sàifethen·SelseSSà·ifethenSelseSSà·whileedoSSà·beginLendI11:Sàwhileedo·SSà·ifethenSelseSSà·whileedoSSà·beginLendSà·aI12:SàbeginLend·I13:LàS;·LLà·SLà·S;LSà·ifethenSelseSSà·while