一个文法是左递归的,如果它有非终结符 A A A,对某个串 α α α,存在推导 A → ∗ A x A→*Ax A→∗Ax。自上而下的分析方法不能用于左递归文法,因此需要消除左递归。由形式为 A → A a A→Aa A→Aa的产生式引起的左递归称为直接左递归。
在进行自上而下的分析(比如
L
L
(
1
)
LL(1)
LL(1)分析时,构造预测分析器也是
L
L
(
1
)
LL(1)
LL(1)分析)需要消除左递归,因为自上而下的分析方法不能用于左递归文法。任何二义文法绝不是
L
R
LR
LR文法。















