•
Vstup:
M
= (
Q
,
S
,
R
,
s
,
F
)
;
p
Î
Q
•
Výstup:
e
-uzávěr(
p
)
•
Metoda:
•
i
:= 0;
Q
0
:=
{
p
};
•
repeat
i
:=
i
+ 1
;
Q
i
:=
Q
i
-1
È
{
p
’:
p
’
Î
Q
,
q
®
p
’
Î
R
,
q
Î
Q
i
-1
};
until
Q
i
=
Q
i
-1
;
•
e
-uzávěr(
p
)
:=
Q
i
.
Algoritmus:
e
-uzávěr
8
/44