•
Vstup:
D
KA:
M
= (
Q
,
S
,
R
,
s
,
F
)
•
Výstup:
DKA:
M
t
= (
Q
t
,
S
,
R
t
,
s
,
F
)
•
Metoda:
•
Q
0
:=
F
;
i
:= 0
;
•
repeat
i
:=
i
+ 1
;
Q
i
:=
Q
i
-1
È
{
q
:
qa
®
p
Î
R
,
a
Î
S
,
p
Î
Q
i
-1
};
until
Q
i
=
Q
i
-1
;
•
Q
t
:=
Q
i
;
•
R
t
:=
{
qa
®
p
:
qa
®
p
Î
R
,
p
,
q
Î
Q
t
,
a
Î
S
}
.
Algoritmus:
Odstranění nedostupných stavů
29
/44