是一个五元组，M=(S,∑,f,S0,F)
S：有穷状态集
∑：输入字母表(有穷)
f：f(S,α)=S‘
表示从一个状态S出发，识别了一个字α后，可以到达S‘这个状态集合之间的某一个状态(可能的后继有多个，也可能木有)
S0：非空初态集
F:终态集(可空)
非确定有穷自动机(nondeterministic finite automata,NFA)
原文：https://www.cnblogs.com/mznsndy/p/10713040.html
