消除文法G[S]的左递归：

算符文法G的任何终结符a，b之间要么没有优先关系，若有优先关系，至多有中的一种成立，则G为一算符优先文法。

等价原则：不改变运行结果。
有效原则：优化后时间更短，占用空间更少。
合算原则：应用较低的代价取得较好的优化效果。