• Input:    G = (N1, T, P1, S1)
• Output: Gi = (N, T, P, S) such that  L(Gi) = L(G)*
• Method:
• let S Ï N1:
• N := {S} È N1;
• P := {S ® S1S, S ® e} È P1;
Algorithm: CFG for Iteration
21/31