1、构造上下文无关文法
(1){ an bn | n>=0 }
G[S]: S -> aSb | ab | ε
由S产生任意多个相同数量的a和b
(2){ am bn | m>=n>=0 }
G[S]: S -> aSb | a | ε
由S产生任意多个a和任意多个b,数量a比b多
2、G[E]:
E→E+T | T
T→T * F | F
F→ (E) | a
(1)求(a+a)* (a+a)最右推导
(2)求(a+a)* (a+a)的语法树
学如逆水行舟,不进则退