1.文法G(Z):Z->aZb|ab定义的是什么样的语言?
Z-->ab
Z-->aZb-->aaZbb-->anbn
因此定义的是anbn
2.写出教材22页例2.2中标识符的文法四元组形式。
3.写出下列表达式的最左推导、最右推导和语法树。
- i*i+i
- i+i*i
- i+(i+i)
注意观察最左和最右推导过程的不同,以及语法树的异同。
E E + T | T
T T * F | F
F (E)| i
(i+i)*i
i*i+i
最左推导:E=>E+T=>T+T=>T*F+T=>F*F+T=>I*F+T=>I*I+T=>I*I+F=>I*I+I
最右推导: E=>E+T=>E+F=>E+I=>T+I=>T*F+I=>T*I+I=>F*I+I=>I*I+I
i+i*i
最左推导:E=>E+T=>T+T=>F+T=>I+T=>I+T*F=>I+F*F=>I+I*F=>I+I*I
最右推导:E=>E+T=>E+T*F=>E+T*I=>E+F*I=>E+I*I=>T+I*I=>F+I*I=>I+I*I
i+(i+i)
最左推导: E=>E+T=>T+T=>F+T=>I+T=>I+F=>I+(E)=>I+(E+T)=>I+(T+T)=>I+(F+T)=>I+(I+T)
=>I+(I+F)=>I+(I+I)
最右推导:E=E+T=>E+F=>E+(E)=>E+(E+T)=>E+(E+F)=>E+(E+I)=>E+(T+I)=>E+(F+I)=>E+(I+I)
=>T+(I+I)=>F+(I+I)=>I+(I+I)