如何实现表达式的优先级 Bakus-Naur 形式

Question

文档中描述了这种语法：

grammar
    =
    | ['()'] ['$'] {'#' &'#'} '#'
    | ['()'] {'#' &'#'} '#%'
    | ['()'] ['$'] {'0' &'0'} '0'
    | ['()'] {'0' &'0%'} '0%'
    | ['()'] ['$'] {'#' &'0'} {'0' &'0'} '0'
    ;

如何正确描述语法，以便在尝试解析字符串时得到以下结果：

对于字符串'######' ，我们得到结果(['#', '#', '#', '#', '#'], '#')为真（第一个规则有效）

对于字符串'#####%'我们得到结果(['#', '#', '#', '#'], '#')它应该是 False 它应该是(['#', '#', '#', '#'], '#%') （首先工作，但应该是第二条规则）

对于字符串'000000' ，我们得到结果(['0', '0', '0', '0', '0'], '0')它是 True （使用第三条规则）

对于字符串'###000'我们得到结果(['#', '#'], '#')它是 False （首先工作但应该是第五条规则）

文档中给出的规则是荒谬的还是我做错了什么？

Answer 1

Tatsu 按照声明的顺序尝试规则。

所以在你的例子中：

| ['()'] ['$'] {'#' &'#'} '#'
| ['()'] {'#' &'#'} '#%'

第一条规则将在读取%之前成功匹配#####

颠倒这两个选项将使 Tatsu 尝试首先解析#% ，并且只有在解析失败时才尝试# 。

注意：一旦成功解析了模式， ~符号也可用于避免尝试其他规则选项。