（1）文法G[S]中的S，A都是间接左递归的非终结符号。将A产生式的右部代入产生式S→A中，得到与原文法等价的文法G′[S]：

文法G′[S]中的S是直接左递归的非终结符号，则消除S产生式的直接递归性后，我们便得到了与原文法等价且无任何左递归性的文法G"[S]：

（2）文法G[S]中的S，A都是间接左递归的非终结符号。将A产生式代入产生式S→AS中，得到与原文法等价的文法G′[S]：

文法G′[S]中的S是直接左递归的非终结符号，则消除S产生式的直接递归性后，我们便得到了与原文法等价且无任何左递归性的文法G"[S]：

（3）文法G[S]中的T是直接左递归的非终结符号。则消除T产生式的直接递归性后，我们便得到了与原文法等价且无任何左递归性的文法G′[S]：

（1）DAG：
（2）优化后的四元式

传名：a＝12
传值：a＝6