非确定性有限自动机接受和拒绝

Question

NFA 可以接受不在该语言中的字符串吗？ 我知道对于 NFA 接受字符串必须至少有一种方式来接受它，我们可以有把握地说 NFA 接受它。 但是在拒绝的情况下......有时可能会发生这样的情况，如果一个不属于该语言的字符串被 NFA 接受？

Answer 1

NFA 接受的语言的定义说它是NFA 接受的所有字符串的集合。 很明显，接受的每个字符串都属于该语言，因此您的问题的答案是：不。

拒绝意味着：给定字符串的所有可能计算要么以非接受状态结束，要么甚至不读取整个字符串（如果自动机不完整）。 这两种可能性都排除了接受。

对于非确定性图灵机，存在接受的概念，例如：“超过一半的计算接受”或“接受奇数个计算”（奇偶校验）等。尽管全局拒绝，您仍然可以接受计算。 但是这些概念并没有被广泛使用，我从未见过它们应用于有限自动机。