般地: A→>Aa1Aa2|Aa3|…|Aanmβ1B2|3…|3n 改写成: A→B1A|B2AB3A…|BnA A→a1A|a2Aas3A…|mAlE 例:消去S→SSSS+|a中的左递归。 解:S→aS S’→S*SlS+S|E一般地： A→Aα1 |Aα2 |Aα3 |···|Aαm|β1 |β2 |β3 |···|βn 改写成： A→β1 A’|β2 A’|β3 A’|···|βnA’ A’→ α1 A’|α2 A’|α3 A’|···|αm A’|ε 例：消去S→SS*|SS+|a中的左递归。 解：S→aS’ S’→ S*S’| S+S’|ε