•
Vstup:
Neúplný
DKA
M
= (
Q
,
S
,
R
,
s
,
F
)
•
Výstup:
Úplný
DKA
M
c
= (
Q
c
,
S
,
R
c
,
s
,
F
)
•
Metoda:
•
Q
c
:=
Q
È
{
q
false
};
•
R
c
:=
R
È
{
qa
®
q
false
:
a
Î
S
,
q
Î
Q
c
,
qa
®
p
Ï
R
,
p
Î
Q
}.
Algoritmus:
Z
DKA
na
úplný
DKA
Myšlenka:
Přidej
sta
v simulující
“
past
”
33
/44