•
Vstup:
BKG
G
= (
N
,
T
,
P
,
S
)
•
Výstup:
RZA
M
= (
Q
,
S
,
G
,
R
,
s
,
#
,
F
);
L
(
G
) =
L
(
M
)
f
•
Metoda:
•
Q
:=
{
s
,
f
};
•
S
:=
T
;
•
G
:=
N
È
T
È
{
#
};
•
Konstrukce množiny
R
:
•
for each
a
Î
S
:
přidej
s
a
®
a
s
d
o
R
;
•
for each
A
®
x
Î
P
:
přidej
x
s
®
A
s
d
o
R
;
•
přidej
#
S
s
®
f
d
o
R
;
•
F
:=
{
f
};
Algorit
mus
:
Z
BKG
na
RZA
42/50