NFA是否必然具有最终状态？

Question

我试图证明所有NFA都可以转换成具有最终状态的NFA，但我不知道如何处理0个最终状态的情况。

Answer 1

一切都取决于您的定义，但通常是：

• 接受状态的集合可能为空
• 并非所有州都必须可以从初始状态到达

任何不接受状态的NFA都等同于具有两种状态的DFA：在所有输入上循环自身的初始非接受状态;以及在所有输入上循环自身的无法接受的接受状态。