http://fmt.cs.utwente.nl/courses/vertalerbouw/sheets/vb-04-antlr-1-4up.pdf
右结合
E->T op E | T 推导出 E->T [op [T [op [T op T]]]],故右递归即是右结合
提取左因子
E->T X
X->op E | empty
E->T X
X->(op E)? (代入上式)
E->T (op E)? EBNF也表示为E -> T [op E]
左结合
E->E op T | T 由这个 E->(((T op T) op T) op T),左递归即是左结合
消除左递归
E->T X
X->op T X| empty
E->T X
X->(op T)* (代入上式)
E->T (op T)* EBNF也表示为E -> T {op T}
优先级通过推导步数决定,推导出 终结符的步数越多,优先级越低