为什么会发生此错误？ -“以下选项永远无法匹配”
|
我对制作编译器，解析器和解析器生成器很感兴趣，但是我对它们并不了解。
阅读了这个问题的答案后，我尝试制作一个“非常”简单的LaTeX解析器。
这是代码：
grammar Latex;
latex : ITEM*;
ITEM : CMD|LAWTEXT;
CMD : CHEAD ARGS;
CHEAD : \'\\\\\' LETTER(LETTER|DIGIT)*;
LETTER : \'A\'..\'Z\'|\'a\'..\'z\';
DIGIT : \'0\'|\'1\'|\'2\'|\'3\'|\'4\'|\'5\'|\'6\'|\'7\'|\'8\'|\'9\';
ARGS : \'{\' ITEM* \'}\';
LAWTEXT : (LETTER|DIGIT|WHITESPACE|PUNC)*;
WHITESPACE
: \' \'|\'\\t\'|\'\\n\'|\'\\r\';
PUNC : \'!\'|\'^\';
[18:39:09] warning(200): C:\\Users\\***\\Documents\\Latex.g:9:12: Decision can match input such as \"{\'\\t\'..\'\\n\', \'\\r\', \' \'..\'!\', \'0\'..\'9\', \'A\'..\'Z\', \'\\\\\', \'^\', \'a\'..\'z\', \'}\'}\" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input
[18:39:09] error(201): C:\\Users\\***\\Documents\\Latex.g:9:12: The following alternatives can never be matched: 2
[18:39:09] error(211): C:\\Users\\***\\Documents\\Latex.g:1:8: [fatal] rule Tokens has non-LL(*) decision due to recursive rule invocations reachable from alts 1,2. Resolve by left-factoring or using syntactic predicates or using backtrack=true option.
}
没有找到相关结果
已邀请:
1 个回复
搁手
可能会使词法分析器自己创建一个令牌。如果您始终希望将小写或大写的ascii字母变成令牌，那么您需要将设为如下片段规则：如您所见，我以ѭ10而不是ѭ11结束了规则：您不想创建不包含任何内容的令牌（空字符串）。 同样，，和也不适合词法分析器规则：它们应该是解析器规则。 这是一个生成词法分析器和语法分析器的语法，没有任何错误：grammar Latex; latex : item* EOF ; item : cmd | LAWTEXT ; cmd : CHEAD args ; args : \'{\' item* \'}\' ; CHEAD : \'\\\\\' LETTER (LETTER | DIGIT)* ; LAWTEXT : (LETTER | DIGIT | WHITESPACE | PUNC)+ ; fragment WHITESPACE : \' \' | \'\\t\' | \'\\n\' | \'\\r\' ; fragment PUNC : \'!\' | \'^\' ; fragment LETTER : \'A\'..\'Z\' | \'a\'..\'z\' ; fragment DIGIT : \'0\'..\'9\' ;Identifier : (Letter | \'_\') (Letter | \'_\' | Digit)* ; Assign : \'=\' ; Number : Digit+ (\'.\' Digit+)? ; fragment Digit : \'0\'..\'9\' ; fragment Letter : \'a\'..\'z\' | \'A\'..\'Z\' ; Spaces : (\' \' | \'\\t\' | \'\\r\' | \'\\n\') {skip();} ;该词法学家将其视为：并将创建以下令牌：（请注意，没有从空白中创建标记：我跳过了这些！） 在词法分析器从您的输入源创建了令牌之后，解析器将传递这些令牌。分配解析器规则如下所示：重要的是要记住，输入源首先由词法分析器标记，并且只有在该过程之后，解析器规则才起作用。