编译原理-实验一--编译程序的分析与验证.docx

实验一 编译程序的分析与验证 一、实验目的 了解编译程序中LR分析表的作用以及语义加工程序的功能 二、实验内容 验证下述程序的正确性 while (a=b) do begin if m=n then a:=a+1 else if ji then i=i+j else while k=h do x:=x+2; m:=n+m+x+y+n*m+x*y end#~ 三、编译程序理解 输入文件名，取一个字符，程序扫描，词法分析结果打印，变量名表打印，语句分析栈初始化，符号栈初始化，四元式空白初始化，状态栈加工过程及归约顺序，读结果缓冲区中字符到当前字符中，语句分析，四元式分析结果打印，程序运行结束。 具体函数功能介绍： char ch=\0;//可用于存放读出的一个字符 int count=0;//词法分析结果缓冲区计数器 static char spelling[10]={};//存放是别的字 static char line[81]={};//一行字符缓冲区 char *pline;//line的指针 static char ntab1[100][10];//变量类型名表 struct ntab { int tc;//真 int fc;//假 }ntab2[200];//用于存放布尔表达式的值 int label=0;//指向ntab2的指针 struct rwords { char sp[10]; int sy; };//匹配表结构体 struct rwords reswords[10]={{if,sy_if}, {do,sy_do}, {else,sy_else}, {while,sy_while}, {then,sy_then}, {begin,sy_begin}, {end,sy_end}, {and,op_and}, {or,op_or}, {not,op_not}};//初始化匹配表 ，用于关键字的匹配 struct aa { int sy1;//存放变量的类型名 int pos;//存放该变量在自己表中的位置 }buf[1000],//词法分析结果缓冲区 n,//存放二元式当前字符 n1,//表达式当前的字符 E,//非终结符 sstack[100],//算术表达式和布尔表达式的符号栈 ibuf[100],//算术表达式和布尔表达式的缓冲区 stack[1000];//语法分析的符号栈 struct aa oth;//四元式中没有填写的空白位置 struct fourexp//四元式结构体 { char op[10]; struct aa arg1; struct aa arg2; int result; }fexp[200]; int ssp=0;//指向 sstack的指针 struct aa *pbuf=buf;//词法分析结果缓冲区的指针 int nlength=0;//词法分析中记录单词的长度 int lnum=0;//行数计数源程序 int tt1=0;//变量类型名表的指针 FILE *cfile;//源程序文件 /********************************************************/ int newt=0;//临时变量计数器 int nxq=100;//总是指向下一个要形成的四元式 每次执行gen() int lr;//用于存放action1中的当前状态 int lr1;//用于存放action2，3中的当前状态 int sp=0;//LR分析表栈顶指针 int stack1[100];//状态栈1 int sp1=0;//状态栈的指针 int num=0;//算术表达式或布尔表达式的指针 struct ll { int nxq1;//指向下一条四元式的指针 int tc1;//真值链 int fc1;//假值链