1.文法G(Z):Z->aZb|ab定义的是什么样的语言?
答:Z—>aZb丨ab
—>ab —>aZb —>aaZbb —> aaabbb
L(G)={anbn丨n>=1}
因此定义的是anbn
2.写出教材22页例2.2中标识符的文法四元组形式。
答:
3.写出下列表达式的最左推导、最右推导和语法树。
G(E):
E=> E + T | T
T=>T * F | F
F=>(E)| i
i*i+i
i+i*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)
原文:https://www.cnblogs.com/dreww/p/11503932.html