语义分析实验报告
北邮 编译原理 语义分析实验报告
编译原理第六章语义分析目录1. 实验题目和要求 (2)2. 实验分析和思考 (3)3. 翻译方案 (4)4. LR实现自底向上分析（摘自语法分析实验） (5)4.1.构造识别所有活前缀的DFA (5)5.1. 扩充分析栈 ................................................................................................................ 7 5.2. 改造分析程序 ............................................................................................................ 7 5.3. 编程实现 .................................................................................................................... 76.运行结果截图： (13)1. 实验题目和要求题目：语义分析程序的设计与实现。
实验内容：编写语义分析程序，实现对算术表达式的类型检查和求值。
要求所分析算术表达式由如下的文法产生。
numE idF F F T F T T T T E T E E |)(||/|*||→→-+→ 实验要求：用自底向上的语法制导翻译技术实现对表达式的分析和翻译。
(1) 写出满足要求的语法制导定义或翻译方案。
(2) 编写分析程序，实现对表达式的类型进行检查和求值，并输出： ① 分析过程中所有产生式。
② 识别出的表达式的类型。
③ 识别出的表达式的值。
(3) 实验方法：可以选用以下两种方法之一。
① 自己编写分析程序。
② 利用YACC 自动生成工具。
2.实验分析和思考由于要求进行类型检查和求值，所以可以定义两个综合属性，一个记录值一个记录类型，存放在结构中，一并传入传出。
实验三-语义分析-实习报告
实验三语义分析一、实习目的通过上机实习，加深对语法制时翻译原理的理解，掌握将语法分析所识别的语法成分变换为中间代码的语义翻译方法.二、实习要求采用递归下降语法制导翻译法对算术表达式、赋值语句、条件语句、循环语句进行语义分析生成四元式序列。
三、实习过程实习代码；/*＊＊JavaCC file＊/options ｛JDK_VERSION = "1。
5”;static=false；}PARSER_BEGIN（whileParse)package whileparse；import java。
io.FileInputStream;import java。
io.FileNotFoundException;import java.util。
ArrayList;public class whileParse ｛public int count=0; /*四元式标号*/public static ArrayList<Sys〉sysList = new ArrayList<Sys〉()；public int ncount=0；/*临时变量下标＊/public static void main(String args［]) throws ParseException {FileInputStream fileStream；t ry ｛fileStream = new FileInputStream("data/test.c");whileParse parser = new whileParse(fileStream)；System.out。
println（"Reading from standard input。
.”)；System。
out。
println（"Enter c programe only main（）with only while（)；\" ："）；try ｛switch （parser.start（））｛case 0:System。
河北工业大学语义分析实验报告
实验三语义分析程序实现一、实验设计在实现词法、语法分析程序的基础上，编写相应的语义子程序，进行语义处理，加深对语法制导翻译原理的理解，进一步掌握将语法分析所识别的语法范畴变换为某种中间代码（四元式）的语义分析方法。
基本实验题目：对文法G2[<算术表达式>]中的产生式添加语义处理子程序，完成运算对象是简单变量（标识符）和无符号数的四则运算的计值处理，将输入的四则运算转换为四元式形式的中间代码。
语法制导翻译模式是在语法分析的基础上，增加语义操作来实现的，实际上是对前后文无关文法的一种扩展。
一般而言，首先需要根据进行的语义分析工作，完成对给定文法的必要拆分和语义动作的编写，从而为每一个产生式都配备相应的语义子程序，以便在进行语法分析的同时进行语义解释。
即在语法分析过程中，每当用一个产生式进行推导或归约时，语法分析程序除执行相应的语法分析动作之外，还要调用相应的语义子程序，以便完成生成中间代码、查填有关表格、检查并报告源程序中的语义错误等工作。
每个语义子程序需指明相应产生式中各个符号的具体含义，并规定使用该产生式进行分析时所应采取的语义动作。
这样，语法制导翻译程序在对源程序从左到右进行的一遍扫描中，既完成语法分析任务，又完成语义分析和中间代码生成方面的工作。
本实验要求从编译器的整体设计出发，重点通过对实验二中语法分析程序的扩展，完成一个编译器前端程序的编写、调试和测试工作，形成一个将源程序翻译为中间代码序列的编译系统。
二、程序代码在词法分析和语法分析的基础上，完成了语义的分析，同样采用了头文件的形式，在VC++6.0中运行#include<stdio.h>#include<ctype.h>#include<stdlib.h>#include<string.h>#include<math.h>#include"cifa.h"#include"fenxibiao.h"# define PL 15 //+# define MI 16 //-# define MU 17# define DI 18#define acc 100#define MAXState 20#define NUMBER 9//表达式的个数#define MAXTEMP 10//最多临时变量的个数int State[MAXState];//状态栈int i=0;int CURRENTSTATE=0;//标识当前状态int LENGTH[NUMBER]={1,3,3,1,3,3,1,3,1};//表达式右边的长度int length;int index;//索引int Yes=0;//判断是否结束int tag=0;//判断是否需要调用词法程序//extern char * cifa();double e1,t4,f7;//整形char e12[20],t42[20],f72[20];//字符型int TEMP[MAXTEMP];int temp=0;int biaoshifu=0;FILE * fp;void REPORT_ERROR(){Yes=1;long f1=ftell(fp);char ch=fgetc(fp);fseek(fp,-1,1);printf("语法错误,第%d个字符'%C'处\n",f1,ch); }void Accept(){Yes=1;//printf("语法分析成功\n");}int INDEX(char a)//获取当前字符串对应的索引{int i;switch (a){case 'E':i=8;return(i);break;case 'T':i=9;return(i);break;case 'F':i=10;return(i);break;default: REPORT_ERROR();return(0);break;}}void Gen(int a,double i1,double i2,int t)//输出四元式{switch(a){case PL:printf("(+,%g,%g,%d)\n",i1,i2,t);break;case MI:printf("(-,%g,%g,%d)\n",i1,i2,t);break;case MU:printf("(*,%g,%g,%d)\n",i1,i2,t);break;case DI:printf("(/,%g,%g,%d)\n",i1,i2,t);break;default:break;}}void yuyi(int n)//语义子程序{switch(n){case 1:{temp++;//产生临时变量，Gen(PL,e1,t4,temp);e1=temp;break;}case 2:{temp++;//产生临时变量，TEMP[temp] Gen(MI,e1,t4,temp);e1=temp;break;}case 3:{e1=t4;break;}case 4:{temp++;Gen(MU,t4,f7,temp); t4=temp;break;}case 5:{temp++;Gen(DI,t4,f7,temp); t4=temp;break;}case 6:{t4=f7;break;}case 7:{f7=e1;break;}case 8:{f7=FCON;break;}default :printf("error\n");break;}}void Gen2(int a,char *i1,char *i2,int t)//输出四元式{switch(a){case PL:printf("(+,%s,%s,%d)\n",&i1,&i2,t);break;case MI:printf("(-,%s,%s,%d)\n",&i1,&i2,t);break;case MU:printf("(*,%s,%s,%d)\n",&i1,&i2,t);break;case DI:printf("(/,%s,%s,%d)\n",&i1,&i2,t); break;default:break;}}void fuzhi(char *a,char *b)//将数组b赋值给数组a {}void yuyi2(int n)//语义子程序{switch(n){case 1:{temp++;//产生临时变量Gen2(PL,e12,t42,temp);e12[0]=temp;break;}case 2:{temp++;//产生临时变量，TEMP[temp] Gen2(MI,e12,t42,temp);e12[0]=temp;break;}case 3:{//e12=t42;strcpy(e12,t42);break;}case 4:{temp++;Gen2(MU,t42,f72,temp); t42[0]=temp;break;}case 5:{temp++;Gen2(DI,t42,f72,temp); t42[0]=temp;break;}case 6:{//t42=f72;strcpy(t42,f72); break;}case 7:{//f72=e12;strcpy(f72,e12);break;}case 8:{//f72=TOKEN[0];strcpy(f72,TOKEN);break;}default :printf("error\n"); break;}}void INPUT(int a){index=a;int index2=0;if(Table[CURRENTSTATE][index]!=acc) {if (Table[CURRENTSTATE][index]==0)//报错{REPORT_ERROR();}elseif (Table[CURRENTSTATE][index]<20)//移近{ i++;State[i]=Table[CURRENTSTATE][index]; CURRENTSTATE=State[i];}else //规约{tag=1;length=LENGTH[Table[CURRENTSTATE][index]-20]; i=i-length;//指针回退switch(Table[CURRENTSTATE][index]-20){case 1:case 2:case 3:index2=8;break;case 4:case 5:case 6:index2=9;break;case 7:case 8:index2=10;break;default :REPORT_ERROR();break;}if (biaoshifu!=1)//不是标识符{yuyi(Table[CURRENTSTATE][index]-20);//规约调用语义子程序}else{yuyi2(Table[CURRENTSTATE][index]-20);//规约调用语义子程序}CURRENTSTATE=State[i];i++;State[i]=Table[CURRENTSTATE][index2];CURRENTSTATE=State[i];}}else{Accept();CURRENTSTATE=0;}}void main(){int res;State[0]=0;if((fp=fopen("b.txt","r"))==NULL) {printf("file open error!\n");exit(0);}else{res=cifa(fp);if(start==1)//文件以begin开始{do{res=cifa(fp);if(end==0){fseek(fp,-1,1);//文件指针回退一个*/。
编译原理语义分析实验报告
实验3 语义分析实验报告一、实验目的二、通过上机实习, 加深对语法制导翻译原理的理解, 掌握将语法分析所识别的语法成分变换为中间代码的语义翻译方法。
三、实验要求四、采用递归下降语法制导翻译法, 对算术表达式、赋值语句进行语义分析并生成四元式序列。
五、算法思想1.设置语义过程。
（1）emit(char *result,char *ag1,char *op,char *ag2)该函数的功能是生成一个三地址语句送到四元式表中。
四元式表的结构如下:struct{ char result[8];char ag1[8];char op[8];char ag2[8];}quad[20];(2) char *newtemp()该函数回送一个新的临时变量名, 临时变量名产生的顺序为T1, T2, …char *newtemp(void){ char *p;char m[8];p=(char *)malloc(8);k++;itoa(k,m,10);strcpy(p+1,m);p[0]=’t’;return(p);}六、 2.函数lrparser 在原来语法分析的基础上插入相应的语义动作: 将输入串翻译成四元式序列。
在实验中我们只对表达式、赋值语句进行翻译。
源程序代码:#include<stdio.h>#include<string.h>#include<iostream.h>#include<stdlib.h>struct{char result[12];char ag1[12];char op[12];char ag2[12];}quad;char prog[80],token[12];char ch;int syn,p,m=0,n,sum=0,kk; //p是缓冲区prog的指针, m是token的指针char *rwtab[6]={"begin","if","then","while","do","end"};void scaner();char *factor(void);char *term(void);char *expression(void);int yucu();void emit(char *result,char *ag1,char *op,char *ag2);char *newtemp();int statement();int k=0;void emit(char *result,char *ag1,char *op,char *ag2){strcpy(quad.result,result);strcpy(quad.ag1,ag1);strcpy(quad.op,op);strcpy(quad.ag2,ag2);cout<<quad.result<<"="<<quad.ag1<<quad.op<<quad.ag2<<endl;}char *newtemp(){char *p;char m[12];p=(char *)malloc(12);k++;itoa(k,m,10);strcpy(p+1,m);p[0]='t';return (p);}void scaner(){for(n=0;n<8;n++) token[n]=NULL;ch=prog[p++];while(ch==' '){ch=prog[p];p++;}if((ch>='a'&&ch<='z')||(ch>='A'&&ch<='Z')){m=0;while((ch>='0'&&ch<='9')||(ch>='a'&&ch<='z')||(ch>='A'&&ch<='Z')){token[m++]=ch;ch=prog[p++];}token[m++]='\0';p--;syn=10;for(n=0;n<6;n++)if(strcmp(token,rwtab[n])==0){syn=n+1;break;}}else if((ch>='0'&&ch<='9')){{sum=0;while((ch>='0'&&ch<='9')){sum=sum*10+ch-'0';ch=prog[p++];}}p--;syn=11;if(sum>32767)syn=-1;}else switch(ch){case'<':m=0;token[m++]=ch;ch=prog[p++];if(ch=='>'){syn=21;token[m++]=ch;}else if(ch=='='){syn=22;token[m++]=ch;}else{syn=23;p--;}break;case'>':m=0;token[m++]=ch;ch=prog[p++];if(ch=='='){syn=24;token[m++]=ch;}else{syn=20;p--;}break;case':':m=0;token[m++]=ch;ch=prog[p++];if(ch=='='){syn=18;token[m++]=ch;}else{syn=17;p--;}break;case'*':syn=13;token[0]=ch;break; case'/':syn=14;token[0]=ch;break; case'+':syn=15;token[0]=ch;break; case'-':syn=16;token[0]=ch;break; case'=':syn=25;token[0]=ch;break; case';':syn=26;token[0]=ch;break; case'(':syn=27;token[0]=ch;break; case')':syn=28;token[0]=ch;break; case'#':syn=0;token[0]=ch;break; default: syn=-1;break;}}int lrparser(){//cout<<"调用lrparser"<<endl;int schain=0;kk=0;if(syn==1){scaner();schain=yucu();if(syn==6){scaner();if(syn==0 && (kk==0))cout<<"success!"<<endl;}else{if(kk!=1)cout<<"缺end!"<<endl;kk=1;}}else{cout<<"缺begin!"<<endl;kk=1;}return(schain);}int yucu(){// cout<<"调用yucu"<<endl;int schain=0;schain=statement();while(syn==26){scaner();schain=statement();}return(schain);}int statement(){//cout<<"调用statement"<<endl;char *eplace,*tt;eplace=(char *)malloc(12);tt=(char *)malloc(12);int schain=0;switch(syn){case 10:strcpy(tt,token);scaner();if(syn==18){scaner();strcpy(eplace,expression());emit(tt,eplace,"","");schain=0;}else{cout<<"缺少赋值符!"<<endl;kk=1;}return(schain);break;}return(schain);}char *expression(void){char *tp,*ep2,*eplace,*tt;tp=(char *)malloc(12);ep2=(char *)malloc(12);eplace=(char *)malloc(12);tt =(char *)malloc(12);strcpy(eplace,term ()); //调用term分析产生表达式计算的第一项eplacewhile((syn==15)||(syn==16)){if(syn==15)strcpy(tt,"+");else strcpy(tt,"-");scaner();strcpy(ep2,term()); //调用term分析产生表达式计算的第二项ep2strcpy(tp,newtemp()); //调用newtemp产生临时变量tp存储计算结果emit(tp,eplace,tt,ep2); //生成四元式送入四元式表strcpy(eplace,tp);}return(eplace);}char *term(void){// cout<<"调用term"<<endl;char *tp,*ep2,*eplace,*tt;tp=(char *)malloc(12);ep2=(char *)malloc(12);eplace=(char *)malloc(12);tt=(char *)malloc(12);strcpy(eplace,factor());while((syn==13)||(syn==14)){if(syn==13)strcpy(tt,"*");else strcpy(tt,"/");scaner();strcpy(ep2,factor()); //调用factor分析产生表达式计算的第二项ep2strcpy(tp,newtemp()); //调用newtemp产生临时变量tp存储计算结果emit(tp,eplace,tt,ep2); //生成四元式送入四元式表strcpy(eplace,tp);}return(eplace);}char *factor(void){char *fplace;fplace=(char *)malloc(12);strcpy(fplace,"");if(syn==10){strcpy(fplace,token); //将标识符token的值赋给fplacescaner();}else if(syn==11){itoa(sum,fplace,10);scaner();}else if(syn==27){scaner();fplace=expression(); //调用expression分析返回表达式的值if(syn==28)scaner();else{cout<<"缺)错误!"<<endl;kk=1;}}else{cout<<"缺(错误!"<<endl;kk=1;}return(fplace);}void main(){p=0;cout<<"**********语义分析程序**********"<<endl;cout<<"Please input string:"<<endl;do{cin.get(ch);prog[p++]=ch;}while(ch!='#');p=0;scaner();lrparser();}七、结果验证1、给定源程序begin a:=2+3*4; x:=(a+b)/c end#输出结果2、源程序begin a:=9; x:=2*3-1; b:=(a+x)/2 end#输出结果八、收获（体会）与建议通过此次实验, 让我了解到如何设计、编制并调试语义分析程序, 加深了对语法制导翻译原理的理解, 掌握了将语法分析所识别的语法成分变换为中间代码的语义翻译方法。
编译原理_ 语义分析_实验报告
编译原理实验三语义分析实验报告◆学院：数学与计算机科学技术学院◆专业：计算机科学与技术◆班级：级计算机班◆小组组员：姓名：学号：姓名：学号：姓名：学号：姓名：学号：实验题目一、实验目的要求学生用与实验2相同的语言，编制语义分析程序。
二、实验准备微机CPU主频1.3G以上，128M内存，安装好C语言，PASCAL语言，或C++。
三、实验时间13学时四、实验内容要求学生用与实验2相同的语言，编制语义分析程序。
定义该语言的语义成分，将语义分析程序编制成子程序，在实验2分析出各语法单位后，分析其含义，并将可执行语句或表达式翻译为四元式输出，并将错误信息输出。
实验报告必须包括设计的思路，以及测试报告（输入测试例子，输出结果）。
五、上交文档1．实验报告（书面）；2．程序文件（通过网络提交）。
<program> ::= <block> .<block> ::= <const-decl> <var-decl> <proc-decl> <statement><const-decl> ::= const <const-assignment-list> ; | ε<const-assignment-list> ::= <ident> = <number>| <const-assignment-list> , <ident> = <number><var-decl> ::= var <ident-list> ; |ε<ident-list> ::= <ident> | <ident-list> , <ident><proc-decl> ::= <proc-decl> procedure <ident> ; <block> ; |ε<statement> ::= <ident> := <expression>| call <ident>| begin <statement-list> end| if <condition> then <statement>| while <condition> do <statement>|ε<statement-list> ::= <statement> | <statement-list> ; <statement><condition> ::= odd <expression> | <expression> <relation> <expression><relation> ::= = | <> | < | > | <= | >=<expression> ::= <term> | <adding-operator> <term>| <expression> <adding-operator> <term><adding-operator> ::= + | -<term> ::= <factor> | <term> <multiplying-operator> <factor><multiplying-operator> ::= * | /<factor> ::= <ident> | <number> | ( <expression> )注意：(1) "ε" 表示空串。
语义分析实验报告
云南大学编译原理实验报告实验题目：语义分析学院：信息学院专业：计算机科学与技术学号： 064姓名：刘继远目录一、实验目的 ..................... 错误!未定义书签。
二、实验内容 ..................... 错误!未定义书签。
三、源程序分析 ................... 错误!未定义书签。
1、程序采用的BNF .............. 错误!未定义书签。
2、根据语义要求得到对应的翻译模式错误!未定义书签。
3、实现原理 ................... 错误!未定义书签。
4、文法的属性分析 ............. 错误!未定义书签。
5、过程设计 ................... 错误!未定义书签。
6、子程序说明 ................. 错误!未定义书签。
四、设计的基本思想（包括修改之后的属性文法、属性类型分析、翻译模式） ................. 错误!未定义书签。
1、增加除法运算 ............... 错误!未定义书签。
2、禁止同名重复声明 ........... 错误!未定义书签。
五、结果及分析 ................... 错误!未定义书签。
一、实验目的进一步理解递归下降分析原理和实现方法，理解语义分析的基本机制，掌握语义子程序的构造方法。
二、实验内容将带变量声明的表达式翻译为四元式序列，其中包括以下要求：非终结符号D实现定义两种类型int, real变量的声明；非终结符号S实现变量之间的*，+，: =(赋值运算)两个关键字 int 和real变量之间的*，+，: =(赋值) 运算只能使用声明过的变量，所以要检查使用的变量是否声明过。
对每个*，+，: =(赋值) 运算生成一条四元式如（*，A，B，T1），其中T1是临时变量*优先级别高于+，*满足左结合规则三、源程序分析这是一个简单的包含词法、语法、语义分析的程序：语义分析.h和语义分析.cpp。
编译原理实验报告语义分析
编译原理实验报告语义分析实验名称：语义分析实验目的：1.掌握词法分析器生成的词法单元序列的构造；2.学会设计语法分析器，实现对程序的基本语法结构检查，并生成抽象语法树；3.学习语义规约的实现，实现对程序的语义分析和错误检查；4.熟悉语义分析向语法分析的接口。
实验原理：语义分析是编译过程的一个重要环节，它的主要任务是对生成的抽象语法树进行遍历，并验证程序的类型一致性、语义规则的正确性、错误的检查和恢复等。
语义分析的输入是由语法分析生成的抽象语法树，输出是继续优化的抽象语法树或中间代码，以供后续的中间代码生成等工作使用。
实验步骤：1.设计语法分析器，包括语法规则、优先级关系等；2.生成词法单元序列；3.构建语法分析器，进行语法分析，并生成抽象语法树；4.针对不同的语义规约，设计语义动作，实现对程序的语义分析和错误检查；5.完成语义分析器的构建和测试。
实验设备：1.计算机；2. 编程语言：C++/Java/Python等；3. 开发环境：Visual Studio/ Eclipse/PyCharm等。
实验结果：通过对语法分析生成的抽象语法树进行遍历，实现了对程序的语义分析和错误检查。
具体实现包括：1.类型检查：根据语义规约，对程序中的类型进行检查，包括变量的声明及使用、函数的调用、赋值语句的一致性等；2.作用域检查：检查变量的作用域和可见性等；3.错误检查：检测语义错误，如变量未声明、函数重复定义等；4.错误恢复：当检测到错误时，采取适当的错误恢复措施，如跳过错误的部分继续分析、提示错误信息等。
实验心得：本次实验主要学习了语义分析的原理和实现方法，深入了解了编译过程中各个环节的作用和关系。
通过实践操作，加深了对语法分析和语义分析的理解，提高了编程能力和解决问题的能力。
同时，实验过程中也遇到了一些挑战和困难，例如语义规约的设计和实现、错误检查和恢复等，但通过查阅资料和与同学讨论，最终解决了这些问题。
通过本次实验，我对编译原理和语义分析有了更深入的了解，并且对以后的学习和工作有了更好的准备。
编译原理实验报告-语义分析
编译原理课程实验报告实验3：语义分析图2-1本程序根据之前两个实验的结果进一步进行语义分析，主要是通过在第二个实验句法分析过程中添加语义分析功能完成的。
在代码编写之前，我将程序的功能模块分为界面及主控程序，实体类和工具类三大部分。
MyCompiler是整个程序运行的入口，是主控程序；ComplierFrame完成程序的界面，以及界面里事件的响应；Token是词法分析中词法单元的实体类；ErrorToken是错误的词法单元实体类；Symbol是句法分析中符号的实体类；Production是产生式的实体类；ErrorProduction是句法分析中产生错误的时候使用的产生式实体类；Id是标示符实体类，保存了语义分析后的标识符表；Node是语法分析树的节点类，帮助完成语法分析树的构造；LL类使用LL(1)分析法完成句法分析，同时完成语义分析；MyScanner完成了词法分析。
图2-2三、详细设计及实现得分要求：对如下工作进行展开描述(1)核心数据结构的设计本程序使用了两个新的实体类，分别是Id和Node。
Id是标识符，里面也包含了该标识符在本程序中存储的地址和长度等信息。
Id的属性如下：private String name; //名private String type;//基本类型private int offset;//起始地址private int length;//长度开始输入词法分析读入Token尝试匹配是否错误存储错误记录，处理栈顶与Token 序列是否为语义符号存储产生式，处理栈顶与Token 序列判断动作符号执行语义动作是否读到Token末尾打印结果结束分析结果以及错误报告：图4-1 标识符表：图4-2。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
云南大学编译原理实验报告实验题目：语义分析学院：信息学院专业：计算机科学与技术学号：20091060064姓名：刘继远目录一、实验目的 (1)二、实验内容 (1)三、源程序分析 (2)1、程序采用的BNF (2)2、根据语义要求得到对应的翻译模式 (3)3、实现原理 (4)4、文法的属性分析 (4)5、过程设计 (5)6、子程序说明 (6)四、设计的基本思想（包括修改之后的属性文法、属性类型分析、翻译模式） (6)1、增加除法运算 (6)2、禁止同名重复声明 (8)五、结果及分析 (8)一、实验目的进一步理解递归下降分析原理和实现方法，理解语义分析的基本机制，掌握语义子程序的构造方法。
二、实验内容将带变量声明的表达式翻译为四元式序列，其中包括以下要求：●非终结符号D实现定义两种类型int, real变量的声明；●非终结符号S实现变量之间的*，+，: =(赋值运算)●两个关键字int 和real●变量之间的*，+，: =(赋值) 运算只能使用声明过的变量，所以要检查使用的变量是否声明过。
●对每个*，+，: =(赋值) 运算生成一条四元式如（*，A，B，T1），其中T1是临时变量●*优先级别高于+，*满足左结合规则三、源程序分析这是一个简单的包含词法、语法、语义分析的程序：语义分析.h和语义分析.cpp。
实现的基本原理是自顶向下分析，单遍扫描，以语法分析为核心，调用词法分析，并实现语义分析。
1、程序采用的BNFP→ DS.D→B; DD→εB→int L | real LL→id | L，idS→ V := E HH→；S | εE→E+T | TT→T*F|FF→( E )F→idV→id消除左递归之后的等价文法start→ DS.D→B; DD→εB→int L | real LL→id AA→ ，idAA→εS→ V := E HH→；S | εE→T RR→+T RR→ εT→F PP→* F PP→εF→( E )F→idV→id2、根据语义要求得到对应的翻译模式start→ DS.D→ B; DD→εB→ int L { L.type := int } | real L { L.type := real }L→ id { A.Type := L.type enter(v.entry, L.type)}AA→ ，idA { A1.Type := A.type enter(v.entry,A.type)}A→εS→ V := E { gen( ":=", E.place,0,V.place) } HH→；S | εE→T { R.i:=T.place} R {E.place:=R.s}R→+T { R1.i:= newtemp; gen( "+", R.i, T.place , R1.i) } R {R.s:= R1.s; }R→ ε {Rs=R.i}T→F { P.i:=F.place} P { T.place:=P.s}P→* F { p1.i:= newtemp; gen( "*", P.i, F.place , T) } P {P.s:= p1.s; }P→ε {P.s=P.i}F→( E ) { F.place := E.place}F→id {F.place:=position (id)}V→id {V.place:=position(id)}3、实现原理基于翻译模式的自上而下语义处理（翻译）1.对每个非终结符A，构造一个函数，以A 的每个继承属性为形参，以A的综合属性为返回值（若有多个综合属性，可返回记录类型的值）。
如同预测分析程序的构造，该函数代码的流程是根据当前的输入符号来决定调用哪个产生式。
2.与每个产生式相关的代码根据产生式右端的终结符，非终结符，和语义规则集（语义动作），依从左到右的次序完成下列工作：(1)对终结符X，保存其综合属性x的值至专为X.x 而声明的变量；然后调用匹配终结符（match_token）和取下一输入符号（next_token）的函数；(2)对非终结符B，利用相应于B 的函数调用产生赋值语句c:=B(b1,b2, …, bk)，其中变量b1, b2, …, bk 对应B的各继承属性，变量c对应B的综合属性(3)对语义规则集，直接copy其中每一语义规则（动作）来产生代码，只是将对属性的访问替换为对相应变量的访问。
4、文法的属性分析5、过程设计int getsym(); //读一个单词void enter(enum symbol type); //登记符号表void init();int position(char* idt); //查询符号表用函数，返回在符号表中位置int gen(enum symbol op, int arg1, int agr2,int result ); //生成四元式void newtemp（）//申请临时变量void start();void D();void B();void L(enum symbol type);void A(enum symbol type);void S();void H();int E();int R(int Ri);int T();int P(int pi);int F();int V();6、子程序说明init( )：初始化函数，主要是用于把单字符(例如：+、-、*、/)赋值一个symbol。
getsym( )：把文件中的一个字符或者一个字符串分类成各种类型，用sym表示。
enter( )：把声明过的变量保存到table[tx]这个结构体数组中。
position( )：查找名字的位置，找到则返回在名字表中的位置,否则返回0。
gen( )：生成中间代码，通过传来的参数生产四元式。
start( )：开始对整个文件的语法语义经行分析。
D( )、B( )、L( )、A( )：实现变量的声明，并把变量的类型和名字保存到table[tx]这个结构体数组中。
S( )、H( )、E( )、T( )、P( )、R( )、F( )、V( )：实现后面程序运算语句的检查，并生成中间代码；其中：S( )是检验赋值运算；H( )是执行下一条运算语句；E( )分析赋值号后面的运算；R( )是实检验+运算；P( )是检验*、/运算；F( )是实现*、/运算的优先级高于+运算，并获得当前位置的ID；V( )获得当前位置的ID。
四、设计的基本思想（包括修改之后的属性文法、属性类型分析、翻译模式）按照扩展要求分析：1、增加除法运算*，/优先级别高于+，*和/满足左结合规则对包含除法运算的表达式生成对应的四元式(1)、可以在翻译模式中非终结符P增加一个产生式：P—>/ F { p1.i:= newtemp; gen( "/", P.i, F.place , T) } P {P.s:= p1.s; }，这样就在翻译模式中增加了‘/ ’运算；(2)、在程序中的P( )函数里面模仿‘* ’运算，增加相应的分析语句：if (sym==divid) {getsym();Fplace=F();tv=tv+1;gen(divid,pi,Fplace,tv);Ps=P(tv);}(3)、在gen( )函数里模仿*运算，增加相应的四元式输出语句：if (op==divid) // /运算{fprintf(fout,"(/,%s,%s,%s)",temp1,temp2,temp3);printf("(/,%s,%s,%s)",temp1,temp2,temp3);}这样就在程序中增加了‘/ ’运算的分析要求。
2、禁止同名重复声明所以登记符号之前要检查有没有同名变量声明过。
因为table[tx]数组就是存放声明变量名和类型的结构体数组，可以在enter( )这个存放声明变量的函数中，增加相应检验变量名重复的函数：for(int i=1;i<txmax;i++){ /*检查变量是否重名*/if(strcmp(id,table[i].name) == 0){printf("错误4：变量名重复.\n");exit(0);}}每次要把一个变量加入到table[tx]数组中都要检验变量名是否跟table[tx]数组中已有的变量名重复，重复就报错，并跳出程序。
这样就在程序中增加了检查重复变量名的功能。
五、结果及分析1、运行的文件a.txt内容为：real a,b;int c,d;c:=c+d*b;d:=b*a.运行结果为：2、运行文件a.txt的内容为：real a,b;int c,d,a;c:=c+d*b;d:=b*a.运行结果为：3、运行文件a.txt的内容为：real a,b;int c,d;f:=c+d*b;d:=b*a.运行的结果为：从以上三个结果(一个正确，两个错误)来看，完全实现了扩展要求的两个功能，也完全符合定义的语法语义规则。