2.构造上下文无关文法,描述语言:
{anbn|n>=0}
{ambn|m>=n>=0}
{(ab)n|n>=0}
{ambn|m,n>=1}
(1)S-->ab|aAb
A-->ab
(2)S-->ab|aAb|1
A-->ab|S|aBb
B-->a|b|aBb
(3)S-->ab|abA
A-->ab|S
(4) S-->ab|aAb
A-->ab|S|aBb
B-->a|b|aBb
3.如果if语句的方法:
stmt->if expr then stmt
| if expr then stmt else stmt
| other
句子if E1 then if E2 then S1 else S2是否有两棵不同的语法树?说明了什么?