Automata NFA和DFA可以有多少初始状态？

在有限自动机理论中，NFA和DFA可以有多少初始状态取决于你的定义。也就是说，很难想象有多个初始状态的DFA的任何合理定义。为什么？嗯，你需要一种方法来判断从哪个州开始。通常，只有输入字符串可用于DFA，并且该字符串可能为空。更容易想象一个NFA被定义为多个初始状态都可以。这基本上相当于有一个单独的初始状态，由epsilon过渡到多个初始状态，然后只是不显示“真实”的初始状态。这类似于NFA不需要显示死区状态，并且可以简单地崩溃。

根据DFA的定义，NFA只能有一个初始状态。

---

参见定义。

即使是我，知道答案的人，也不能轻易理解你的答案。你在某个地方漏掉了一个“唯一的一个”：p@mAhMoUdDaFeR我重新阅读了答案，没有看到任何地方需要“只有一个”。你认为增加一个例子会有帮助吗？我的意思是我肯定会的，但如果没有它，文本足够清晰，那么就可以省略。我的意思是“很难想象”和“通常”似乎有点不确定。既然答案总是只有一个由q0表示的起始状态（这是其正式定义中的一个因素），那么为什么不声明它呢directly@mAhMoUdDaFeR我的观点是，可以以允许多个初始状态的方式正式定义NFA，但对于DFA，以相同的方式这样做可能是不可能的。说NFA不能有多个初始状态似乎是不正确的。更正确的说法是，我所看到的正式定义并没有试图这样做，但这不是我们要问的。你会说epsilon NFA可以有多个起始状态吗？你应该问一下