Dado G = (V_T, V_N, P, S) quiero generar G’ = (V_T’, V_N’, P’, S’) sin reglas lexicograficas.

§         V_N’ = V_N È{Z}             (Agrego un nuevo No Terminal)

§         P’=

N ::= aB                 si             N::=aB en P

N ::= l                    si             N::=l en P

N::=aZ                  si            N::=a en P

Z::= l

Dado G = (V_T, V_N, P, S) quiero generar G’ = (V_T’, V_N’, P’, S’) sin reglas borradoras

(excepto S=l)

§         V_N’ = V_N

§         P’=

N ::= aB                                                si             N::=aB en P

N ::= a                                                   si             N::=a en P

" C::=dN con N::= l          C::=d

§         Se eliminan:

a.        Tipos que aceptan sartas infinitas (formalizar mejor esta definicion)

b.       Producciones que nunca son accedidas desde S

Se sacan las siguientes producciones:

a.        S  No Genera aE  con aÎV_T^*

b.       C No Genera a con aÎV_T^*

Si N::= B ^ B ::= a con aÎV_N entonces se elimina N::=B y se pone N::=a