ply 的 YACC 是否支持扩展的 Backus-Naur 形式？

Question

The examples I've seen 始终使用“简单”BNF。这是我愚蠢的开发的一部分的示例：

def p_expression(p):
    """expression : NUMBER
                | NAME
                | NEGATION
                | INCREMENT
                | DECREMENT
                | expression operator expression"""

if __name__ == "__main__":
    lex.lex()
    yacc.yacc()
    data = "32 <+> 10 |"
    result = yacc.parse(data)

如果我想解析一个带括号的数学表达式以及它的整个递归地狱just like in this answer that uses the extended one，该怎么办？有可能吗？

Answer 1

不，PLY（如 yacc）不支持扩展 BNF。

您参考的页面提供了构建自顶向下解析器的策略，而由yacc（以及Bison、PLY和其他衍生产品）构建的解析器构建自底向上解析器。自底向上解析器的优势在于，用于解析的语法与语言的实际语法结构有更密切的对应关系，因此可以直接用于构建 AST（抽象语法树）。

BNF 中的算术表达式语法通常非常简单（尽管不像您问题中的模棱两可语法那么简单），特别是如果您使用 yacc（和 PLY）提供的运算符优先级声明。