有限状态机程序

Question

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

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

但是我在如何证明这一点或设计程序方面苦苦挣扎。

谢谢

Answer 1

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

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