需要帮助构建确定性有限自动机？

Question

以图表的形式构建确定性有限自动机的规则是什么？我的教授通过例子解释，但我不确定所有图表必须遵循哪些规则。任何帮助表示赞赏，谢谢！

Answer 1

在我的脑海中，在DFA中，这些是主要规则，（特定于DFA的术语是双引号）： -

• 每个“州”必须对DFA中定义的每个“输入”进行“转换” 所以这意味着，必须为dfa中考虑的每个输入定义转换，对于一个状态，以便知道每个输入从该状态到哪里。
  

• 每个“状态”对于每个“输入”只能有一个“转换”
  那么这个规则是非常自我解释的，所以如果你已经为特定状态的输入定义了转换，不要为来自同一状态的相同输入创建另一个转换。
  

是的，这些是我记得的。希望能帮助到你。此外，这些点可用于区分dfa和nfa。其他简单的绘图规则是： -

• 制作一个开始状态，用指向状态的箭头表示

• 至少有一个最终状态，用同心圆表示绘制状态边

• 以箭头

绘制过渡

• 使用各自的输入符号标记所有转换