Question

离。

S-＆GT; S + T | Ť

T-＆GT; U - T | û

U - ＆gt; ID | Ñ

关联性显然不会被保留。但我无论如何也看不出它是模棱两可的..那么这是一个非模棱两可的cfg吗？

Answer 1

语法可以同时进行左右递归，就像你展示的那样，但这并不意味着什么。任何语法都可以重写，所以所有的递归都是左或右（但不是一致的，除非语法是常规的）：

A -> B A C

变为：

A -> B X
X -> A C

现在你有一个相互递归，它在一个规则的左边，在另一个规则的右边。你在问题中的语法似乎确实是明确的，但这与左或右递归没有任何关系。