(1) (2)
由此可知，S aSbS|aS|d定义的文法是二义性文法。
2．对于文法G[S]：S AB，A Aa|bB，B a|Sb求句型baSb的全部短语、直接短语和句柄？
句型baSb的语法树如图五(2)所示。 解：
的相对于B的短语，且为直接短语，a为句型baSb的相对于B的短语，且为直接短语和句柄。
3．设有非确定的有自限动机NFA M=({A，B，C}，{0，1}， ，{A}，{C})，其中： (A，0)={C} (A，1)={A，B} (B，1)={C} (C，1)={C}。请画出状态转换距阵和状态转换图。 解：
状态转换图为：
S
b
b
图五(2) 句型baSb的的语法树
