• Input: G1 = (N1, T, P1, S1) and
      G2 = (N2, T, P2, S2);
• Output: Gc = (N, T, P, S) such that
L(Gc) = L(G1) . L(G2)
• Method:
• let S Ï N1 È N2, let  N1 Ç N2 = Æ:
• N := {S} È N1 È N2;
• P := {S ® S1S2} È P1 È P2;
Algorithm: CFG for Concatenation
20/31