我做用于自动机理论的分配，这是我必须确定是否一个字由一个过渡函数的确定性有限自动机 我接受或不不确定性有这样的输入的文件： 6 8 0 2
2
5
0 0 a
0 1 a
1 1 b
1 2 c
1 3 c
3 4 d
4 4 d
4 5 d
3
aaabcccc
aabbbbcdc
acdddddd
输入开始与4点的整数，第一是状态自动机的数目，其次是自动机的转换
我在语法中遇到了一些注释块问题。语法很好，但第3步DFA扫描器正在抱怨我正在进行的操作。 我试图解析看起来像这样的语言： {声明} {}声明等 在每个语句可以是几个不同类型的评论： {% This is a comment.
It can contain multiple lines
and continues until the statement end}
{statement REM
我已经在Java中实现了自动以下操作： 级联 克莱尼明星 联盟 路口 这些操作如果自动机是NFA，则更容易。我喜欢在以下链接Modelling a Finite Deterministic Automaton via this data中给出的实现，但由于关键唯一性限制，我认为这在建模NFA时不太合适。你会推荐我使用任何解决方法来建模NFA吗？