2CM3

Teora Computacional

Alvarado Muoz Edgar

INSTITUTO
POLITCNICO
NACIONAL

ESCUELA
SUPERIOR
DE
CMPUTO
Grupo: 2CM3
Profesor: Edgardo Adrin Franco Martnez
Alumno: Edgar Alvarado Muoz
[Ejercicio 12]

2CM3

Teora Computacional

Alvarado Muoz Edgar

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 lados

Derivacin izquierda x Derivacin derecha
Siempre 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.

2CM3

Teora Computacional

Alvarado Muoz Edgar

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.

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

2CM3

Teora Computacional

Alvarado Muoz Edgar

Solucin::
1a.- No pertenece
2b.- Si pertenece
3c.- 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 pertenece
2b.- 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 a
2.- 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 a
3.- a+b+ Siempre generar al menos una a o muchas previo a una o varias b.
3)
Bibliografa
4

2CM3

Teora Computacional

Alvarado Muoz Edgar

Teora de Autmatas y Lenguajes Formales; Jurado Mlaga Elena; Manuales UEX,

Universidad de Extremadura; Cceres, Espaa