有限状态集{
S
=
s
i
∣
i
=
1
,
2
,
3...
l
S=s_i|i=1,2,3...l
S=si∣i=1,2,3...l};
有限输入字符集
A
1
=
A_1=
A1={
A
j
1
∣
j
=
1
,
2
,
3
,
.
.
.
,
m
A_j^1|j=1,2,3,...,m
Aj1∣j=1,2,3,...,m}和有限输出字符集
A
2
=
A_2=
A2={
A
k
2
∣
k
=
1
,
2
,
3
,
.
.
.
,
n
A_k^2|k=1,2,3,...,n
Ak2∣k=1,2,3,...,n};
转移函数
A
k
2
=
f
1
(
s
i
,
A
j
1
)
,
s
h
=
f
2
(
S
i
,
A
j
1
)
A_k^2=f_1(s_i,A_j^1),s_h=f_2(S_i,A_j^1)
Ak2=f1(si,Aj1),sh=f2(Si,Aj1),意思是说在状态
s
i
s_i
si,输入
A
j
1
A_j^1
Aj1时,输出为
A
k
2
A_k^2
Ak2且转移状态到
s
h
s_h
sh。