·消除左遞歸 S→aAS'|∧aAS'
S'→VaAS'|ε?
對A的產生式提取左因子 ?A→∧aA' ?A'→A|ε
· 非終結符合 ?First Follow
S ? a?∧ ?#
S’ ?V ?ε ?#
A ?∧ ?#
A‘ ? ∧ ?#
Select(S→aAS')=a
Select(S→∧aAS')=∧
Select(S'→VaAS')=V
Select(S'→ε)=#
Select(A→∧aA')=∧
Select(A'→A)=∧
Select(A'→ε)=#
符合LL(1)文法
a ? ∧ V #?
S ?S→aAS' S→∧aAS'
S' S'→VaAS' S'→ε
A ?A→∧aA'
A' A'→A ?A'→ε