编译原理：消除直接左递归的方法

话不多说，直接上例题

例：E——>E+T|T ，请消除该式的左递归。

显然，这是一个直接左递归的产生式，E最终可以推导出T … +T+T+T+T+T+T+T ，所以我们设E’来表示这无限递归的+T，那么可以写出E——>TE’，由于E’也要有产生式，并能生成无限个+T且不包含左递归，那只能使用右递归了，那么自然就有E’——>+TE’|ε ，这样我们就用右递归的方式消除了该式的直接左递归。