NFA状态图的语法-ANTLR V4

Question

我正在尝试写下以下NFA图的语法

我的代码是

grammar LTFA;

rS: 'Start' rA | EOF;

rA: 'Select_coffe' rB;

rB: 'Enter_money' rC | 'Cancel' rS;

rC:  'More_money_needed' rC | 'Refund' rE | 'Right_amount_of_money' rD;

rD: 'Change' rC | 'Done' | 'Done' rS;

rE: 'End' | 'End' rS;

WS: ( ' ' | '\t' | '\n')->skip;

语言不接受null字符串（空），我该如何制作，我如何制作接受null吗？

这是我得到的错误，我得到了

Answer 1

这项任务可能无法完成。尽管您可以从语法生成状态机（ATN，NFA，DFA），但不可能进行反向，因为状态不是规则，并且不能仅从状态和过渡中创建规则。但是，您正在这里尝试使用语法规则代替州。

让我们看一个示例，您的规则rb：

rB: 'Enter_money' rC | 'Cancel' rS;

您的状态图所说的是：

1. 我们必须处于状态Q2。
2. 我们输入输入“ Enter_money”。
3. 我们最终进入州Q3。

或者

2. 我们输入输入“取消”。
3. 我们最终进入州Q0。

但是，规则说：

1. 匹配输入“ enter_money”。
2. 然后匹配规则RC（需要更多输入）

或

1. 匹配输入“ CANCEL”。
2. 然后匹配规则“ rs”（这需要整个链才能再次匹配）。

虽然您当然可以采用一组节点并将其放入一条规则中以执行某些输入，但您将无法指示解析器解释器（或状态步行者）最终处于特定状态（例如，一旦开始，就开始状态购买已完成或取消）。

Answer 2

运行此代码时：

LTFALexer lexer = new LTFALexer(CharStreams.fromString(""));
LTFAParser parser = new LTFAParser(new CommonTokenStream(lexer));

System.out.println(parser.rS().toStringTree(parser));

我在控制台中获取以下输出：

(rS <EOF>)

并且没有显示错误。

Python中的测试结果相同：

from antlr4 import *
from LTFALexer import LTFALexer
from LTFAParser import LTFAParser

if __name__ == '__main__':
    lexer = LTFALexer(InputStream(''))
    parser = LTFAParser(CommonTokenStream(lexer))
    print(parser.rS().toStringTree(recog=parser))

然后，（rs＆lt; eof＆gt;）被打印。