是一个五元组，M=(S,∑,f,S0,F)

S：有穷状态集

∑：输入字母表(有穷)

f：f(S,α)=S'

表示从一个状态S出发，识别了一个字α后，可以到达S'这个状态集合之间的某一个状态(可能的后继有多个，也可能木有)

S0：非空初态集

F:终态集(可空)