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.

Las derivaciones se puede hacer por ambos ladosDerivacin izquierda x Derivacin derechaSiempre es aplicable en nuestro proceder por llevar un orden desde el primero al ltimo (refirindonos a la derivacin por la izquierda), pero donde es ms complicado y por ello menos usual es verificar la derivacin por la derecha. Si bien podremos generar una palabra pero se tendr que desplegar toda ya que no hay una en especfico que nos haga mencin de que no hay coincidencia de la regla y con ello se puede definir su falta de uso.Varias maneras de derivacin como son los arboles de derivacin son de gran ayuda ya que no son de gran complejidad (siempre y cuando el lenguaje usado no sea del todo extenso sino sintetizado. Adems un rbol de derivacin no podr darse a definir si no es para una gramtica de tipo 1 o 2 y 3.Sus caracterstica son:Nodo raz.- smbolo inicial de una gramtica.Hoja.- smbolo terminal.Nodo interior (conformador de la rama).- smbolo no terminal.Algo para lo que sirve de mucho un rbol de derivacin es para la correcta observacin de la ambigedad. La ambigedad lleva a la terrible confusin de llegar a un mismo resultado por dos caminos (Esto generara errores a futuro si es que no se verifica esto antes). Si se puede obtener la misma cadena de dos arboles distintos que hagan referencia a alguna gramtica, denotar que es ambiguo.

Ejercicios1) Dadas las siguientes gramticas, de la tabla de derivaciones para comprobar la perteneca de las cadenas dadas.

Solucin::1a.- No pertenece2b.- Si pertenece3c.- No pertenece

El porque es muy simple, sea interpretada por tabla o rbol, claramente encontraremos despus de evaluar las reglas exp y term que solo siempre se podr empezar del lado izquierdo como inicio con un opsum o un nmero. Siendo todos los casos un nmero despus da algn nmero deber una cifra ms grande o algn parntesis con algo dentro), siempre se obtiene de acuerdo a la gramtica un smbolo de multiplicacin.

2a.- Si pertenece2b.- Si pertenece 2c.- No pertenece

Sea interpretada por tabla o rbol, claramente encontraremos despus de evaluar las reglas S y B que solo siempre se podr empezar del lado izquierdo como inicio con una b no con alguna a.

2) Dadas las siguientes gramticas, tipo 3 encuentre la expresin regular que reconocen

Solucin::

1.- a+ Siempre se podr retornar al estado inicial pero escribiendo una a2.- a*b* | b* Siempre podr o no escribir una o ninguna a seguido de una varias o ningunas a o b. Si bien podr igual generar una cadena de varias o ninguna b sin necesidad de a3.- a+b+ Siempre generar al menos una a o muchas previo a una o varias b.

3)

Bibliografa

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

1