是否包含偶数个0或偶数个1。设"M" =("Q", Σ, "T", "s", "F")这里的"M"的状态图是："M"可以被看作两个DFA的并集：一个有状态{"S", "S"}而另一个有状态{"S", "S"}。 "M"的语言可以描述为如下正则表达式给出的正则语言：
NFA与DFA.NFA与确定有限自动机（DFA，或简称FA）的辨识能力是一样的，因而两者是等价的。每个FA也可以写成NFA的形式，只要把转换函式由formula_39改写成formula_40就可以，即是与之