ANTLR BNF语法表示法中的epsilon等效项是什么？

Question

在利用ANTLR 3.3的过程中，我正在更改当前语法以支持不带括号的输入。这是我的语法的第一个版本：

grammar PropLogic;

        NOT : '!' ;
        OR  : '+' ;
        AND : '.' ;
        IMPLIES : '->' ;
        SYMBOLS : ('a'..'z') | '~' ;
        OP : '(' ;
        CP : ')' ;

    prog    : formula EOF ;


    formula : NOT formula
        | OP formula( AND formula CP | OR formula CP | IMPLIES formula CP)
        | SYMBOLS ;


    WHITESPACE : ( '\t' | ' ' | '\r' | '\n'| '\u000C' )+    { $channel = HIDDEN; } ;

然后我以这种方式更改了它以支持适当的功能：

grammar PropLogic;

    NOT : '!' ;
    OR  : '+' ;
    AND : '.' ;
    IMPLIES : '->' ;
    SYMBOL : ('a'..'z') | '~' ;
    OP : '(' ;
    CP : ')' ;
    EM : '' ;

prog    : formula EOF ;


formula : OP formula( AND formula CP | OR formula CP | IMPLIES formula CP)
    | ( NOT formula | SYMBOL )( AND formula | OR formula | IMPLIES formula | EM ) ;


WHITESPACE : ( '\t' | ' ' | '\r' | '\n'| '\u000C' )+    { $channel = HIDDEN; } ;

但是我一直面临以下错误：

error<100>:  syntax error: invalid char literal: ''
error<100>:  syntax error: invalid char literal: ''

有人知道我该如何克服这个错误？

Answer 1

您的EM令牌：

EM : '' ;

无效：您无法在lexer规则中匹配空字符串。

要匹配epsilon（什么都没有），您应该执行以下操作：

rule 
  :  A 
  |  B 
  |  /* epsilon */ 
  ;

当然，/* epsilon */可以安全删除评论。

请注意，当您按照当前语法那样进行操作时，ANTLR会抱怨可能存在使用多个替代规则进行匹配的规则。这是因为您的语法不明确。