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