Para cada una de las siguientes gramáticas, generar la gramática bien formada correspondiente,

es decir, eliminando Reglas no Generativas y Reglas de Redenominacion.

 Ejercicio 1:

Resolución:

 Primero debemos limpiar la gramática

Reglas innecesarias:     (P:= P)

Símbolos inaccesibles: (P:= aM / zN)

Símbolos superfluos no terminales: no hay

Símbolos superfluos terminales: no hay

Eliminación de Reglas no Generativas:

 Ejercicio 2:

Resolución:

Primero debemos limpiar la gramática:

Reglas innecesarias:     (B:= B)

Símbolos inaccesibles: no hay

Símbolos superfluos no terminales: no hay

Símbolos superfluos terminales: (z)

Eliminación de Reglas no Generativas:

Reglas de Redenominación:

 Ejercicio 3:

 Resolución:

 Primero debemos limpiar la gramática:

Reglas innecesarias:     (B:= B)

Símbolos inaccesibles:  (D:= a)  /  (C:= aC)

Símbolos superfluos no terminales: no hay

Símbolos superfluos terminales: (c, d)

 Reglas de Redenominación: no hay

“Recuerde que  para que una gramática se encuentre bien formada, primero debe estar limpia”