当前位置：首页 > news >正文

2024秋语法分析作业-B（满分25分）

news 2025/7/19 1:00:51

特别注意：第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 testx=10;y=20;printf("x=%d,y=%d\n",x,y);if(x<y){printf("x<y\n");}else{printf("x>y\n");}
}

【样例输出】

LBRACE {

IDENFR x

ASSIGN =

INTCON 10

<Exp>

SEMICN ;

<Stmt>

IDENFR y

ASSIGN =

INTCON 20

<Exp>

SEMICN ;

<Stmt>

PRINTFTK printf

LPARENT (

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

COMMA ,

IDENFR x

<Exp>

COMMA ,

IDENFR y

<Exp>

RPARENT )

SEMICN ;

<Stmt>

IFTK if

LPARENT (

IDENFR x

LSS <

IDENFR y

<EqExp>

<Cond>

RPARENT )

LBRACE {

PRINTFTK printf

LPARENT (

STRCON "x<y\n"

RPARENT )

SEMICN ;

<Stmt>

RBRACE }

<Block>

ELSETK else

LBRACE {

PRINTFTK printf

LPARENT (

STRCON "x>y\n"

RPARENT )

SEMICN ;

<Stmt>

RBRACE }

<Block>

<Stmt>

RBRACE }

<Block>

【评分标准】

按与预期结果不一致的行数扣分，每项扣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 压缩会产生额外的文件到压缩包中，需删掉额外文件后提交。