将DFA简化为NFA

Question

我试图解决一个问题，我必须为给定的语言绘制NFA。

语言是{ w | the final five symbols of w include two a's and three b's } { 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。