Prctica 1

Autmatas, Gramticas y Lenguajes Elena Gaudioso Vzquez y Toms Garca Saiz

Introduccin
La prctica tendr una ponderacin del 15 % de la nota denitiva de la asignatura, siempre que se obtenga una nota superior o igual a 5 puntos en la prueba presencial. La prctica slo podr entregarse utilizando la aplicacin de Tareas de los cursos virtuales. La entrega de la misma ser un archivo comprimido, en formato *.zip, nombrado como Apellido1 Apellido2, Nombre (DNI).zip. El archivo comprimido deber contener un archivo *.jff, que es el resultado del programa JFLAP, por cada uno de los ejercicios que componen la prctica. Cada archivo *.jff debe nombrarse como NombreApellido1_ej<numejercicio>.jff donde <numejercicio>ser el nmero del ejercicio que corresponda (1,2,3,4,5,6,7,8,9 o 10). Cualquier prctica que no se entregue siguiendo estas instrucciones ser considerada NO APTA y evaluada con una nota de 0 puntos. Cada uno de los ejercicios de la prctica ser evaluado con una nota comprendida entre {0..1}. Si el autmata entregado no est correctamente denido ser evaluado con un cero. Para la evaluacin de cada autmata correctamente denido se utilizar un juego de pruebas y la nota ser proporcional al nmero de pruebas que superen correctamente. Debemos recordar al alumnado que las prcticas son personales, por lo tanto, est completamente prohibido la entrega por mltiples alumnos de la misma prctica. En el caso de detectarse dos o ms prcticas iguales, ambas prcticas sern consideradas NO APTA y evaluadas con una nota de 0 puntos. Adems, se informar al vicerrectorado de alumnos.

Autmatas nitos
Ejercicio 1
Dado el alfabeto = {x, y, z }, construir un autmata nito determinista que solamente reconozca todas las palabras que cumplan las siguientes condiciones: Nmero de x [0 . . . 2] Nmero de y = 3*x +2, donde x es el nmero de xs presentes en una determinada cadena.

Ejercicio 2
Dado el alfabeto = {(, ), {, }, [, ]}, construir un autmata que solamente reconozca todas las palabras de 4 letras con los parntesis, corchetes y llaves 1

correctamente escritos. Es decir, por cada parntesis, llave o corchete abierto debe haber uno cerrado adecuadamente.

Ejercicio 3
Construir el autmata nito con cuatros estados que reconozco el lenguaje cuya expresin regular es: (ab ba ) (ba ab )

Ejercicio 4
Construir el autmata nito que reconozca el lenguaje generado por la siguiente gramtica: 1. S aA 2. A b 3. A bA 4. A bS 5. A aB 6. S bB 7. B a 8. B aB 9. B aS 10. B bA

Ejercicio 5
Dado el lenguaje L representado por la gramtica siguiente. Construir un autmata nito determinista que reconozca el lenguaje L = L . 1. S 2. S aS 3. S bS 4. S aA 5. S bB 8. A aS 9. A aB 12. B bS 13. B bA 6. A 7. A bA 10. B 11. B aB

Autmatas a Pila
Ejercicio 6
Dado el alfabeto = {x, y, z }, construir un autmata a pila con 6 estados, o menos, que reconozca el lenguaje formado por todas las palabras que cumplen las siguientes condiciones: Nmero de x [0 . . . 2] Nmero de y = 3*x +2 donde x es el nmero de xs de la palabra Nota: Se permite introducir mltiples elementos en la pila en cada transicin.

Nota 2: Utizaremos el smbolo # para indicar al autmata que se ha terminado la entrada, por lo tanto siempre ser el ltimo elemento de la entrada, y el autmata no tendr en cuenta todo lo que venga a continuacin de dicho smbolo.

Ejercicio 7
Dado el alfabeto = {a, b, c}, construir un autmata a pila que compruebe si dos cadenas consecutivas de cinco letras cada una, son iguales.

Ejercicio 8
Construir el autmata a pila que reconozca el lenguaje generado por la siguiente gramtica: 1. S ACCS 2. S BSCC 3. S CC 4. A a 5. B b 6. C c

Ejercicio 9
Para denir el lenguaje de este ejercicio vamos a utilizar el concepto slaba. Vamos a denir una slaba, como cualquier combinacin posible de 4 elementos del alfabeto. Adems, vamos a denir una palabra vlida del lenguaje, como la concatenacin de cualquier cantidad de slabas vlidas. Pedimos construir un autmata a pila que compruebe para cada cadena de entrada: 1. Que la palabra pertenezca al lenguaje. 2. Que la palabra contenga exactamente 4 slabas. 3. Que la primera y la tercera slaba , o que la segunda y la cuarta slaba formen un palndromo. El alfabeto del lenguaje es = {a, b, c}.

Ejercicio 10
Construir un autmata a pila determinista que reconozca el lenguaje denido por la siguiente gramtica: 1. S SS 2. S xy 3. S yx 4. S xyS 5. S yxS 8. S Sxy 9. S Syx 6. S xSy 7. S ySx