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

Question

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

Answer 1

在我的头上，在DFA中，这些是主要规则（特定于DFA的术语用双引号引起来）：

• 对于DFA中定义的每个“输入”，每个“状态”都必须有一个“转换”
  因此，这意味着必须为状态中的dfa中考虑的每个输入定义一个过渡，以便每个输入都知道从该状态出发。
  

• 每个“状态”对于每个“输入”只能有一个“转换”
  很好，这条规则是很容易解释的，因此，如果您已经为特定状态的输入定义了转换，则不要为来自相同状态的相同输入创建另一个转换。
  

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

• 设定开始状态，并以指向该状态的箭头指示
  

• 具有至少一个最终状态，用同心圆表示以画出状态边界
  

• 用箭头绘制过渡
  

• 用它们各自的输入符号标记所有过渡