Universidad Nacional de Salta

Facultad de Ciencias Exactas

Teora de la Computacion I
4 de mayo de 2013

Lic. en Analisis de Sistemas

Primer parcial: Lenguajes regulares

Apellido y nombre:
BLOQUE I
Ej 1(20 pts.) Ej 2(30 pts.)

L.U.:
Teora

Ej 3(16 pts.)

BLOQUE II
Ej 4(16 pts.) Ej 5(10 pts.)

Ej 6(8 pts.)

Practica

Nota final

Se debe obtener un mnimo de 30 puntos en cada bloque para aprobar el examen.

Bloque te
orico
Ejercicio No 1.
(a). Defina smbolos u
tiles de una GLC.
(b). Defina los lemas de simplificaci
on que permiten eliminar smbolos in
utiles. Muestre sus algoritmos. Explique
c
omo se relacionan estos lemas con la definicion de smbolos u
tiles.
(c). Demuestre el lema que permite la eliminacion de variables que no generan cadenas finitas.
Ejercicio No 2. Indicar V o F para las siguientes afirmaciones. Justifique su respuesta, mostrando una definicion o
ejemplos seg
un corresponda.
(a). Sea G una gram
atica definida por G = (V, T, S, P ) donde V es un conjunto no vaco de variables sint
acticas, T un
conjunto finito no vaco de smbolos terminales, S la variable inicial y P el conjunto de producciones. G es una
GLC si las producciones tienen la forma A , donde (V T ) .
(b). Si la produccion est
a en P y , (V T ) , llamadas formas sentenciales, entonces deriva en mas
de un paso de A, es decir A .
(c). Los vertices de un
arbol de derivaci
on o arbol de analisis sint
actico se etiquetan con variables sint
acticas o
terminales. En particular, los vertices finales de un arbol se etiquetan con terminales o la cadena vaca y son
llamados hojas del
arbol y los vertices internos solo se etiquetan con variables sint
acticas. Si existe un nodo
llamado A y sus hijos son X1 , X2 , ..., Xn entonces deben existir las producciones A 1 X1 1 |2 X2 2 |...|n Xn n .
(d). Una gram
atica que se encuentra en FNC tiene sus producciones de la forma A a, con A V , a T y V .
(e). Dada una GLC G, existe un AP M tal que L(M ) = L(G). Si esto es cierto, muestre un ejemplo.
(f). Cada movimiento de una MT depende: del estado actual y el smbolo ledo por el cabezal. El movimiento puede
hacer dos cosas: cambiar el estado actual y escribir un smbolo en la cinta, reemplazando el smbolo actual de una
celda.

Bloque pr
actico
Ejercicio No 3. Definir una GLC que genere el siguiente lenguaje:
L = {an bm cn |2 n m 3n}
Ejercicio No 4. Definir un AP que acepte el siguiente lenguaje y muestre la traza para las cadenas ((aaaa)) y ((a))
L = {(n am )p |n = p m 2}
Ejercicio No 5. Construir una MT que incremente en 1 el contenido de su entrada expresada en binario. Por ejemplo:
entrada: 11001, salida: 11010; entrada: 111, salida: 1000.
Ejercicio No 6. Realice una corrida del algoritmo del lema demostrado en el ejercicio 1 para la siguiente gram
atica:
S
A
B
C

aBC|bAC
aA|aAB|aAC
bB|b
cCc|CC