finite-automata - 有限状态机过程

Question

我需要设计一个有效的决策过程来确定非确定性有限状态机接受的语言是否为空。

如果没有从初始状态到最终状态的路径，我知道机器不接受字符串。

但我正在努力证明这一点或设计程序。

谢谢

Answer 1

好的，就像您说的那样，您从初始状态进行深度优先或广度优先搜索，如果遇到接受状态，则打印“否”。如果搜索完成而没有打印“no”，则打印“yes”。

如果您使用 DFS 作为您的搜索，这很容易证明这一点。然后，当您进行搜索时，请跟踪到目前为止您在分支上遇到的符号序列。如果您进入接受状态，则您看到的字符串是 DFA 接受的字符串；您可以将其作为空语言的反例吐出。没有比反例更好的证据了。