teh*_*man 1 grammar deterministic finite-automata context-free-grammar
以图的形式构造确定性有限自动机的规则是什么？我的教授通过例子解释,但我不确定所有图表必须遵循哪些规则.任何帮助表示赞赏,谢谢!
在我的脑海中,在DFA中,这些是主要规则,(特定于DFA的术语是双引号): -
对于在DFA中定义的每个"输入",每个"状态"必须具有"转换",
这意味着必须为dfa中考虑的每个输入定义转换,以便状态,以便知道从哪里开始每个输入的状态.
每个"状态"对于每个"输入"只能有一个"转换",
这个规则是非常自我解释的,所以如果您已经为特定状态的输入定义了转换,请不要为同一输入创建另一个转换来自同一个州.
是的,这些是我记得的.希望能帮助到你.此外,这些点可用于区分dfa和nfa.其他简单的绘图规则是: -
做一个开始状态,用指向状态的箭头表示
具有至少一个最终状态,用同心圆表示以绘制状态边界
以箭头绘制过渡
使用各自的输入符号标记所有转换