实验?/p>
实验名称
:不确定有穷状态自动机的确定化
实验目的
:输入:非确定有穷状态自动机
NFA
输出:确定化的有穷状态自动机
DFA
实验原理
?/p>
a.
一个确定的有限自动机(
DFA
?/p>
M
可以定义为一个五元组?/p>
M
?/p>
?/p>
K
,∑?/p>
f
?/p>
S
?/p>
Z
?/p>
,其中:
?/p>
1
?/p>
K
是一个有穷非空集,集合中的每个元素称为一个状态;
?/p>
2
?/p>
∑是一个有穷字母表,∑中的每个元素称为一个输入符号;
?/p>
3
?/p>
f
是一个从
K
×∑→
K
上的映像,即
f
?/p>
P
?/p>
a
)=
Q
?/p>
?/p>
P
?/p>
Q
?/p>
K
?/p>
表示当前状态为
P
,如果输入字?/p>
a
?/p>
则转到状?/p>
Q
?/p>
状?/p>
Q
称为?/p>
?/p>
P
的后继状态;
?/p>
4
?/p>
S
?/p>
K
,是惟一的初态;
?/p>
5
?/p>
Z
K
,是一个终态集?/p>
b.
一个不确定有限自动机(
NFA
?/p>
M
可以定义为一个五元组?/p>
M
?/p>
?/p>
K
,∑?/p>
f
?/p>
S
?/p>
Z
?/p>
,其中:
?/p>
1
?/p>
k
是一个有穷非空集,集合中的每个元素称为一个状态;
?/p>
2
?/p>
∑是一个有穷字母表,∑中的每个元素称为一个输入符号;
?/p>
3
?/p>
f
是一个从
K
×∑→
K
的子集的映像?/p>
?/p>
4
?/p>
S
K
,是一个非空的初态集?/p>
?/p>
5
?/p>
Z
K
,是一个终态集?/p>