问题描述
我尝试了这个,但是这是DFA,NFA将会如何?
解决方法
按照大多数定义,每个DFA也是NFA。因此,您的自动机是NFA。
如果您真的想要一些不确定性,这里是另一个NFA:
0,1
-> ((even)) <---> (odd)
^
| 0,1
v
(also odd)
如您所见,强制自动机使用不确定性不是很有意义。
在大多数情况下,使用不确定性会使自动机更加紧凑和易于编写。但是在这种情况下,自动机已经只使用了两种状态。它很难变小。