python - 如何处理 PEG 语法中的负数？

Question

我正在尝试使用 tatsu 编写一个简单的 int 表达式解析器，一个基于 PEG 的 Python 解析器生成器。这是我的代码:

import tatsu

grammar = r'''
    start = expression $ ;
    expression = add | sub | term ;
    add = expression '+' term ;
    sub = expression '-' term ;
    term = mul | div | number ;
    mul = term '*' number ;
    div = term '/' number ;
    number = [ '-' ] /\d+/ ;
'''
parser = tatsu.compile(grammar)
print(parser.parse('2-1'))

此程序的输出是 ['-', '1'] 而不是预期的 ['2', '-', '1']。

我得到正确的输出，如果我:

• 移除对一元减号的支持，即将最后一条规则更改为 number =/\d+/;
• 去掉了term、mul、div规则，只支持加减法
• 将第二条规则替换为 expression = add |子 |多 |分区 |号码 ;

最后一个选项实际上没有遗漏任何功能，但我不明白为什么它会起作用。到底是怎么回事？

编辑:如果我只是翻转 add/sub/mul/div 规则来摆脱左递归，它也可以工作。但是随后评估表达式就成了一个问题，因为解析树被翻转了。 (3-2-1 变为 3-(2-1))

Answer 1

存在 TatSu 无法处理的左递归情况，正在努力解决当前搁置的问题。

您可以使用左/右 join/gather operators控制非左递归文法中解析表达式的结合性。