2CM3Teora ComputacionalAlvarado Muoz EdgarINSTITUTO POLITCNICO NACIONAL

Grupo: 2CM3

Profesor: Edgardo Adrin Franco Martnez

Alumno: Edgar Alvarado Muoz

[Ejercicio 12]

ESCUELA SUPERIOR DE CMPUTO

Introduccin

Una gramtica limpia y bien formada es aquella que facilita el tratamiento y deteccin de manera ptima, a la hora de ser impuesta en algn lenguaje (como en los lenguajes de programacin). Para construir una gramtica adecuada se debe verificar que la escritura de las reglas de produccin de la gramtica sean correctas, sin olvidar algo importante como lo es su validez.Las reglas no deseadas son:No Generativas: U , ejemplo de una regla no generativa. Si el lenguaje es representado por una gramtica que no contiene la palabra vaca es posible eliminar todas las reglas no generativas. Por el contrario, se deber admitir la regla S, donde S es el smbolo inicial.Re denominacin: A B es una regla de re denominacin.Innecesaria : A b, ejemplo de una regla innecesaria si A no hace parte del lado derecho de otra regla. A es un smbolo inaccesible.Con smbolos No Generativos: Dada la gramtica G= (N, , S, P), para cada smbolo A contenido en N se construye una gramtica G, G(A)=(NA, A, A, PA), si L(G(A)) es vaco, entonces A es un smbolo no generativo, ya que todas las reglas de A son no generativas.Superfluas: Dada la gramtica G = ( {a,b}, { S, A, B}, S, {S AB, A Aa|a, B Bb} ), la regla B Bb ser una superflua porque no puede derivar una cadena que solo contenga smbolos terminales, ya que debido a la existencia del smbolo B no generativo en el lado derecho de la produccin.

Ejercicios

Solucin

Bibliografa

Teora de Autmatas y Lenguajes Formales; Jurado Mlaga Elena; Manuales UEX, Universidad de Extremadura; Cceres, Espaa

1