实验三语义分析及中间代码生成(共4页).doc

《实验三语义分析及中间代码生成(共4页).doc》由会员分享，可在线阅读，更多相关《实验三语义分析及中间代码生成(共4页).doc（4页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上实验三 语义分析及中间代码生成一 、实验目的通过上机实习，加深对语法制导翻译原理的理解，掌握将语法分析所识别的语法范畴变换为某种中间代码的语义翻译方法。二 、实验内容实现简单的高级语言源程序的语义处理过程。三试验要求（一） 程序设计要求（1） 目 标 机：8086及其兼容处理器（2） 中间代码：三地址码或者四元式（3） 设计结果：语法分析树（节点具有属性）、三地址码表、符号表、TOKEN串表（4） 语义分析内容要求：1) 变量说明语句2) 赋值语句3) 控制语句(任选一种)（5） 其它要求：1) 将词法分析（扫描器）作为子程序，供语法语义程序调用；2) 使用语法制导的

2、语义翻译方法；3) 编程语言自定；4) 最好提供源程序输入界面；5) 目标代码生成暂不做；6) 编译后，可查看TOKEN串、语法分析树、符号表、三地址码表；7) 主要数据结构：产生式表、符号表、语法分析树、三地址码表。四 、实验设计（1） 系统功能（包括各个子功能模块的功能说明）； 可对一段包含加减乘除括号的赋值语句进行语法分析，其必须以$为终结符，语句间以；隔离，判断其是否符合语法规则，依次输出判断过程中所用到的产生式，并输出最终结论，若有错误可以报错并提示错误所在行数及原因（2） 开发平台（操作系统、设计语言）；Windows 7，Microsoft Visual C+ 6.0（Dos），

3、C+。(3) 数据结构 struct token/词法 token结构体int code;/编码int num;/递增编号token *next;token *token_head,*token_tail;/token队列struct str/词法 string结构体int num;/编号string word;/字符串内容str *next;str *string_head,*string_tail;/string队列struct ivan/语法 产生式结构体char left;/产生式的左部string right;/产生式的右部int len;/产生式右部的长度;ivan css20;/

4、语法 20个产生式struct pank/语法 action表结构体char sr;/移进或归约int state;/转到的状态编号;pank action4618;/action表int go_to4611;/语法 go_to表struct ike/语法 分析栈结构体，双链ike *pre;int num;/状态int word;/符号编码ike *next;ike *stack_head,*stack_tail;/分析栈首尾指针struct L/语义四元式的数据结构int k;string op;/操作符string op1;/操作数string op2;/操作数string result

5、;/结果L *next;/语义四元式向后指针L *Ltrue;/回填true链向前指针L *Lfalse;/回填false链向前指针;L *L_four_head,*L_four_tail,*L_true_head,*L_false_head;/四元式链，true链，false链struct symb/语义输入时符号表string word;/变量名称int addr;/变量地址symb *next;symb *symb_head,*symb_tail;/语义符号链表(4) 实现过程五、实验结果六、实验总结 通过本次实验，我了解了当我编写的代码在经过编译过程中所进行的处理,分为词法分析,语法分析,语义分析和中间代码生成,生成的中间代码经过代码生成器变形成了我们常提到的目标程序.语义分析和中间代码生成会有静态检查:包括类型检查、控制流检查、唯一性检查和关联名字检查等等一判断源程序是否符合语言规定的语法和语义要求专心-专注-专业