Transformări echivalente asupra GIC - eliminarea redenumirilor

Def. Se numeste redenumire ? productia de tipul A->B , unde A,B ? VN.

Ex: 1. E->T -redenumire

2. E->E+T

3. T->F- redenumire

4.T->T*F

5.F->a

6.F->(E)

Astfel de productii se intilnesc foarte des.

Daca avem

A->B

B->C =>?A?=>?B?=>?C?=>?D?=>???

C->D

D->?