clojure - 如何消除 EBNF Instaparse 语法中的歧义

Question

我如何防止结构规则中的“，”字面量被解析为 Instaparse 的以下 EBNF 语法中的运算符？

语法：

structure = atom <"("> term ("," term)* <")"> 
term = atom | number | structure | variable | "(" term ")" | term operator term
operator = "," | ";" | "\\=" | "=="

Answer 1

使用逗号作为分隔符并像您一样作为运算符使逗号上下文敏感，而 Ebnf 本身无法处理。