Examen Autmatas 2009

1. Sea L = {{ an bm cp / n>0, m par, p>=0} { an bm cn / n,m >=0}}

Segn las propiedades de los lenguajes demostrar cual es la clase
mas restringida a las que pertenece L
Respuesta: Hay que hacer el AFD para el primero, y encontrar la
gramtica de libre contexto para el segundo, luego se supone que hay
una propiedad que dice que un LR intersectado con un LLC es LLC
(debe estar en el cuaderno).
2. a.)Como transformar un lenguaje inherentemente ambiguo en uno
que no lo es?
Resp: No se puede (Justificar).
b.)Explicar diferencia entre una gramtica positiva y una que no lo
es. Como transformar una gramtica en positiva.
Resp: La gramtica positiva no tiene producciones nulas.
Calcular ncleo, etc. (esta en el cuaderno).
c.)Cmo eliminar recursividad izquierda inmediata?
3. Encontrar gramtica para los siguientes lenguajes, segn eso
determinar de que tipo son.
a.) L = { an bp cm d 3m / n,m,p>0, n>p }
(LLC)
n m p
b.) L = { a b c / (no me acuerdo de las condiciones)}
(LR)
4. Construir la Maquina de Turing para L = {( an bm )p / n>m, p>0 }
5. Explicar de dos maneras distintas como demostrara que el lenguaje
de la pregunta 3 a) es LSC. Usando una de estas formas demostrarlo.
Resp: Encontrando la GSC (pregunta 3) y construyendo el ALA
correspondiente.