本文详细介绍了在使用bison实现Tiger语言的语法分析时遇到的shift/reduce冲突，包括else悬挂、:=、. 和 of的冲突以及id[exp]的问题。通过调整语法规则和设置优先级，成功解决了这些问题，并提供了测试样例验证了无误的结果。参考了官方框架代码、bison用户手册和StackOverflow上的解答。
用bison实现tiger语言的语法分析，只判断语法是否出错，无语义动作。
shift/reduce conflict:
按照书上给的语法规则完成tiger.y文件，出现了三类shift/reduce conflict
一、else悬挂
exp : IF exp THEN exp .
| IF exp THEN exp . ELSE exp可以通过给else赋比then高的优先级消除，但要注意不要比运算符号等级高。
二、:=、. 、 of
exp: exp . PLUS exp
| exp . MINUS exp
....
| lvalue ASSIGN exp .
PLUS shift, and go to state 38
MINUS shift, and go to state 39
....
PLUS [reduce using rule 42 (exp)]
MINUS [reduce using rule 42 (exp)]当遇到+、-之类的运算符时，分析器不知道该移进还是该归约。
. 、of情况类似
可以给:= . of赋比运算符低的优先级消除冲突
三、id[exp]
exp: ID . LBRACK exp RBRACK OF 
最低0.47元/天 解锁文章
扫一扫
725
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
