设计NFA,用于二进制字符串,该二进制字符串接受Σ= {0,1}上的偶数长度的字符串

问题描述

enter image description here

我尝试了这个,但是这是DFA,NFA将会如何?

解决方法

按照大多数定义,每个DFA也是NFA。因此,您的自动机是NFA。

如果您真的想要一些不确定性,这里是另一个NFA:

              0,1
-> ((even))  <--->  (odd)
      ^
      | 0,1
      v
  (also odd)

如您所见,强制自动机使用不确定性不是很有意义。

在大多数情况下,使用不确定性会使自动机更加紧凑和易于编写。但是在这种情况下,自动机已经只使用了两种状态。它很难变小。