for循环语句的翻译

《for循环语句的翻译》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、武汉理工大学《编译原理》课程设计课程设计任务书学生姓名：辛波专业班级：计算机0707班指导教师：彭德巍工作单位：计算机科学与技术学院题目:FOR循环语句的翻译程序设计（递归下降法、输出四元式）初始条件：理论：学完编译课程，掌握一种计算机高级语言的使用。实践：计算机实验室提供计算机及软件环境。如果自己有计算机可以在其上进行设计。要求完成的主要任务:（包括课程设计工作量及其技术要求，以及说明书撰写等具体要求）（1）写出符合给定的语法分析方法的文法及属性文法。（2）完成题目要求的中间代码四元式的描述。（3）写出给定的语法分析方法的思想，完成语

2、法分析和语义分析程序设计。（4）编制好分析程序后，设计若干用例，上机测试并通过所设计的分析程序。（5）设计报告格式按附件要求书写。课程设计报告书正文的内容应包括：1系统描述（问题域描述）；2文法及属性文法的描述；3语法分析方法描述及语法分析表设计；4按给定的题目给出中间代码形式的描述及中间代码序列的结构设计；5编译系统的概要设计；6详细的算法描述（流程图或伪代码）；7软件的测试方法和测试结果；8研制报告（研制过程，本设计的评价、特点、不足、收获与体会等）；9参考文献（按公开发表的规范书写）。时间安排：设计安排一周：周1、周2：完成系统分

3、析及设计。周3、周4：完成程序调试及测试。周5：撰写课程设计报告。设计验收安排：设计周的星期五第1节课开始到实验室进行上机验收。设计报告书收取时间：设计周的次周星期一上午10点。指导教师签名：2010年01月08日系主任（或责任教师）签名：2010年01月08日17武汉理工大学《编译原理》课程设计FOR循环语句的翻译程序设计----递归下降法、输出四元式1系统描述1．1目的通过设计、编制、调试一个FOR循环语句的语法及语义分析程序，加深对语法及语义分析原理的理解，并实现词法分析程序对单词序列的词法检查和分析。1．2设计内容及步骤对循环语

4、句：FOR（表达式1；表达式2；表达式3）{赋值语句}(1)写出递归下降语法分析方法要求的文法和属性文法描述。(2)描述递归下降语法分析方法的思想。(3)给出中间代码序列的结构设计。(4)完成相应的词法分析、语法分析和语义分析程序设计。1．2．1词法分析将词法分析程序设计成一个子程序，每当语法分析程序需要一个单词时，则调用该子程序。词法分析程序每调用一次，便从源程序文件中读入一些字符，直到识别出一个单词。1．2．2语法分析采用递归下降方法，为对应文法中的每个非终结符编写一个递归过程，每个过程的功能是识别由该非终结符推出的串。若输入串是给

5、定文法的句子，则从文法的开始符号出发一定能推导出与输入的单词串完全相同的句子。1．2．3语义分析在语法分析的同时可由语法分析程序调用相应的语义子程序进行语义处理，完成附加在所使用的产生式上的语义规则描述，并生成四元式的中间代码形式。1．2．4测试用例和测试结果设计不同的测试用例以显示程序的各种功能，包括简单的for循环和for循环的嵌套。并记录测试结果。17武汉理工大学《编译原理》课程设计2文法及属性文法的描述2．1文法描述本系统中所使用FOR循环语句的文法包括FOR语句本身，赋值表达式和布尔表达式。具体文法产生式如下：2．1．1FOR

6、语句相关的产生式：1)S->for(W)Sx2)W->A;W13)W1->B;W24)W2->A5)Sx->Ax6)Sx->{Am}7)Am->AmAx8)Am->Ax2．1．2布尔表达式：9）B->B

7、

8、L10)B->L11)L->L&&M12)L->M13)M->!M14)M->K15)K->(B)16)K->false17)K->true18)K->id19)K->idScid20)Sc->!=21)Sc->==22)Sc-><=23)Sc->>=24)Sc-><25)Sc->>2．1．3赋值表达式：26)Ax->A;27)A->

9、id=E28)E->E+T29)E->E-T30)E->T31)T->T*F32)T->T/F33)T->F34)F->id35)F->(E)36)F->num2．2属性文法的描述17武汉理工大学《编译原理》课程设计产生式属性文法S->for(W)Sxemit(1);//生成最后一个jumpbackpatch(nextstat,LastGotoAddress);//回填最后一个jump;backpatch(W.FalseOrEnd,nextstat);//B为假则跳到最后一个语句W1->B;W2backpatch(B.TrueOrCha

10、in,W2.TrueOrChain);backpatch(W2.FalseOrEnd,B.codeBegin);W2->Aemit(4);//输出跳转W2.TrueOrChain=nextstat;W2.F