一种顺序机，可用数学模型表示如下：
M＝（Σ,Ｓ,Ｏ,δ,ω）其中
Σ：为输入符号的有限集合，
Ｓ：为状态的有限集合，
Ｏ：为输出符号的有限集合，
δ：为下一状态函数，δ（Σ,Ｓ）＝Ｓ，
ω：为输出函数，ω（Σ,Ｓ）＝Ｏ。
参【顺序机】（sequential machine; SM）、【米利机】（Mealy machine）。