AMPLIACION DE LENGUAJES FORMALES Y AUTOMATAS CURSO 2009/2010 - BOLET DE EJERCICIOS IN

V ctor J. D Madrigal y Fernando Enr az quez de Salamanca Ros Departamento de Lenguajes y Sistemas Informticos a Universidad de Sevilla

EJERCICIO 1 Determinice los siguientes autmatas nitos: o M1 p0 p1 p2 p3 a p1 , p3 b p0 p1 , p2 p0 , p3 p1 , p2 , p3 p1 , p2 p2 p1 M2 p q r a p q r b q r c r p p q

p3

EJERCICIO 2 Obtenga un mtodo para eliminar las transiciones nulas de un AFND con transiciones e nulas. El resultado no tiene porque ser un AFD. Aplique el mtodo sobre los siguientes e autmatas: o M1 p0 p1 p2 p3 0 p0 p2 1 p1 , p2 p2 p3 M2 p0 p1 p2 p3 0 p1 p3 1 p3 p2 p1 , p2

EJERCICIO 3 Obtenga un mtodo para transformar un AFND sin transiciones nulas en su AFD e equivalente. Apl que el mtodo sobre los siguientes autmatas: e o

Curso 09/10: Ejercicios de ALFA M1 q0 q1 q2 q3 q4 a q1 q4 q1 , q2 q1 q4 b q1 , q2 q4 q4 q4 q4 c q3 q4 q4 q3 q4

M2 p0 p1 p2 p3

0 p1 , p3 p1 p3

1 p2 , p3 p3 p2

M3 p0 p1 p2 p3

a p1 p1

b p0 p2 , p3 p0

EJERCICIO 4 Obtenga el AFD m nimo equivalente a los siguientes autmatas: o M1 q0 q1 q2 q3 q4 q5 q6 a q2 q1 q0 q1 q4 q4 q5 b q4 q6 q5 q4 q6 q4 q5 c q1 q0 q2 q5 q5 q6 q4

M2 p0 p1 p2 p3 p4

a p1 p1 p1 p1 p1

b p2 p3 p2 p4 p2

M3 p0 p1 p2 p3 p4

0 p0 p1 p2 p3 p0

1 p4 p2 p2 p2 p2

EJERCICIO 5 Dado el AF M : M q0 q1 a q1 q0 b q0 q1

Obtenga la expresin regular simplicada del lenguaje L(M ) mediante el mtodo de o e anlisis de Kleene. a EJERCICIO 6 Obtenga el AF equivalente a la expresin regular ab(bb+aa)* mediante el mtodo de o e s ntesis de Kleene.

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 7 Elimine los s mbolos superuos de las siguientes gramticas: a 1. {S aAb | cEB | CE, A dBE | eeC, B f f | D, C gF B | ae, D h} 2. {S aB, A bcCCCdA, B e, C f A, D Dgh} 3. {S aAb, A ccC, B dd | D, C ae, D f, U gW, W h} 4. {S a | aA | B, A aB | , B Aa, D ddd}

5. {S AA, A ABa | ACa | a, B ABa | Ab | , C Cab, D Cd | CEa, E b}

EJERCICIO 8 Elimine las producciones nulas de las siguientes gramticas: a 1. {S aA | bA | a, A aA | bAb | } 2. {S AB, A aA | abB | aCa, B bA | BB | , C } 3. {S a | aA | B, A aB | , B Aa}

EJERCICIO 9 Elimine las reglas unitarias de las siguientes gramticas: a 1. {S Aa | Ba | B | S, A Aa | , B aA | BB | } 2. {S CBa | D, A bbC, B Sc | ddd, C eA | f | C, D E | SABC, E gh} 3. {S a | aA | B, A aB | , B Aa}

EJERCICIO 10 Obtenga la forma normal de Chomsky para las siguientes gramticas: a 1. {S ABC | BaB, A aA | BAC | aaa, B bBb | a, C CA | AC} Universidad de Sevilla V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA 2. {S AB | AC, A aAb | a, B bbA | aaB | AB, C abCa | aDb, D bD | aC} 3. {S AB | CA, A a, B BC | AB, C aB | b}

EJERCICIO 11 Dada una gramtica GIC G = (VT , VN , S, P ) decimos que es -libre si a 1. o bien P no incluye ninguna produccin nula o 2. o bien P incluye tan slo la produccin nula S y S no gura en el lado derecho o o de ninguna produccin de P o Demostrar que siempre es posible transformar una gramtica GIC en otra equivalente a que sea -libre. EJERCICIO 12 Decimos que una GIC G = (VT , VN , S, P ) est en forma normal de Greibach (FNG) a si todas sus producciones son de la forma A a con A VN , a VT y VN . Dada una cadena w L(G) de tamao n, indicar de forma razonada cuntas reglas deben ser n a aplicadas para determinar su pertenencia al lenguaje L(G). EJERCICIO 13 Algunos autores distinguen entre gramticas lineales y gramticas regulares. Si tea a nemos en cuenta dicha distincin, las gramticas lineales por la derecha son aquellas o a gramticas G = (VT , VN , S, P ) donde las producciones en P tan slo pueden ser de tres a o formas: (i) A xB (ii) A x o (iii) S con A, B VN y x VT+ . Demuestre que toda gramtica lineal por la derecha puede ser transformada en una gramtica regular por a a la derecha. Aplique dicha demostracin para obtener la gramtica regular por la derecha o a equivalente a la siguiente gramtica lineal por la derecha: a S 101A|101 A 2A|2

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 14

Sea una gramtica independiente del contexto G = (VT , VN , S, P ) en forma normal de a Chomsky en la que, dado un s mbolo A VN y una cadena w VT+ , se tiene que A w. Considerando que T es el rbol de anlisis para la derivacin anterior, pruebe que si la a a o longitud del camino (nmero de arcos) ms largo en T es n, entonces |w| 2n1 . u a EJERCICIO 15 Dada la gramtica a S AA|AS|b A SA|AS|a aplique el mtodo CYK para la entrada abaab e EJERCICIO 16 Dada la gramtica G: a S abA|B|baB| A bS|b B aS Obtenga el AP equivalente. EJERCICIO 17 Dado un AP cuya funcin de transicin viene denida por: o o (p, a, Z0 ) = (p, xZ0 ) (p, a, x) = (p, xx) (p, b, x) = (p, ) (p, , Z0 ) = (p, ) obtenga una GIC equivalente. EJERCICIO 18 Dados los dos AF M1 y M2 : Universidad de Sevilla V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA M1 q0 q1 q2 a q1 q0 q1 b q2 q0 q2 M2 p0 p1 p2 0 p1 p0 p1 1 p2 p0 p2

Calcule la expresin regular simplicada del lenguaje L(M1 ) y determine la relacin o o que existe entre los lenguajes L(M1 ) y L(M2 ). EJERCICIO 19 Discuta qu est mal en el siguiente razonamiento. Sabemos que cada uno de los e a siguientes conjuntos: , {ab}, {aabb}, {aaabbb}, . . . son lenguajes regulares. Puesto que la unin de lenguajes regulares es un lenguaje o regular, aplicando este resultado sobre los lenguajes anteriores llegamos a la conclusin o n n de que tambin ser regular el lenguaje denido como {a b | n 0}. e a EJERCICIO 20 Justique que est mal en el siguiente razonamiento. Sabemos que 0n con n > 0 es a un lenguaje regular y que la sustitucin de lenguajes regulares es una operacin cerrada. o o n Puesto que {a | n > 0} es un lenguaje regular, aplicando la sustitucin s(0) = an , o tendr amos que {(an )n | n > 0} es un lenguaje regular. EJERCICIO 21 Pruebe que la unin, concatenacin, cierre de Kleene, interseccin y complementacin o o o o de lenguajes regulares son operaciones cerradas. EJERCICIO 22 Dados dos autmatas nitos deterministas M 1 y M 2, dena un nuevo autmata nito o o determinista M 3 que acepte al menos una palabra si y slo si L(M 1) = L(M 2). Podemos o observar que el autmata M 3 puede ser utilizado para decidir si dos autmatas nitos o o son equivalentes. Universidad de Sevilla V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA

(Nota: Para la denicin de M 3 tenga en cuenta que todo lenguaje regular puede o ser reconocido por un autmata nito determinista y que las operaciones de interseccin, o o unin y complementacin son cerradas para la clase de lenguajes regulares). o o EJERCICIO 23 Dado dos autmatas nitos deterministas: o M1 = (, Q1 , q1 , F1 , 1 ) M2 = (, Q2 , q2 , F2 , 2 ) podemos construir otro autmata nito M 3 = (, Q1 Q2 , [q1 , q2 ], F1 F2 , ) cuya o funcin de transicin se dene: o o : (Q1 Q2 ) (Q1 Q2 ) tal que ([p1 , p2 ], a) = [1 (p1 , a), 2 (p2 , a)] Qu relacin existe entre los lenguajes reconocidos por los autmatas M1 , M2 y M3 ? e o o (Nota: El par [p, q] representa un elemento del producto cartesiano P Q) EJERCICIO 24 Pruebe que la unin, concatenacin y cierre de Kleene de lenguajes independientes del o o contexto son operaciones cerradas. EJERCICIO 25 Dada una gramtica independiente del contexto G = (VT , VN , S, P ) y, considerana a do denida una gramtica independiente del contexto Ga = (VTa , VN , S a , P a ) para cada a s mbolo terminal a VT , dena la gramtica independiente del contexto resultante de a a aplicar la sustitucin s(a) = L(G ) para cada a VT . o EJERCICIO 26 Pruebe con un contraejemplo que la interseccin de lenguajes independientes del cono texto no es una operacin cerrada. Apoyndose en el resultado anterior demuestre que o a la complementacin de lenguajes independientes del contexto tampoco es una operacin o o cerrada.

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 27 Obtenga las clases de equivalencia M1 y M2 para los siguientes AFD M1 y M2 : M2 p0 p1 p2 p3 p4 p5 a p1 p5 p3 p5 p5 p5 b p2 p4 p2 p4 p4 p5

M1 p0 p1 p2

a p1 p1 p2

b p2 p1 p2

EJERCICIO 28 Demostrar que la relacin M donde M es un AFD que acepta un lenguaje regular es o una relacin invariante por la derecha y de o ndice nito. EJERCICIO 29 Demostrar que si L es la unin de alguna de las clases de equivalencia generadas o por una relacin sobre invariante por la derecha y de o ndice nito entonces para cada u, v se cumple u v u L v EJERCICIO 30 Apoyndose en el teorema de Myhill-Nerode demostrar que los siguientes lenguajes no a son regulares: 1. L = {ai bj ck | k > i + j} 2. L = {x {a, b} | ningn prejo de x contiene ms bs que as} u a

EJERCICIO 31 Dado un AFD M = (, Q, q0 , F, ) decimos que p, q Q

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA

son equivalentes (indistinguibles), pEq, si para cualquier cadena w se cumple (p, w) F sii (q, w) F son equivalentes en longitud n, pEn q, si para cualquier cadena w con |w| n se cumple (p, w) F sii (q, w) F Demostrar que las relaciones E y En son de equivalencia y que cumplen las siguientes propiedades: 1. pEq implica pEn q para cualquier n 2. pEn q implica pEk q para cualquier k < n 3. Cuntas clases contiene E0 ? Cules son? a a

EJERCICIO 32 Demuestre, aplicando el lema del bombeo para lenguajes regulares, que los siguientes lenguajes no son regulares: 1. {ai bi | i 0} 2. {xk+j y k z k | k 0 y j 1} 3. {ai bj ci | i j 1}

EJERCICIO 33 Demuestre, aplicando el lema del bombeo para lenguajes independientes del contexto, que los siguientes lenguajes no son incontextuales: 1. {(a + b + c) | con igual nmero de s u mbolos a, b y c} 2. {ak bj | j, k > 0 y j = k 2 }

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 34

10

Obtenga la mquina secuencial de Mealy equivalente a cada una de las siguientes a mquinas de Moore: a M O1 q0 /a q1 /a q2 /b q3 /c 0 q3 q1 q3 q1 1 q2 q3 q2 q3 M O2 q0 /a q1 /b q2 /a q3 /a a q1 q1 q1 q0 b q0 q3 q2 q0 M O3 q0 /1 q1 /1 q2 /0 q3 /1 q4 /1 a q1 q4 q2 q1 q4 b q2 q4 q4 q4 q4 c q3 q4 q4 q3 q4

EJERCICIO 35 Obtenga la mquina secuencial de Moore equivalente a cada una de las siguientes a mquinas de Mealy: a M E2 q0 q1 q2 a b q1 /a q2 /a q1 /b q0 /a q1 /a q2 /a M E3 q0 q1 q2 q3 0 1 q0 /a q3 /b q1 /b q2 /a q2 /a q2 /a q3 /b q2 /a

M E1 q0 q1

a b c q1 /1 q0 /1 q1 /1 q0 /0 q1 /0 q0 /0

EJERCICIO 36 Demuestre que cualquier autmata nito determinista puede ser transformado en una o mquina secuencial de Moore. Basndose en la demostracin, construir la mquina de a a o a Moore asociada al siguiente autmata: o M a q0 q 1 q1 q 2 q2 q0 b q2 q1 q1

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 37

11

Generalice el mtodo de minimizacin de autmatas nitos a mquinas secuenciales y e o o a obtenga la mquina secuencial m a nima equivalente a M . M q0 q1 q2 q3 0 1 q3 /a q2 /b q3 /a q1 /b q0 /b q1 /a q0 /a q2 /b

EJERCICIO 38 Las mquinas secuenciales pueden ser extendidas para admitir la lectura o escritura de a la cadena nula. Usando esta caracter stica, disee una mquina de Mealy sobre el alfabeto n a de entrada = {a, b} para las siguientes tareas: 1. Produzca la salida an , donde n es el nmero de veces que aparece el s u mbolo a en la cadena de entrada 2. Produzca la salida an , donde n es el nmero de veces que aparece la subcadena ab u dentro de la cadena de entrada

EJERCICIO 39 Disee un mquina de Mealy sobre el alfabeto de entrada = {a, b} de forma que para n a una entrada w produzca una salida v en la que su s mbolo i-simo ser 1 si los s e a mbolos i-simos e (i 1)-simos de w son iguales, y ser 0 en caso contrario. El primer s e e a mbolo de v ser siempre 1. a EJERCICIO 40 Disee una mquina secuencial de Moore capaz de ir calculando las sumas parciales n a de los nmeros que va recibiendo con objeto de producir como salida el mdulo 5 de dicha u o suma parcial. Por ejemplo, dada la entrada 642531, las sumas parciales ser an: 6, 10, 12, 17,20 y 21. Ante estas cantidades la salida obtenida ser 102201. a:

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 41

12

Disee una mquina secuencial de Mealy para modelar el comportamiento de una n a mquina expendedora de tres productos P1, P2 y P3 cuyos respectivos precios son 10, 30 a y 50 cntimos. La mquina tan slo admite monedas de 10, 20 y 50 cntimos, y tiene e a o e cuatro botones, de los cuales tres son para solicitar cada uno de los productos y uno es un botn para cancelar la operacin efectuada devolviendo todo el dinero introducido. El o o comportamiento de la mquina est sujeto a las siguientes restricciones: a a 1. La mquina no puede memorizar una cantidad de dinero que sobrepase la cantidad a del producto ms caro. a 2. El producto no ser dispensado hasta que no se haya introducido suciente dinero a para su compra. La cantidad sobrante no ser devuelta para que pueda ser utilizada a para una nueva seleccin o devuelta en caso de cancelacin. o o

EJERCICIO 42 Disee una mquina secuencial de Moore para modelar el comportamiento de una n a lavadora con programas PA y PB . El programa PA incluye cuatro tareas (T 1, T 2, T 3, T 4) y el programa PB incluye tres tareas (T 5, T 6, T 7). Las tareas T 1, T 2 y T 5 son lavados de distinta duracin, las tareas T 3 y T 6 realizan aclarados, y las tareas T 4 y T 7 efectan o u centrifugados. La lavadora permite lavar con agua fr o caliente, y en cada momento a muestra qu tarea est ejecutando. El modo en que se comporta la lavadora est sujeto a e a a las siguientes restricciones: 1. El cambio de temperatura no paralizar la ejecucin de ninguna tarea. a o 2. En cualquier momento puede ser detenida la ejecucin de cualquier tarea. o 3. Los programas slo pueden comenzar con tareas de lavados. o 4. Dentro de un programa podemos cambiar a voluntad el orden de sus tareas. 5. No est permitida la ejecucin consecutiva o mezclada de tareas pertenecientes a a o distintos programas. Una accin de esta o ndole paralizar la ejecucin de la tarea a o en curso.

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 43

13

Demostrar que para todo autmata nito existe otro autmata nito probabil o o stico equivalente. Basndose en dicha demostracin, construir el autmata nito probabil a o o stico equivalente al siguiente autmata nito: o M 0 q0 q 0 q1 q 1 q2 q2 1 q2 q2 q1

EJERCICIO 44 Dado el siguiente autmata nito probabil o stico M = ({a, b}, {q1 , q2 , q3 }, , A) donde A= {A(a), A(b)} y F = {q2 , q3 } A q1 *q2 *q3 1/3 1/3 1/3 A(a) A(b) 1/3 1/3 1/3 1/2 1/2 0 1/2 0 1/2 1/3 2/3 0 0 1 0 0 0 1

1. Calcule el vector de estados para la entrada ab 2. Comprobar si la entrada aba pertenece a L(M ) considerando un umbral = 0,5

EJERCICIO 45 Un determinado robot est diseado para desplazarse por una biblioteca con tres salas a n comunicadas entre s Los movimientos que tiene capacidad de realizar son tan slo hacia . o la izquierda (I) o hacia la derecha (D). Dichos movimientos son poco precisos por lo que partiendo de una sala s, y realizando una misma secuencia de movimientos, no se garantiza que se llegar a una misma sala s. El robot termina su recorrido con xito cuando termina a e en la sala tercera s3 tras recibir una secuencia de ordenes de movimientos a izquierda o derecha. El recorrido aleatorio que ha efectuado hasta el momento ha sido el siguiente: Universidad de Sevilla V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA

14

s1 s2 s1 s3 s2 s1 s3 s3 s1 s1 s3 s2 s1 Describe un autmata nito probabil o stico que responda al comportamiento del robot, y a partir de dicho modelo, contesta a las siguientes preguntas: 1. Si empieza en la sala s2 , y efecta dos movimientos a la derecha, tendr xito el u ae robot? 2. Si empieza con igual probabilidad en la sala s1 o s3 , y efecta un movimiento a la u derecha seguido de otro a la izquierda, dnde terminar o a?

EJERCICIO 46 Sea M = ({a, b}, {q0 , q1 }, , A) un autmata nito probabil o stico con F = {q1 } tal que para toda cadena w (ab) se verica que P (w) = siendo el vector inicial y P (w) el vector de estados para w. Qu relacin existe entre las matrices de transicin incluidas e o o en A?. EJERCICIO 47 Disee una cadena de Markov capaz de modelar el comportamiento climtico de una n a comarca donde tras un amplio estudio se ha llegado a la conclusin de que si un d hace o a sol en el 70 por ciento de los casos el d siguiente tambin har sol, y si un d hay nubes a e a a en el 60 por ciento de los casos el d siguiente har sol. A partir del modelo se desea a a saber: 1. Qu probabilidad existe de que los d se mantengan nublados de un d para e as a otro? 2. Si hoy amanece con nubes, con qu probabilidad pasado maana estar nublado? e n a 3. Qu probabilidad hay de haga tres d seguidos sol? e as

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA EJERCICIO 48

15

Se ha realizado un estudio acerca del modo en que botan dos tipos de bolas de goma - A y B - sobre un mismo tapete vallado. Para delimitar con precisin los botes se ha o dividido el tapete en dos regiones colindantes: R1 y R2 . De esta forma un bote puede ser representado por un par ordenado de regiones no necesariamente distintas: la regin o donde se origin el bote y la regin donde naliz el mismo. Para cada tipo de bola se han o o o realizado varios experimentos independientes en los que se anotaron la secuencia de botes efectuada por una bola que al comienzo se dejaba caer en la regin R1 . Las conclusiones o del estudio son las siguientes: 1. Los botes de las bolas de tipo A se mantienen en la regin R1 el doble de veces que o se mantienen en la regin R1 las de tipo B o 2. Los botes de las bolas de tipo A cambian de la regin R2 a la R1 un tercio de las o veces que cambian de la regin R1 a la regin R2 las de tipo B o o 3. Los botes de las bolas de tipo B se mantienen en la regin R1 tan slo una de cada o o diez veces 4. Los botes de las bolas de tipo B se mantienen en la regin R2 el doble de veces que o se mantienen en la regin R1 las de tipo A o Disee un modelo de autmatas para responder las siguientes cuestiones: n o con qu probabilidad acabarn las bolas de tipo A en la regin R2 tras botar dos e a o veces? son correctas las secuencias de dos botes considerando que el umbral de rechazo de secuencias de botes que acaban en la regin R1 para el caso de los bolas de tipo B o es de 0.4? qu tipo de bola es la que realizar con mayor probabilidad la secuencia de botes e a que sucesivamente pisan las siguientes regiones R1 R1 R2 R1 R2 ?

EJERCICIO 49 La plataforma de una ruleta de casino est dividida en 21 sectores numerados del 0 al a 20 y coloreados en verde, rojo o negro. La correspondencia entre colores y nmeros es la u que gura en la tabla:

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA Color Verde Rojo Negro Nmero u 0 1,3,5,7,9,12,14,16,18,19 2,4,6,8,10,11,13,15,17,20

16

Suponga que la ruleta est trucada de forma que no es posible que una bola caiga tres a veces seguidas en un sector del mismo color. Disee un modelo markoviano para simular n la ruleta y calcule la probabilidad de que la bola caiga sucesivamente en los nmeros u 0,0,1,9,6. EJERCICIO 50 Calcule la funcin de transicin normal y diferencial para el siguiente autmata celular o o o de McCulloch-Pitts: Clula e A B Entradas Umbral Salida a, r 1 rA A b, rA , r 2 rB = r B

EJERCICIO 51 Dado el siguiente autmata celular de McCulloch-Pitts: o Clula e A B Entradas Umbral Salida a, rA 1 rA b, rA , rB 2 rB = r

construya su autmata nito determinista equivalente y obtenga la expresin regular. o o Considere que el autmata es de activacin unica, es decir, que de todas sus entradas tan o o slo puede estar activa una en cada instate. o EJERCICIO 52 Dado el siguiente autmata celular de McCulloch-Pitts: o Clula e A B C D E Universidad de Sevilla Entradas Umbral Salida a, rA 1 rA b, rA 2 rB a 1 rC b, rC , rD 2 rD rB , rD 2 rE = r V ctor J. D y Fernando Enr az quez

Curso 09/10: Ejercicios de ALFA

17

construya su autmata nito determinista equivalente. Considere que el autmata es o o de activacin unica, es decir, que de todas sus entradas tan slo puede estar activa una en o o cada instate. A la hora de construir el autmata elimine los estados que nos son accesibles. o EJERCICIO 53 Obtenga el autmata celular de McCulloch-Pitts equivalente al siguiente autmata o o nito: M a b p q r q p r q s s q

Universidad de Sevilla

V ctor J. D y Fernando Enr az quez