•
Vstup:
G
1
=
(
N
1
,
T
,
P
1
,
S
1
)
a
G
2
=
(
N
2
,
T
,
P
2
,
S
2
)
;
•
Výstup:
Grama
tika
G
u
=
(
N
,
T
,
P
,
S
) taková, že:
L
(
G
u
)
=
L
(
G
1
)
È
L
(
G
2
)
•
Metoda:
•
Nechť
S
Ï
N
1
È
N
2
,
dále nechť
N
1
Ç
N
2
=
Æ
:
•
N
:
=
{
S
}
È
N
1
È
N
2
;
•
P
:
=
{
S
®
S
1
,
S
®
S
2
}
È
P
1
È
P
2
;
Algoritmus: BKG pro sjednocení
19
/31