上传者: 26757939
|
上传时间: 2022-04-29 22:09:48
|
文件大小: 2.05MB
|
文件类型: PDF
3.21 证明下面文法
S→(X|E]|F)
X→E)|F]
E→A
F→A
A→ε
是LL(1)文法,但不是LALR(1)文法。
3.22 证明下面文法
S→Aa|bAc|Bc|bda
A→d
是LALR(1)文法,但不是SLR(1)文法。
3.23 证明下面文法
S→X
X→Ma|bMc|dc|bda
M→d
是LALR(1)文法,但不是SLR(1)文法。
3.24 说明每个SLR(1)文法都是LALR(1)文法。
3.25 证明下面文法
S→Aa|bAc|Bc|bBa
A→d
B→d
是LR(1)文法,但不是LALR(1)文法。
3.26 一个非LR(1)的文法如下:
L→MLb|a
M→ε
请给出所有有移进-归约冲突的规范LR(1)项目集,以说明该文法确实不是LR(1)的。
3.27 文法 G的产生式如下:
S→I|R I→d|Id R→WpF
W→Wd|ε F→Fd|d
(a)令 d表示任意数字,p表示十进制小数点,那么非终结符 S,I,R,W和F在程序设计语言中分别
表示什么?
·801· 第3章 语 法 分 析