1. EJERCICIOS TEMAS 1 Y 2.

Transcripción

1 . EJERCICIOS TEMAS Y 2... Construir un analizador para direcciones web del tipo donde nombrededominio es cualquier palabra escrita en caracteres latinos de longitud máxima cinco letras y longitud mínima de dos letras y extensión es cualquiera de las terminaciones {es, edu, net}. Se debe procurar que la tabla tenga el menor número de columnas posible..2. Hallar el AFD mínimo y una gramática para el lenguaje dado por la expresión regular r = (a+bc)bc+a(b+c).3. Sea Σ {, } = y sea L = {cadenas que contienen al menos tres unos}. Se pide: a) Encontrar un AFD cuyo lenguaje sea L b) Escribir las ecuaciones regulares que permiten obtener una expresión regular para ese lenguaje. c) Dar un analizador léxico para ese lenguaje (la tabla y un algoritmo)..4. Construir un analizador léxico de las matriculas canarias antiguas. Se permiten los formatos: TF-24-A, GC-243-GC para matriculas con dos letras finales como mucho se llegó a doblar la G, en ambas provincias. Ejemplo: TF234-TH no es válida porque le falta el guión después del prefijo provincial TF y porque las dos últimas letras son TH y hemos dicho que lo más lejos que se llegó es hasta GZ..5. Encontrar el AFD mínimo y una expresión regular para el lenguaje de la gramática S:= xa / ya / x / zc / A:= ya / xb / zc / x B:= zb / zc / xs / y / z C:= x / y / z.6. Dada la gramática regular A:= A/ C / B:= C /D C:= A / B / D:= B / a) Construir el autómata determinista mínimo equivalente b) Obtener una expresión regular que describa su lenguaje..7. Dada la expresión regular r = (ab+c)(aa+bb) Inmaculada Luengo U.L.P.G.C.

2 a) Construir un autómata finito sin -transiciones cuyo lenguaje sea el definido por la expresión regular r b) Dar todas las palabras de dicho lenguaje que tengan longitud menor o igual que cuatro..8. Dada la expresión regular + r = (( 2) 3) a) Hallar el autómata finito determinista mínim o cuyo lenguaje viene dado por la expresión regular r. b) Dar todas las palabras de longitud menor o igual que cuatro del lenguaje denotado por r..9. Sobre el alfabeto Σ = {, } sea L = {cadenas que contengan la secuencia }. Construir a) Un autómata finito determinista que acepte dicho lenguaje. b) Una expresión regular de L. c) Un analizador léxico para L... Sea Σ = {, } y sea L ={cadenas que contienen un nº de ceros múltiplo de 3} a) Encontrar un AFD cuyo lenguaje sea L b) Escribir las ecuaciones que permiten obtener una expresión regular para ese lenguaje. c) Dar un analizador léxico para ese lenguaje (la tabla y un algoritmo)... Dada la expresión regular r = ( + ) ( + ). Encontrar el Autómata Finito Determinista mínimo que lo tiene como lenguaje..2. Construir un analizador léxico para los números de teléfono canarios: empiezan siempre por 928 o 828 los de Las Palmas y 922 o 822 los de Tenerife, seguidos de 6 dígitos, el primero de los cuales no puede ser un cero. Ejemplo: es un teléfono incorrecto, porque a pesar de que el prefijo es uno de los admitidos de la provincia de Las Palmas, el primero de los seis dígitos es un cero; es un teléfono incorrecto, porque empieza por 923, que no es ninguno de los prefijos admitidos..3. Hallar el autómata finito determinista mínimo equivalente al siguiente AF 2 Inmaculada Luengo U.L.P.G.C.

3 a p a,b q t b r a b b s a a.4. Hallar un AFD para el lenguaje L= palabras con, como mucho, dos símbolos Σ =, consecutivos iguales, sobre el alfabeto { }.5. Dar un analizador léxico para el lenguaje de los números múltiplos de 4 escritos en forma decimal..6. Construir un analizador léxico que acepte fechas de nacimiento en formato dd/mm/aaaa desde //9 hasta 3/2/27 (Consideramos que febrero siempre tiene 28 días)..7. Dada la expresión regular r = ( + + ) + ( + ) a) Construir el AFD mínimo b) Construir una gramática para el lenguaje dado por la expresión regular..8. Dada la expresión regular r ( a + b + c)( b + c ) + ab =, construir el AFD mínimo para dicho lenguaje, así como una gramática regular equivalente..9. Construir un analizador léxico y una gramática para los múltiplos de 8, escritos en forma binaria. (Algoritmo y datos de entrada)..2. Construir un analizador léxico para las cadenas sobre el alfabeto, Σ = { 2} no contienen la secuencia.,, que.2. Hallar un AFD mínimo equivalente al Autómata de la figura y encontrar una expresión regular para el lenguaje de dicho AFD mínimo. Inmaculada Luengo U.L.P.G.C. 3

4 , q r p, s t u.22. Construir una analizador léxico para las fechas del año 24, que fue bisiesto, en formato dd/mm/aaaa por ejemplo 29/3/24. (Algoritmo, tabla, entradas). r = a + bc ab + c + ca c. Hallar.23. Dada la expresión regular ( )( ) a) el AFD mínimo para dicho lenguaje b) una gramática cuyo lenguaje sea r c) todas las palabras del lenguaje de longitud menor o igual a Construir el AFD mínimo para el lenguaje dado por r = ( ) + ( + ).25. Construir un analizador léxico y una gramática para los múltiplos de 8, escritos en forma decimal..26. Construir un analizador léxico para las matrículas europeas del tipo Prefijo nacional_dígitodígitodígitodígito_letraletra2letra3 donde admitimos los prefijos nacionales de España(E), Alemania (D) y Bélgica (B); letra sólo puede ser B, C o D; y letra2, letra3 deben ser consonantes. Ejemplos: E_234_CRJ es admitida por que cumple todas las condiciones exigidas P234_HAR no es admitida por varios motivos: i) P no es de los prefijos nacionales admitidos ii) No respeta el guión bajo después de la P iii) la primera letra después de los cuatro dígitos (letra) no puede ser una H. iv) la segunda letra (letra2) después de los dígitos no puede ser una vocal..27. Construir un analizador léxico para las palabras que tienen como máximo tres Σ = a.b. símbolos consecutivos iguales, sobre el alfabeto { }.28. Construir un analizador léxico que acepta la hora en formato digital tal como se indica a continuación: <Día de la semana> <hora>:<minuto> <AM,PM>, donde 4 Inmaculada Luengo U.L.P.G.C.

5 <Día de la semana> puede ser: Mo, Tu, Wed, Th, Fr, Sa, Su. <hora> es un número entero que abarca el rango de a 2. <minuto> es un número entero que abarca el rango de a 59. <AM,PM> especifica si la hora antes (AM) o después (PM) del mediodía. Veamos algunos ejemplos de horas aceptadas y NO aceptadas por el analizador. Cadenas aceptadas: Mo : AM, Tu 2: AM, Wed : PM, Sa 3:5 PM Cadenas NO aceptadas: Mo 9: AM, Tu 2:5 PM.29. Construir el AFD mínimo para el lenguaje dado por r = ( aba + aa) b + ba + bb r =.3. Dada la expresión regular ( ) ( ) + a) Escribir todas las palabras de longitud menor o igual que 5. b) Construir el AFD mínimo y dibujarlo. c) Hallar una gramática equivalente..3. Construir el AFD mínimo para el lenguaje denotado por la expresión regular r = ( a + b + c)( a + b) + ( ab + bc) a.32. Dado el Autómata de la figura: p q, s r, t u a) Encontrar el Autómata Finito Determinista mínimo equivalente (Dar un AFND equivalente, AFD equivalente y aplicar el algoritmo de Moore para encontrar el AFDmín). b) Encontrar una gramática regular que genere el lenguaje descrito por el autómata..33. Sea el alfabeto Σ = {,,2 }. Sean los lenguajes {, 2, } 2 L = { 2} ( L L ) 3 L. 3,. Calcular 2 { } L =, L =, 2 2 y 2,.34. Buscar una expresión regular para el lenguaje de la gramática Inmaculada Luengo U.L.P.G.C. 5

6 A:= A / B / D / B:= C / D / C:= B / D /.35. Una tarjeta permite la apertura de un centro, dependiendo del código escrito en la banda magnética de la misma. El código que abre la puerta ha de contener cadenas no vacías de s, s y 2 s que no contengan los patrones, ni, ni 22. Diseñar un analizador que detecte y acepte un código válido de apertura de la puerta. (Dar un AFD, alfabeto, tabla y algoritmo)..36. Sea Σ = {,2,3}. Sea L = {ω Σ: ω = 4 y ω es capicúa}. Construir un analizador léxico para el lenguaje L. (Dar un AFD, alfabeto, tabla y algoritmo)..37. Construir un analizador léxico para la hora en formato digital es decir 23:4. la última hora es 23:59, y la siguiente es :.38. Construir un analizador léxico para aceptar números reales en todas las formas posibles. Ejemplos: 3.56, -2, 3.2E-3, 3.2E+3, +.625E3. No son aceptados los números que empiezan por ceros no significativos (ej Dada la expresión regular = ( ab + bb ) + a ( ) r b + ab sobre el alfabeto Σ={a,b} a) Construir el AFD mínimo para el lenguaje denotado por r b) Construir una gramática limpia para dicho lenguaje c) Dar todas las palabras de longitud menor o igual que 4 de dicho lenguaje..4. Sea la expresión regular r = ( ) [ ( + + ) ] a) Construir el AFD mínimo para el lenguaje dado por la expresión regular r. b) Dar todas las palabras ω de dicho lenguaje tales que 5 ω Dado el autómata de la figura: 6 Inmaculada Luengo U.L.P.G.C.

7 p r q s,, a) Hallar el AFD mínimo equivalente. (Dar un AFND equivalente, AFD equivalente, y aplicar el algoritmo de Moore para encontrar el AFDmín). b) Encontrar una expresión regular para el lenguaje del AFD mínimo aplicando el teorema de análisis de Kleene. t u.42. Obtener un AF sin transiciones que acepte el lenguaje descrito por las expresiones regulares: + + a) r = ( a b a + c) + cc b b) r = (+)+ (2 + + ) En un laboratorio se analizan trozos de códigos de ADN humanos. En dicho código pueden aparecer 4 tipos distintos de bases nitrogenadas : Adenina (A), Timina (T), Citosina (C) y Guanina (G) En un experimento se busca si un determinado individuo tiene una determinada marca genética. Se dice que un individuo tiene dicha marca si: i) en su muestra de ADN aparece el patrón CGGC y ii) en dicha muestra no hay un número impar de bases del tipo Timina (T). Diseñar un Autómata Finito Determinista (AFD) que detecte, dada la muestra de un individuo, si éste lleva la marca genética citada..44. Dada la expresión regular: r = ( ) + (2 + ) + +, se pide: a) Dar un AFD cuyo lenguaje sea L(r). NOTA: Dar primero un AFND- luego pasar a un AFND y a continuación a un AFD equivalente. b) Dar por extensión el conjunto L = {L(r) / 4}..45. Considérese el siguiente Autómata Finito (AF): Inmaculada Luengo U.L.P.G.C. 7

8 ,2 p q r s Se pide: a) Plantear las ecuaciones que resuelven el Teorema de Análisis de Kleene. Asimismo, resolver dichas ecuaciones obteniendo así una expresión regular para el autómata de la figura. b) Encontrar un AFD mínimo, aplicando el Algoritmo de Moore, para el AFND de la figura. c) Para el AFD mínimo obtenido, dar un analizador léxico que reconozca su lenguaje..46. Encontrar un Autómata Finito Determinista que acepte como lenguaje cadenas de,, 2, con las restricciones de que las cadenas: i) no contienen el patrón 2 y ii) no terminen ni comiencen por..47. Encontrar un Autómata Finito Determinista que acepte como lenguaje cadenas de,, 2, con las restricciones de que las cadenas: i) no contienen el patrón 2, ii) no terminen ni comiencen por y iii) si comienzan por, que no acaben en..48. Para cada una de las siguientes expresiones regulares: ( ) ( ) ( + 2) 2 ( 3 + ) r = + [ ] + r 2 = ( r 2 ) ( 2) ( 22) 3 = r 4 = ( ) ( ) + ( ) ( + ) Se pide: a) Encontrar un AFND- que acepte el lenguaje que denotan. b) Dar el conjunto Li={ω L(ri) / ω < 4}..49. Encontrar un analizador léxico que detecte palabras, que representan números en hexadecimal, de forma que i) cada tercer símbolo no haya una letra y ii) si comienza por una letra, no acabe en otra. Ejemplo: A3A2, A3 (son aceptadas) y 2AB y B689326F (no son aceptadas) 8 Inmaculada Luengo U.L.P.G.C.

9 .5. Encontrar un analizador léxico que detecte palabras, de como mucho 9 símbolos que representan números en hexadecimal, de forma que cada tercer símbolo no haya una letra y que si comienza por una letra, no acabe en otra. Ejemplo: A3A2, A3 (son aceptadas) y 2AB y B689326F (no son aceptadas).5. Dado el siguiente autómata finito: A B D E F C Se pide: a) Minimizar, mediante el algoritmo de Moore, dicho autómata. b) Dar una gramática regular que genere el lenguaje aceptado por dicho autómata finito. c) Resolver las ecuaciones regulares asociadas al AF por el teorema de análisis de Kleene. G H.52. Dado el alfabeto Σ={,,2} encontrar un Autómata Finito Determinista que acepte cadenas de Σ de forma que si el código comienza y termina por el mismo símbolo, no debe contener el patrón. En caso contrario, las cadenas serán aceptadas..53. Dada la expresión regular r ( ab) ( ab + b a) =, se pide dar el Autómata Finito Determinista mínimo que acepte el lenguaje L(r). (Dar un AFND-, AFND equivalente, AFD equivalente, y aplicar el algoritmo de Moore para encontrar el AFD mínimo)..54. Construir un Analizador Léxico que reconozca cadenas de longitud no nula con símbolos que representan un número en octal, de forma que la paridad de los símbolos números impares coincida con la paridad de los símbolos números pares, y que no acaben en símbolos de números pares. Ejemplos: 3465: tiene 3 símbolos números pares y 3 símbolos números impares, con lo cual como la paridad es la misma (impar de pares, impar de impares) y no acaba en un símbolo número par debería ser aceptada. 3357: paridad de símbolos números pares es PAR (cero), e ídem con la de los símbolos números impares (cuatro) y no acaba en símbolo número par. 7436: no es aceptada porque termina en dígito par Inmaculada Luengo U.L.P.G.C. 9

10 7467: no es aceptada porque tiene 3 dígitos impares (impar) y dos dígitos pares (par)..55. Para la siguiente gramática regular G =({,}, {A, B, C, D}, A, P), siendo P las reglas A := B C B := B C ::= C D D ::= A B Se pide: a) Encontrar una expresión regular mediante la aplicación de la resolución del Teorema de Análisis de Kleene. b) Dar el conjunto de cadenas de longitud menor que 4 generadas por G..56. Dado Σ={,,2}, construir un AFD que acepte los siguientes lenguajes: a) L = { cadenas de longitud par que tenga un nº impar de } b) L 2 = {cualquier cadena excepto aquellas que tengan el patrón "" si la cadena contiene un número impar de 2}.57. Dada la expresión regular: r = ( (+) + ) + + se pide: a) Dar el AFD mínimo cuyo lenguaje sea L(r). NOTA: Construir primero un AFND- luego pasar a un AFND y a continuación a un AFD. Por último, utilizar el Algoritmo de Moore para minimizar el AFD obtenido. b) Dar por extensión el conjunto L = {ω L(r) / ω 3}..58. Sea el siguiente Sistemas de Ecuaciones Lineales utilizado por el Teorema de Análisis de Kleene en la búsqueda de una expresión regular de un autómata finito M: x A = x A + (x C + x B ) + x B = x B + (x A + x C ) x C = ( + 2)x C Se pide: a) Dar una expresión regular para L(M). b) Podría considerarse r = + como expresión regular? Por qué? c) Analizando el sistema de ecuaciones anterior, de qué tipo de autómata finito se trata? Justificar la respuesta. Podríamos reconstruir el autómata M original a partir del sistema de ecuaciones del enunciado? Justificar la respuesta..59. Obtener un autómata finito sin transiciones que acepte el lenguaje descrito por L + = L ) las expresiones regulares siguientas. (Recordemos que { } + r = a b a+ c + cc b + ( ) a) Inmaculada Luengo U.L.P.G.C.

11 b) r = (+)+ (2 + +).6. Construir un analizador léxico (autómata, tabla, entradas y algoritmo), para las palabras que tienen como máximo tres símbolos consecutivos iguales, sobre el alfabeto Σ = a,b. { }.6. Sea el siguiente Sistemas de Ecuaciones Lineales utilizado por el Teorema de Análisis de Kleene en la búsqueda de una expresión regular de un autómata finito M: x = bx + a(x 3 + x ) + x = ax + b(x + x 3 ) x 2 = (a + c)x 2 + bx 3 x 3 = x 4 = (a + c)x 4 + bx 3 + Se pide: a) Dar una Expresión Regular que acepte L(M) sabiendo que x = L(M). b) Dar el Autómata Finito Determinista Mínimo (AFDmín) que acepte L(M) a partir del Sistema dado, utilizando el Algoritmo de Moore..62. Dar un AFD que acepte como lenguaje: a) L = {cadenas de ceros y unos tal que no contengan un número de par de ceros si acaban en }. b) L = {cadenas de a y b tal que la longitud de la cadena sea par y además no acaben en b}.63. Dado el alfabeto Σ={a,b,c}, encontrar un Autómata Finito Determinista (AFD) que acepte cadenas de Σ excepto aquellas que contengan el patrón "bcc" si hay más de 2 a -es seguidas.64. Dado Σ={,,2} se considera el lenguaje L = {cadenas de Σ tal que si aparece el patrón 2 entonces el número de veces en que aparece el en la cadena ha de ser par}. Se pide: a) Dar un Autómata Finito Determinista (AFD) cuyo lenguaje aceptado sea L. b) Dar un analizador léxico para dicho lenguaje (tabla y algoritmo) Dada la expresión regular: r ( 2 ) ( 2 ) = + + +, se pide: a) Dar el AFD mínimo cuyo lenguaje sea L(r). (Construir un AFND- luego pasar a un AFND y a continuación a un AFD; por último, utilizar el Algoritmo de Moore para minimizar el AFD obtenido). b) Dar por extensión el conjunto L = {ω L(r) / ω 3}. + Inmaculada Luengo U.L.P.G.C.

12 2. EJERCICIOS TEMAS 3 Y Hallar una máquina con salida que, leyendo números en forma binaria, dé como salida el resto (en el sistema decimal) de la división por 6 del número leído hasta ese momento. Ejemplo: Si la entrada fuera, la salida deberá ser 33; si la entrada fuera, la salida deberá ser Construir un Autómata, que vacíe su pila antes de aceptar cualquier palabra y cuyo lenguaje sea: L = r 2r+ k k { x y z : r >, k } 2.3. Construir una máquina con salida tal que en cada momento dé el resto modulo 4 del número leído hasta el momento en el sistema decimal.(ejemplo si el numero de entrada fuera 5658 la salida de una máquina de Moore sería 32) 2.4. Construir un Autómata de Pila con el menor número posible de transiciones no deterministas y que vacíe la pila antes de aceptar cualquier cadena, para el lenguaje, n m m n L = a b c : m n sobre el alfabeto Σ = {a,b}, siguiente { } 2.5. Dada la gramática siguiente G = ( Σ T, ΣN,S,P) donde Σ T = {, y} Σ N = { S,A,B}, S es el axioma y P es: S : = xay / ybx A: = xay / xy B: = ybx / yx x, 2.6. Obtener un Autómata de Pila equivalente a la gramática. a) Describir el lenguaje de la gramática. b) Describir los estados de la pila al procesar la palabra xxxyyy. c) Dar la tabla para un analizador sintáctico para el lenguaje de la gramática Dada la gramática: S:=MN M:=aMc / ac N.=bNc /M / a) Obtener una equivalente bien formada b) Obtener una equivalente en forma normal de Chomsky Inmaculada Luengo U.L.P.G.C.

13 2.8. Diseñar una máquina de Moore con alfabeto de entrada = {,} Σ que devuelva como salida: I si la cadena de entrada tiene un número impar de unos, P si la cadena tiene un número par de unos y no acaba en cero y N en los demás casos Hallar un Autómata de pila, que vacíe su pila antes de aceptar ninguna palabra, para el lenguaje n m r L = { x y z : m = 2n + r; m, n >, r } (Recordamos que en la pila se puede insertar más de un símbolo de una vez, pero sólo se pueden extraer de uno en uno). 2.. Dado el autómata de la figura x,;x p y,x;y y,x;x q y,y; a) Localizar los puntos de no determinismo (si los hay) y explicar en que situaciones se daría el no determinismo. b) Construir un AP equivalente al de la figura que vacíe su pila antes de aceptar cualquier palabra. c) Estudiar su lenguaje con el mayor detalle posible d) Escribir todas las reglas de la gramática equivalente asociadas a la transición δ ( p, y; x) = ( q, y) 2.. Dada la gramática G dar un autómata de pila equivalente, estudiar su lenguaje y construir un analizador sintáctico para dicho lenguaje. G = ( Σ T,Σ N, P, A) siendo Σ T = { x, y}, Σ N = { A, M, N} y las reglas A:= xmy / Nx / x M:= xxm/x N:= yn / y 2.2. Describir el lenguaje de la gramática siguiente y dar un analizador sintáctico. G( Σ T = {, }, Σ N = { A, B, C, D}, A,P ), siendo las producciones de P A:= B / C B:= B / C C:= C / 2.3. Construir un AP, que vacíe su pila antes de aceptar cualquier palabra, para el lenguaje con el menor número posible de estados y de transiciones no deterministas. Inmaculada Luengo U.L.P.G.C. 3

14 L = n m { a b : n m 2n} 2.4. Construir un analizador sintáctico para la gramática (cuyo axioma es S): S:= xxa / xyb A:= ya / y B:= xby / y Especificar los datos de entrada del algoritmo correspondiente Depurar la siguiente gramática obtener una equivalente bien formada, obtener otra equivalente en forma normal de Chomsky y dar un analizador sintáctico LL(k), con k mínimo, para su lenguaje. S:= xaz / ybz/ A:= xaz / B / B:= ybz 2.6. Dada la gramática cuyo axioma es A y sus reglas A:= xybyz / xax / z B=: yby /z a) Construir un analizador sintáctico LL(k), con k lo menor posible b) Escribir el lenguaje de dicha gramática c) dar otra equivalente en forma normal de Chomsky Construir un autómata de pila determinista que sólo acepte palabras con la pila vacía, para el lenguaje m n r L = x y z : m = 2 n + r, m > { } 2.8. Dada la gramática G ( Σ = {, }, Σ { A,B,C,D,E,F}, A, P) = con las reglas T N = A:= B / C / E B:= B / F / / C:= D /F D:= D / C. E:= / / F:= D / C / F.. Construir una equivalente en forma normal de Chomsky (FNC)..2. Construir un analizador sintáctico para el lenguaje de G Construir un Autómata de Pila determinista que sólo acepte palabras con la pila vacía, para el lenguaje m m+ n n L = a b c : m, n { } 4 Inmaculada Luengo U.L.P.G.C.

15 2.2. Construir un AP con el menor número posible de transiciones no deterministas y que sólo acepte palabras con la pila vacía, para el lenguaje L = { w :# ( w) # ( w) } donde w ( a + b) a = y ( w)= número de veces que el símbolo a aparece en la palabra w. # a b 2.2. Dada la gramática G ( Σ = {, }, Σ { A, B, C, D, E, F}, A, P) = con las reglas T N = A:= EF / A / B:= BF / B / C:= C /C D:= A / B / D. E:= F:= B / / a) Construir una gramática equivalente bien formada. b) Construir un analizador sintáctico para el lenguaje de G Hallar una gramática en forma normal de Chomsky equivalente a la siguiente. S:= BC / B / A A:= C / A / B / B:= BB / B C:= A / B / / Construir una autómata de pila determinista para el lenguaje L = n n { a b : n no es múltiplo de 5} Construir un analizador para el lenguaje de la gramática G ( Σ T, Σ N,S,P) Σ { x, y}, Σ { S,A,B} N =, S el axioma, con las reglas T = S:= xyayx / ybx A:= xax / ybx B:= ybx / = siendo Construir un analizador LL(k) con k mínimo, para el lenguaje n m n { x y x : n, > } L = m Construir una máquina de Moore que tenga como alfabeto de entrada el conjunto de los dígitos {,,...9} y que en cada momento dé cómo salida el resto módulo 3 de la suma de los dígitos leídos hasta ese momento. Ejemplo: si en la cinta de entrada ponemos , las sumas sucesivas son , y por tanto la secuencia de salida debe ser (donde el primer cero es el símbolo que se escribe al comienzo, sin entrada) Inmaculada Luengo U.L.P.G.C. 5

16 2.27. Construir una autómata de pila que vacíe su pila antes de aceptar cualquier palabra, cuyo lenguaje aceptado sea L = { ω cω2 : ω, ω2 ( a + b), ω2 ω )} Construir un autómata de pila con alfabeto de entrada Σ = {x,y}, con el menor número posible de transiciones no deterministas, con el menor número de estados posible y que vacíe la pila antes de aceptar cualquier palabra, cuyo lenguaje sea r 2r+ k k L M = x y z : r, k ( ) { } Construir un analizador LL(k) (tabla y algoritmo) con k mínimo, para el lenguaje de la gramática cuyo axioma es A y el conjunto de reglas A:= xxb / ycx, B:= xby / x; C:= ycx / y. (Escribir paso a paso la construcción de la tabla, cada casilla debe estar justificada) Construir un autómata de pila con alfabeto de entrada Σ = {a,b}, con el menor número posible de transiciones no deterministas y con el menor número de estados posible, cuyo lenguaje sea L ( M ) = { ω Σ :# a ( ω) = # b ( ω) + } (Recordemos que # a (ω) = nº de veces que el símbolo a aparece en ω) Dada la gramática G con axioma A, Σ T ={,}, Σ N ={A,B,C,D,E}y las reglas A:= BD / C / A /D B.= B / E / C:= D / C / / D:= D / C E:= E / E a) Construir una gramática equivalente bien formada. b) Construir una gramática equivalente en Forma Normal de Chomsky. c) Derivar desde el axioma 5 palabras del lenguaje de G Construir un analizador para L(G), siendo G la gramática con axioma S y reglas S:= MN M:= amc/ac N:= bnc/m/ Construir una autómata de pila que vacíe su pila antes de aceptar cualquier palabra n n L = a b : n 3 módulo 4, n > { } y cuyo lenguaje aceptado sea ( ) Dada la siguiente gramática, con Σ T = {,,2,3} y Σ N = {S(ax.), M,N,P,Q,R,T,V}, obtener una equivalente que esté bien formada: 6 Inmaculada Luengo U.L.P.G.C.

17 S := Q V RS2 NT T := P P := N P T M := MS M T M Q := Q P N := N V := 3 S Diseñar una Máquina de Mealy que tomando como cadena de entrada una secuencia de símbolos que representan un número en base 4, proporcione como salida el resto módulo 5 de dicho entero. Construir una Máquina de Moore equivalente a la de Mealy construida Sea ω una cadena de dígitos que representa un número en decimal. Se pide diseñar una Máquina de Moore que, ante la entrada ω produzca como último símbolo de salida S si el decimal representado por ω es múltiplo de 3. En caso contrario, deberá dar como último símbolo de salida N. Además, el primer símbolo de salida que deberá dar la máquina deberá ser. Ejemplos: Entrada Entrada 9 2 Entrada 5 Salida S N S Salida S S N N Salida N S Dado el siguiente Lenguaje : L = {a n b 2m a n b 2k / m,n,k > }, se pide: a) Encontrar un Autómata de Pila determinista que acepte L. b) Dar además aquellas cadenas de L para n {,2}. c) Si se añade la restricción: m > n, cómo cambiarían las respuestas de los apartados anteriores? Sea G una gramática independiente del contexto cuyo analizador mínimo del tipo LL necesario para reconocerla es un LL(3). Sabiendo que la matriz que utiliza dicho analizador se llama tabla y que la gramática G no genera cadenas de orden menor que 3 excepto la cadena vacía, se pide dar un Analizador Sintáctico del tipo LL(3) que reconozca dicha gramática Se pretende encontrar un traductor de códigos que funciona de la siguiente forma: La salida ante una entrada determinada en binario deberá ser siempre el número decimal que representan los tres primeros bits del binario de entrada, y como resto de símbolos de salida el valor : las veces que sea necesario. Ejemplo: entrada : -> salida -> :::5::: -> salida -> :::7::::: Inmaculada Luengo U.L.P.G.C. 7

18 2.4. Encontrar un Autómata de Pila que, dado el alfabeto Σ={a,b} acepte el lenguaje: L = {cadenas de Σ tal que el número de a y de b coincidan, que no acaben ni empiecen por el mismo símbolo, y que la longitud de las cadenas aceptadas sea par}. Dar además la traza que sigue la pila ante una cadena abbaabb de L Escribir un algoritmo para un reconocedor sintáctico del tipo LL(4) que reconoce una gramática G que genera la palabra vacía, y que no genera otras palabras de longitud menor que 4. Se supone que la tabla de traducción de reglas está en una matriz de nombre TABLA Definir la Forma Normal de Chomsky (FNC) de una gramática. Como aplicación, encontrar la FNC para la gramática siguiente Σ Ν ={A,B,C}, Σ Τ ={α,β,γ}, axioma C: C::= ABz / A::= Aa / a / / AB B::= Bb / A / Dado el alfabeto Σ={a,b} y el lenguaje L= {palíndromos (capicúas) de Σ de longitud impar}. Se pide: a) Dar una gramática para L. b) Dar un autómata de Pila para la gramática anterior. (No se aceptan inserciones de más de un símbolo al mismo tiempo en la pila). c) Qué tipo de analizador LL(k) podría usarse para implementar un programa que detecte este lenguaje (decir el valor del k mínimo)? Diseñar una Máquina de Mealy sobre el alfabeto de entrada Σ={a,b} de forma que para una entrada w produzca una salida v, en la que el símbolo i-ésimo será si los símbolos i-ésimos e (i-)-ésimos de w son iguales, y será en caso contrario. Una vez encontrada la máquina pedida, encontrar una Máquina de Moore equivalente a ella Gramáticas :.3. Dada la siguiente gramática, con Σ T = {a,b} y Σ N = {S(ax.), A,B}, obtener una equivalente en la FNC (Forma Normal de Chomsky) : S := abab A := bab B := BAa A.4. Dada la siguiente gramática, con Σ T = {,,2,3} y Σ N = {S,M,N,P,Q,R,T}, axioma S, obtener una equivalente que esté bien formada: S : = M Q RS MN T := P P:= N T M := MS M R 8 Inmaculada Luengo U.L.P.G.C.

19 Q:= Q N := N Determinar el analizador sintáctico más simple del tipo LL (tabla y algoritmo) que reconozca el lenguaje generado por la gramática siguiente con Σ T = {a,b,c} y Σ N = {S(ax.), A} y las reglas: S := Sa aac c A := Ab ba Construir un Autómata de Pila, con el menor número posible de transiciones no deterministas, que acepte las cadenas sobre el alfabeto Σ = { a,b}, de forma que el número de símbolos a sea el doble de símbolos b (Recordamos que está permitido insertar más de un símbolo de una vez en la pila, pero sólo se pueden extraer de uno en L = ω Σ :# ω = 2# ω { } uno). ( ) ( ) a b Construir una gramática bien formada equivalente a la gramática G, con axioma S y las reglas S := A / B A:= aca B := acb / ade C := acc D := acd / adf / b E := F := b / Construir el analizador LL(k) más simple, justificando la elección de k, para la gramática de axioma S y las reglas S := AB A := aa / a B := bbc / bc 2.5. Dado el alfabeto Σ = {,} y el lenguaje L= {palíndromos (capicúas) de Σ de longitud impar}. Se pide: a) Dar una gramática para L. b) Dar un autómata de Pila para la gramática anterior. (No se aceptan inserciones de más de un símbolo al mismo tiempo en la pila. c) Qué tipo de analizador LL(k) podría usarse para implementar un programa que detecte este lenguaje (decir el valor del k mínimo)? 2.5. Dado el alfabeto Σ {, } =, se pide a) Dar una gramática para el lenguaje de los capicúas de longitud par. Inmaculada Luengo U.L.P.G.C. 9

20 b) Construir un Autómata de Pila para dicho lenguaje Dado el alfabeto Σ={,} diseñar una Máquina de Moore que devuelva como salida: P : si la cadena de entrada tiene un número par de unos, I : si la cadena tiene un número impar de unos pero no acaba en cero, N : el resto de los casos. Dar además, un modelo de Máquina de Mealy equivalente Encontrar una Máquina de Moore que para una entrada w (x+y), produzca como salida: A si la cadena acaba en yxy, B si la cadena tiene un número impar de y, y C en cualquier otro caso. (En caso de ambigüedad, prevalecerá la prioridad del orden de la salida según la secuencia de A a C) Dada la gramática: S: = xsy xytyz T: = Z: = xsy T Se pide: a) Estudiar, y en su caso encontrar, si la gramática admite la Forma Normal de Chomsky (FNC), justificando la respuesta. Se trata de una gramática limpia? Está bien formada? En caso de que no lo sea, encontrar otra gramática equivalente bien formada. b) Encontrar el analizador sintáctico LL más simple que reconozca el lenguaje generado por dicha gramática Dado el alfabeto Σ={x,y,z}, se considera el lenguaje L = {x m y n z t / m = 2(n + t), n,m>, t } Se pide: a) Encontrar un Autómata de Pila cuyo lenguaje sea L y que vacíe su pila antes de aceptar cualquier cadena. b) Dar el conjunto de cadenas de L de longitud inferior a Dar un analizador sintáctico del tipo LL(k) (tabla y algoritmo), con k por determinar y mínimo, para la siguiente gramática con axioma S: S := xmz ynz M := xmz N N := ynz yz Determinar el analizador sintáctico más simple del tipo LL (tabla y algoritmo) que reconozca el lenguaje generado por la gramática siguiente con Σ T = {a,b,c} y Σ N = {S, A}, axioma S y las reglas 2 Inmaculada Luengo U.L.P.G.C.

21 S := Sa aac c A := Ab ba Se considera el lenguaje L = {x n y m z t / m n + t, m,n,t } sobre el alfabeto Σ={x,y,z}. Se pide construir un Autómata de Pila cuyo lenguaje sea L y que vacíe su pila antes de aceptar cualquier cadena. Inmaculada Luengo U.L.P.G.C. 2