•
Input:
Grammars
G
1
=
(
N
1
,
T
,
P
1
,
S
1
)
and
G
2
=
(
N
2
,
T
,
P
2
,
S
2
)
;
•
Output:
Grammar
G
u
=
(
N
,
T
,
P
,
S
)
such that
L
(
G
u
)
=
L
(
G
1
)
È
L
(
G
2
)
•
Method:
•
let
S
Ï
N
1
È
N
2
, let
N
1
Ç
N
2
=
Æ
:
•
N
:
=
{
S
}
È
N
1
È
N
2
;
•
P
:
=
{
S
®
S
1
,
S
®
S
2
}
È
P
1
È
P
2
;
Algorithm: CFG for Union
19
/31