Automation 有限自动机帮助，can'；我不理解这个概念

假设一个有限自动机在处理一个字w之后达到一个状态s。 我们如何判断w是否属于该语言 如果s是最终的或非最终的，并且自动化是DFA或NFA（4 案例）

这一直困扰着我。。任何帮助都将不胜感激

语言L的FSA在读取w后，可以在一组状态Qw中停止。当且仅当Qw中至少存在一个最终（接受）状态qf时，w才是L的成员。换句话说：如果FSA读数为w，可以在最终状态下停止，则w是L的成员

读取相同输入的DFA将始终处于相同的状态；因此得名。所以这里Qw总是由一个单一的状态组成，答案很简单：如果状态是最终状态，那么w就是语言的一员；否则，情况并非如此

NFA更为棘手，因为如果在w上运行它，它可能会在Qw的任何州停止。如果它是一个接受国，根据定义，你知道w是L的成员。哇，幸运！但是，如果在读了w之后，我们达到了一个非最终状态呢？我们可以说，与DFA类似，w不是L的成员吗

不幸的是，不是*。让我们考虑这两个NFA：

• NFA1，读数为w，可以在qnf1和qnf2中停止，这两种状态都是非最终状态
• NFA2的读数为w，可以在qnf1和qnf2中停止，但也可以在qf（最终状态）中停止

假设我们将w输入机器，它在qnf1停止。在不知道我们正在测试哪种NFA的情况下，我们可以对w说些什么？显然什么都没有：w是L2的成员，因为如果我们继续在w上运行NFA2，我们迟早会进入qf；另一方面，w不是L1的成员，因为无论我们通过NFA1运行w多少次，我们最终只能进入非接受状态

总而言之：

• DFA，最终状态：是
• NFA，最终状态：是
• DFA，非最终状态：否
• NFA，非最终状态：我们不知道

---

*我假设FSA对我们来说是一个黑匣子，我们所能观察到的就是w这个词和我们停留的状态，q。如果我们知道FSA的结构，NFA的情况会简单得多，因为我们可以只检查Qw。

你能补充一点关于你的问题的描述吗？这是我一直坚持的问题：（这是我们在课堂上遇到的问题之一，但我无法理解。它问我们是否有任何方法可以在单词到达s状态后判断它是否属于该语言。我们是否可以判断s状态是否为最终状态，以及该自动化是否为DFA或NFA…@jason您的问题不清楚。我建议您再次阅读您的课本。总之，-NFA和DFA是FA（有限自动机）读取的两种形式。FA中的a状态可以是最终状态，也可以是非最终状态。如果经过处理后字符串

w

最后状态是最终状态，则认为字符串w是可接受的。我建议您阅读