•
Input:
Incomplete
DFA
M
= (
Q
,
S
,
R
,
s
,
F
)
•
Output:
Complete
DFA
M
c
= (
Q
c
,
S
,
R
c
,
s
,
F
)
•
Method:
•
Q
c
:=
Q
È
{
q
false
};
•
R
c
:=
R
È
{
qa
®
q
false
:
a
Î
S
,
q
Î
Q
c
,
qa
®
p
Ï
R
,
p
Î
Q
}.
Algorithm:
DFA to Complete DFA
Gist: Add a “trap” state
33
/44