形似DFA的单转移NFA是否仍属于NFA范畴？

你设计的这个结构完全属于NFA。

NFA的核心定义是：允许一个状态在接收某个输入符号时，转移到多个状态（或者包含ε空转移），但这只是“允许”而非“强制要求”。换句话说，DFA是NFA的一个特殊子集——当NFA的每个状态对每个输入符号都只有唯一的转移路径，且不存在ε转移时，它就是DFA，同时也完全符合NFA的定义范畴。

你针对语言{a,b}中a的个数为奇数的字符串设计的状态机，本质就是一个标准DFA（比如两个状态：S0代表a的个数为偶数，S1代表a的个数为奇数；输入a时S0→S1、S1→S0，输入b时保持当前状态不变），而这个DFA本身就是合法的NFA实例，因为NFA并没有要求必须存在多转移，只是不对这种情况做限制罢了。

内容的提问来源于stack exchange，提问作者Aqua