- 1. 已知文法:
S->a|^|(T)
T->T,S|S
分析句型(T,(^,a)),求全部的短语、直接短语和句柄。
推导: s=>(T)=>(T,s)=>(T,(T))=>(T,(T,s))=>(T,(s,s))=>(T,(^,s))=>(T,(^,a))
语法树:
全部短语: ( T ,( ^ , a ) ) ; T ,( ^ , a ) ; ( ^ , a ) ; ^ , a ; ^ ; a
直接短语: ^ ; a
句柄:^
- 2. 构造上下文无关文法,描述语言:
{anbn|n>=0}
{ambn|m>=n>=0}
if语句
解:
{anbn|n>=0}:
D -> aDb | ab | ε
{ambn|m>=n>=0}:
E -> aEb | ab | a | ε
if语句 :
if <条件> then <语句a> | if <条件> then <语句a> else <语句b>
3.
条件语句 stmt if expr then stmt
| if expr then stmt else stmt
|other
分析句子if E1 then if E2 then S1 else S2
方法一:
方法二: