(('+' / '-') Expr)*Expr ← Product / Sum / Value这个文法的问题就是，为了匹配Expr， 你需要首先判断是否某处匹配Product， 而为了匹配Product， 你又必须判断是不是此处匹配Expr。而这个循环定义是不可分析的。尽管如此，我们总是可以通过重写左递归规则把左递归消除掉。 例如，一个左递归可能无限的重复一个规则，就像在CFG里面的：string-of-a ← string-of-a 'a' | 'a'在PEG里面，可以用加号操作符重写为：s