python - 简约的 ParseError

Question

深入研究语法和特别是 PEG，我想要一个具有以下语法的 DSL:

a OR (b AND c)

我正在使用 parsimonious 这里有以下语法:

from parsimonious.grammar import Grammar
grammar = Grammar(
    """
    expr            = (term operator term)+
    term            = (lpar term rpar) / (variable operator variable)
    operator        = and / or
    or              = _? "OR" _?
    and             = _? "AND" _?
    variable        = ~r"[a-z]+"
    lpar            = "("
    rpar            = ")"
    _               = ~r"\s*"
    """
)
print(grammar.parse('a OR (b AND c)'))

但是，上面的文本失败了

parsimonious.exceptions.ParseError: Rule 'variable' didn't match at '(b AND c)' (line 1, column 6).

为什么？我不是将 term 指定为 ( term ) 或 term 吗？
为什么它选择 variable 的规则(当然失败了)？

Answer 1

expr 中的第一件事是 term，所以这就是解析器要查找的内容。

语法中的术语是

( term )

或

variable operator variable

输入是

a OR (b AND c)

它不以 ( 开头，所以它可以成为 term 的唯一方法是它是否匹配 variable operator variable。a 是一个变量；OR 是一个运算符。所以接下来要匹配的是变量.

---

也许你想要的是:

expr = term (operator term)*
term = (lpar expr rpar) / variable