• Input: Grammars G1 = (N1, T, P1, S1) and
      G2 = (N2, T, P2, S2);
• Output: Grammar Gu = (N, T, P, S) such that
L(Gu) = L(G1) È L(G2)
• Method:
• let S Ï N1 È N2, let  N1 Ç N2 = Æ:
• N := {S} È N1 È N2;
• P := {S ® S1, S ® S2} È P1 È P2;
Algorithm: CFG for Union
19/31