将 DFA 简化为 NFA

Question

我试图找出一个问题，我必须为给定语言绘制 NFA。

语言是{ w | the final five symbols of w include two a's and three b's }。

我相信我拥有它作为 DFA，但不确定是否有更精简的版本。如果有人可以看一下，那将非常有帮助。我觉得好像可以将其简化为一个相当小的 NFA。

Answer 1

首先，你所拥有的不是 DFA；状态a 显然是不确定的：

• 使用a，您可以同时访问a 和b
• 使用b，您可以同时访问a 和s

其次，由于在 FSA 中只能计算状态（没有堆栈），因此您必须跟踪在状态空间的最后 5 个字符中看到的每个符号的数量。想想你需要多少种不同的组合，然后过渡就会很明显。这是您可以解决此练习的最小 NFA。