如何让 Lemon 解析器在换行符上终止自身

Question

按照这个旧教程，我正在尝试让一个柠檬解析器自动终止对EOL令牌的解析。解析器的相关部分如下所示：

start ::= in .
in ::= .
in ::= in commandList EOL .
{
    printf("start ::= commandList .n");
    printf("> ");
}

以下是我如何使用 Flex 扫描的令牌执行解析器：

int lexCode;
do {
    lexCode = yylex(scanner);
    Parse(shellParser, lexCode, yyget_text(scanner));
    // XXX This line should not be necessary; EOL should automatically
    // terminate parsing. :-(
    if (lexCode == EOL) Parse(shellParser, 0, NULL);
} while (lexCode > 0);

我想消除在这里检查EOL令牌的需要，只是让解析器弄清楚什么时候完成。我该怎么做？

谢谢！

Answer 1

在 EBNF 术语中，您对in的定义是

in ::= (commandList EOL)*

这允许多个 EOL。你想要的是

in ::= commandList* EOL

哪个应该解决

start ::= in EOL .
in ::= .
in ::= in commandList .

请注意，这不允许完全空的输入（甚至不允许EOL）;如果这是一个问题，您可以根据需要进行调整。