有限自动机 是一个五元组： $$ \begin{align}M=(S,∑,σ,S_0,Z)\end{align} $$   S是一个有限集，每个元素为一个状态 ∑是一个有穷字母表，每个元素为…