Septiembre 2007

U.R.J.C.
Ingeniera Tecnica en Informatica de Sistemas
Ingeniera Informatica
Teor

a de Aut

omatas y Lenguajes Formales /

Aut

omatas y Lenguajes Formales

2ndo. Parcial
Normas :
La duracion de esta parte del examen es de 2 horas y 15 minutos.
Todos los ejercicios se entregaran en hojas separadas.
El examen tipo test cuenta hasta 2 puntos sobre la nota total.
1. (2 puntos) Consideremos el alfabeto nito := {0, 1, 2}, y sea L

el lenguaje
denido por la siguiente igualdad :
L := {0
p
1
q
2
pq
| p, q 0} .
Es L un lenguaje independiente del contexto?. Razona la respuesta.
2. (a) (0.7 puntos) Dise na una gramatica independiente de contexto que genere el
siguiente lenguaje:
L = {w | w {a, b, c, (, ), {, }, [, ], <, >}

y en w las parejas de parentesis, cor-

chetes, llaves y angulos estan bien formados}
Ejemplos:
w = ab(a) L; x = (bc)a[b] L; y = ((a[a]{b})) L; z = (a{)b} / L
(b) (0.3 puntos) Genera las palabras w = ab(a); x = (bc)a[b]; y = ((a[a]{b})) con la
gramatica obtenida en el apartado a) de este ejercicio.
(c) (0.7 puntos) Transforma la gramatica independiente de contexto L (obtenida
en el apartado a) de este ejercicio) en un automata de pila. Utiliza el algoritmo
visto en el temario del curso.
(d) (0.3 puntos) Describe la secuencia de descripciones instantaneas del automata
de pila para el reconocimiento de las palabras
w = ab(a); x = (bc)a[b]; y = ((a[a]{b})).
3. (2 puntos) Consideremos el alfabeto nito := {0, 1, 2}, y sea L

el lenguaje
denido por la siguiente igualdad :
L := {0
p
1
q
2
r
| r = (q mod 4) + p} .
Es L un lenguaje independiente del contexto?. Razona la respuesta.
Pagina 1 de 2
Examen Teora de Aut omatas y Lenguajes Formales - 2ndo. Parcial (cont.)
4. (2 puntos) Dados dos n umeros naturales x, y N, se dene la operacion modulo
como el resto de la division entera de x entre y; se denota como x mod y, y cumple
que 0 (x mod y) < y. Dise na una maquina de Turing que calcule dicha funcion.
f : NN N
f(x, y) = x mod y x, y N e y > 0
Explica su funcionamiento y el algoritmo que has utilizado para resolver la
funcion.
Se deberan tener en cuenta los siguientes aspectos:
La codicacion a utilizar, para todos los n umeros, sera una codicacion natu-
ral (es decir, cada n umero estara representado por tantos unos como su valor
natural). As, la codicacion del n umero 3 sera: 111, la del 4: 1111, etcetera.
En la cinta tendremos como entrada el dividendo x, un asterisco y el divisor y.
Tanto el dividendo como el divisor seran siempre mayores o iguales a 1. En caso
de que el resto de la division sea cero la cadena debe quedar vaca.
Al nalizar el computo en la cinta solo quedara la solucion y, ademas, el cabezal
de la maquina de Turing debera apuntar al primer caracter de la misma.
q
0
111111 1111

q
f
11
q
0
11111 11

q
f
1
q
0
111 111

q
f

q
0
111 1111

q
f
111
Pagina 2 de 2