1.已知文法:
S->a|^|(T)
T->T,S|S
分析句型(T,(^,a)),求全部的短语、直接短语和句柄。
2.构造上下文无关文法,描述语言:
{anbn|n>=0}
可以推出:S=>aSb|ab(ab无限次循环)
{ambn|m>=n>=0}
可以推出:S=>aSb|a|ab(ab无限次循环,但是m>n)
{(ab)n|n>=0}
可以推出:S=>(aSb)|ab
{ambn|m,n>=1}
可以推出:S=>aSb|ab
if语句
if => if <条件> then <语句1> | if <条件> then <语句1> else <语句2>
3.如果if语句的方法:
stmt->if expr then stmt
| if expr then stmt else stmt
| other
句子if E1 then if E2 then S1 else S2是否有两棵不同的语法树?说明了什么?
说明了语句具有二义性。