Menhir解析元素元组

Question

你好，我有一个工作，当我必须做元组的元素与解析器，但它给我循环语法错误，有什么办法做到这一点吗？

elements: | separated_nonempty_list(SEPARATOR_TOKEN,elements)

我在找这样的东西：

元素(SEPARATOR_TOKEN)元素。(名单)

谢谢

Answer 1

如果您的元素是元组(逗号分隔的列表)或单字符终端，则可以将"a,b,c,d"解析为(a, (b, c, d))、(a, b, (c, d))、(a,(b,(c,(d))))、((((a),b),c),d)等，其中我用括号标记元组。

这是一个循环语法错误，因为为了解析一个元组，您可能需要先解析一个元组(如果您有一个回溯机制，您需要尝试不同的解析字符串的方法，但在您的情况下，您需要一个确定性语法)。

您应该有另一个名为atom (或atomic_element)的非终端，并确保元素可以是一个原子列表。

如果希望元素递归地包含元素，则必须添加一层消歧，例如括号：

atom : <single-letter>
     | '(' elements ')'