特别注意：第17条产生式改为

17) Stmt → 'while' '(' Cond ')' Stmt

【问题描述】

本次作业只测试一个含简单变量声明、赋值语句、输出语句、if语句和while语句的文法：

0)  CompUnit → Block

1)  Block → '{' BlockItemList '}'

2)  BlockItemList →  BlockItemList BlockItem 

3)  BlockItemList →  EPSILON

4)  BlockItem → VarDecl

5)  BlockItem → Stmt

6)  VarDecl → 'int' VarDeclList ';' 

7)  VarDeclList → VarDeclList  ',' VarDef

8)  VarDeclList → VarDef

9)  VarDef → Ident

10) VarDef → Ident '=' Exp

11) Stmt → Ident '=' Exp ';' 

12) Stmt → Exp ';'

13) Stmt → ';'

14) Stmt → Block

15) Stmt → 'if' '(' Cond ')' Block

16) Stmt → 'if' '(' Cond ')' Block 'else' Block

17) Stmt → 'while' '(' Cond ')' Stmt

18) Stmt → Ident '=' 'getint''('')'';'

19) Stmt → 'printf''('FormatString ExpList ')'';' 

20) ExpList → ExpList ',' Exp

21) ExpList → EPSILON

22) Exp → AddExp 

23) Cond → LOrExp 

24) PrimaryExp → '(' Exp ')'

25) PrimaryExp → Ident

26) PrimaryExp → IntConst 

27) UnaryExp → PrimaryExp

28) MulExp → UnaryExp 

29) MulExp → MulExp '*' UnaryExp

30) MulExp → MulExp '/' UnaryExp 

31) MulExp → MulExp '%' UnaryExp 

32) AddExp → MulExp

33) AddExp → AddExp '+' MulExp

34) AddExp → AddExp '-' MulExp 

35) RelExp → AddExp

36) RelExp → RelExp '<' AddExp

37) RelExp → RelExp '>' AddExp 

38) RelExp → RelExp '<=' AddExp 

39) RelExp → RelExp '>=' AddExp  

40) EqExp → RelExp

41) EqExp → EqExp '==' RelExp 

42) EqExp → EqExp '!=' RelExp 

43) LAndExp → EqExp

44) LAndExp → LAndExp '&&' EqExp 

45) LOrExp → LAndExp

46) LOrExp → LOrExp '||' LAndExp

其对应的LR1分析表共含有170个状态。

请根据该文法设计并实现LR语法分析程序，能基于上次作业的词法分析程序所识别出的单词，识别出各类语法成分。输入输出及处理要求如下：

（1）需按文法规则，用LR分析法法对文法中定义的语法成分进行分析（需要使用上次作业中的词法分析程序）；

（2）本项作业对应的文法已经在参考代码CFGBlock.java中实现。当然你也可以重新设计文法的数据结构

（3）本项作业需要根据所学知识自动生成LR1分析表，参考代码中给出了分析表的数据结构，你也可以自行设计。

（4）为了方便进行自动评测，输入的被编译源文件统一命名为testfile.txt（注意不要写错文件名）；输出的结果文件统一命名为output.txt（注意不要写错文件名）；结果文件中包含如下两种信息：

    1）按词法分析识别单词的顺序，按行输出每个单词的信息（要求同词法分析作业，对于预读的情况不能输出）。

    2）在文法中出现的语法分析成分分析结束前，另起一行输出当前语法成分的名字，形如“<AddExp>”

【输入形式】testfile.txt中的符合文法要求的测试程序。

【输出形式】按如上要求将语法分析结果输出至output.txt中。

【特别提醒】（1）本次作业只考核对正确程序的处理，但需要为今后可能出现的错误情况预留接口。

           （2）当前要求的输出只是为了便于评测，完成编译器中无需出现这些信息，请设计为方便打开/关闭这些输出的方案。

【样例输入】

{
	//simple test
	x=10;
	y=20;
	printf("x=%d,y=%d\n",x,y);
	if(x<y){
		printf("x<y\n");
	}else{
		printf("x>y\n");
	}
}

【样例输出】

LBRACE {

<BlockItemList>

IDENFR x

ASSIGN =

INTCON 10

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<Exp>

SEMICN ;

<Stmt>

<BlockItem>

<BlockItemList>

IDENFR y

ASSIGN =

INTCON 20

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<Exp>

SEMICN ;

<Stmt>

<BlockItem>

<BlockItemList>

PRINTFTK printf

LPARENT (

STRCON "x=%d,y=%d\n"

<ExpList>

COMMA ,

IDENFR x

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<Exp>

<ExpList>

COMMA ,

IDENFR y

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<Exp>

<ExpList>

RPARENT )

SEMICN ;

<Stmt>

<BlockItem>

<BlockItemList>

IFTK if

LPARENT (

IDENFR x

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<RelExp>

LSS <

IDENFR y

<PrimaryExp>

<UnaryExp>

<MulExp>

<AddExp>

<RelExp>

<EqExp>

<LAndExp>

<LOrExp>

<Cond>

RPARENT )

LBRACE {

<BlockItemList>

PRINTFTK printf

LPARENT (

STRCON "x<y\n"

<ExpList>

RPARENT )

SEMICN ;

<Stmt>

<BlockItem>

<BlockItemList>

RBRACE }

<Block>

ELSETK else

LBRACE {

<BlockItemList>

PRINTFTK printf

LPARENT (

STRCON "x>y\n"

<ExpList>

RPARENT )

SEMICN ;

<Stmt>

<BlockItem>

<BlockItemList>

RBRACE }

<Block>

<Stmt>

<BlockItem>

<BlockItemList>

RBRACE }

<Block>

<CompUnit>

【评分标准】

按与预期结果不一致的行数扣分，每项扣5%。

【开发语言及环境】用 C/C++/JAVA 实现，平台支持 C++11 标准。评测机所采用的编译学生代码的版本是：C/C++ gcc 8.1.0，Java jdk 1.8。

【参考代码】参考代

src.rar中给出了文法和LR分析表的定义，你需要自行设计LR分析程序

【文档要求】完成2023语法分析阶段设计文档 （可在词法分析阶段设计文档基础上扩充完成）

【提交形式】将所开发的语法分析程序的源文件（.cpp/.c/.h/.java，不含工程文件）打包为zip或rar后提交。对于使用 java 开发的编译器，程序运行的入口为 src 目录下 Compiler.java 中的 main 方法。上传请直接打包 src 文件夹，如果引用了第三方外部包（不推荐），请将外部 jar 包文件放到 bin 目录下，bin 和 src 两个文件夹同级，将 bin 和 src 一起打包后提交即可。注意 mac 压缩会产生额外的文件到压缩包中，需删掉额外文件后提交。

答案:

Mag1skY/Compiler-Principles: 词法分析 语法分析 中间代码生成 代码生成