需要有关 LALR(1) 解析的帮助

Question

我正在尝试解析一种上下文无关的语言，称为上下文无关艺术。我使用类似 YACC 的 JS LALR(1) 解析器生成器 JSCC 在 Javascript 中创建了它的解析器。

以以下 CFA（Context Free Art）代码为例。此代码是有效的 CFA。

startshape A
rule A { CIRCLE { s 1} }

请注意上面的 A 和 s。 s 是缩放 CIRCLE 的命令，但 A 只是该规则的名称。在语言的语法中，我将 s 设置为标记 SCALE ，并且 A 位于标记 STRING 下（我有一个常规的表达式来匹配字符串，它位于所有标记的底部）。

这工作正常，但在下面的情况下它会崩溃。

startshape s
rule s { CIRCLE { s 1} }

这也是一个完全有效的代码，但是由于我的解析器将 rule 之后的 s 标记为 SCALE 标记，因此它错误地表示它期望 <代码>STRING。

现在我的问题是，是否有任何方法可以重写解析器的生产规则来解决这个问题？相关的生产规则是：-

rule:
    RULE STRING '{' buncha_replacements '}'    [* rule(%2, 1) *]
    |
    RULE STRING RATIONAL '{' buncha_replacements '}'  [* rule(%2, 1*%3) *]
    ;

我能想到的一个简单的解决方案是创建上述规则的副本，并将 STRING 替换为 SCALE，但这只是许多类似的解决方案之一需要这样修复的规则。此外，还有许多其他终端可以与 STRING 匹配。所以这意味着规则太多了！

Answer 1

是的！最后，我的问题的解决方案击中了我。我需要做的就是将上面的生成修改为：-

rule:
    RULE user_string '{' buncha_replacements '}'    [* rule(%2, 1) *]
    |
    RULE user_string RATIONAL '{' buncha_replacements '}'  [* rule(%2, 1*%3) *]
    ;

user_string:
    STRING | SCALE ;

与我在问题文本中提到的解决方案相比，这是一个非常优雅的解决方案。如果有人有更好的解决方案请评论。