【发布时间】：2020-02-28 00:29:02
【问题描述】：
有限自动机理论中 NFA 和 DFA 可以有多少个初始状态
【问题讨论】：
-
你应该在cs.stackexchange.com询问
【发布时间】：2020-02-28 00:29:02
【问题描述】：
这取决于您的定义。也就是说，很难想象有多个初始状态的 DFA 的任何合理定义。为什么？好吧，您需要一种方法来判断从哪个状态开始。通常，只有输入字符串可用于 DFA，并且可能为空。更容易想象 NFA 被定义为多个初始状态都可以。它基本上相当于有一个单独的初始状态，ε-转换到多个初始状态，然后只是简单地不显示“真实”初始状态。这类似于 NFA 不需要显示死状态并且可以简单地崩溃的方式。
【讨论】：
-
即使是我，知道答案的人，也不能轻易地跟随你的答案。您在某处缺少“唯一一个”：p
-
@mAhMoUdDaFeR 我重新阅读了答案，没有看到任何地方需要“只有一个”。您认为添加一个示例可能会有所帮助吗？我的意思是我敢肯定它会，但如果没有它的文字足够清晰，那么可以省略。
-
我的意思是“很难想象”和“通常”似乎有点不确定。既然答案总是只有一个由 q0 表示的起始状态（这是其正式定义中的一个因素），那么为什么不直接说明它
-
@mAhMoUdDaFeR 我的观点是，可以以允许多个初始状态的方式正式定义 NFA，但对于 DFA 可能无法以相同的方式这样做。说 NFA 不能有多个初始状态似乎是不正确的。说我见过的正式定义没有尝试这样做会更正确，但这不是所要求的。
-
你会说 epsilon NFA 可以有多个起始状态吗？
根据 DFA 的定义，作为 NFA，它只能有一个初始状态。 见here的定义。
【讨论】：