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

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

enter image description here

我尝试了这个，但是这是DFA，NFA将会如何？

解决方法

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

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

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

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

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