[有限自动机理论中NFA和DFA可以具有多少个初始状态
取决于您的定义。也就是说，很难想象DFA中有多个初始状态的任何合理定义。为什么？嗯，您需要一种方法来告知从哪个状态开始。通常，DFA仅可使用输入字符串，并且该字符串可以为空。可以想象以多个初始状态都可以确定的方式定义NFA会更容易。从根本上讲，这等效于拥有一个独立的初始状态，其中ε转换为多个初始状态，然后只是不显示“真实”初始状态。这将类似于NFA不需要显示死态并且可以简单崩溃的方式。