TEORA DE AUTMATAS I

Informtica de Sistemas

Soluciones a las cuestiones de examen del curso 2002/03 Febrero 2003, 1 semana 1. Considere los lenguajes del alfabeto ={0,1}: L1= {0n1n, | n 1} y L2= {cadenas con igual nmero de 1s que de 0s} y L3= {cadenas en que cada 1 va seguido de al menos un 0}. Seale la afirmacin verdadera: a) Ninguno de los lenguajes es regular b) Slo el segundo y el tercero son regulares c) L3 L2 y L1 L2 d) Ninguna de las afirmaciones anteriores es cierta Solucin: D. L1 y L2 son independientes de contexto. L3 es regular. La respuesta c es falsa porque 100 pertenece a L3 pero no a L2. 2. El lenguaje que genera la siguiente gramtica {S0S1; SA; A1A0; A} es a) regular b) independiente del contexto determinista no regular c) independiente del contexto estrictamente no determinista d) estructurado por frases y no independiente del contexto Solucin: B. Existe un autmata de pila determinista que acepta el lenguaje (queda como ejercicio para el alumno dibujarlo). 3. Sea L1 el lenguaje generado por la siguiente gramtica: SA, SB, Aab, AaCb, Cab, CaCb, BaBa, Bb Considere el lenguaje: L2 = {anbn, | n 1} {anban, | n 1} y seale cul de las afirmaciones siguientes es cierta: a) L1 = L2 b) L1 L2 c) L2 L1 d) Ninguna de las afirmaciones anteriores es cierta Solucin: C. Las reglas que contienen los no-terminales A o C generan el lenguaje {anbn, | n 1}. Las que contienen B generan {anban, | n 0}. 4. Sean los lenguajes A, B, C. La equivalencia A (B\C) = (A B)\(A C) donde indica concatenacin y \ diferencia de conjuntos: a) Siempre es cierta b) Es cierta si y slo si los lenguajes A y C son regulares c) Es cierta slo si A, B y C son lenguajes regulares d) Ninguna de las afirmaciones anteriores es cierta Solucin: D. Sean A = B = {, x} y C = {}. Entonces, A (B\C) = {x, xx} y (A B)\(A C) = {xx}.

5. Sea L un lenguaje sobre un alfabeto . Definimos: Pref(L) = {w * | u *, w u L}. Es decir, Pref(L) es el conjunto de cadenas que son prefijo de alguna cadena de L. Por ejemplo, si L = {xyz}, Pref(L) = {, x, xy, xyz}. Indique cul de las siguientes afirmaciones es falsa: a) Si L, entonces Pref(L) y L Pref(L) b) Si L = ab*a, entonces Pref(L) = {ab*} {a} c) Si L = ab*a, entonces existe un autmata finito determinista que reconoce Pref(L) d) Si L es regular, entonces Pref(L) tambin lo es Solucin: B. La C es verdadera porque Pref{ab*a} = ab* ab*a. La D es verdadera, porque podemos tomar un autmata finito M tal que L(M) = L y cambiar por estados de aceptacin todos los estados que se encuentren en algn camino entre el estado inicial y algn estado de aceptacin. 6. Indique cul de las siguientes afirmaciones es falsa: a) Si M es un autmata finito determinista con k estados que acepta una cadena de longitud mayor o igual a k, entonces el lenguaje reconocido por M tiene un nmero infinito de cadenas b) Si L es un lenguaje finito que contiene la cadena x2045, todo autmata determinista que reconozca L habr de tener al menos 2045 estados c) Si L es un lenguaje finito que contiene la cadena x2045, existe un autmata no determinista que reconoce L cuyo nmero de estados es menor que 2045 d) Para todo lenguaje finito existe un autmata de pila que lo reconoce Solucin: C. La B es verdadera porque si el autmata tuviera menos de 2.045 estados aceptara infinitas cadenas. La C es falsa porque si fuera verdadera el autmata aceptara infinitas cadenas. 7. Considere la gramtica de smbolos terminales { ( , ) , ; , 1, 2, 3}: S (A), A A;E, A E, E 1, E 2, E 3, E S. La gramtica genera listas de elementos que son nmeros o a su vez listas, separados por el smbolo ; . Indique cul de las siguientes afirmaciones es verdadera: a) El lenguaje es regular b) El lenguaje es independiente de contexto (no regular) c) No existe una gramtica equivalente en forma normal de Chomsky d) El lenguaje generado es estructurado por frases (no independiente de contexto) Solucin: B. La gramtica es independiente de contexto. (La A es falsa porque hace falta una pila para llevar cuenta del nmero de parntesis. La C es falsa porque la gramtica no genera la cadena vaca, y por eso existe una gramtica en forma normal de Chomsky.) 8. Indique cul de las siguientes afirmaciones es verdadera: a) Es posible que L sea un lenguaje independiente del contexto y L* no lo sea b) Todo subconjunto de un lenguaje independiente del contexto es tambin independiente del contexto c) Todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto d) La interseccin de un lenguaje regular con un lenguaje independiente del contexto es siempre un lenguaje regular Solucin: C.

9. Indique cul de los tres lenguajes siguientes no es independiente del contexto determinista (en caso de que los tres lo sean, seale la opcin d): a) L = {anbm | m n}, = {a, b} b) El lenguaje de las cadenas que tienen el doble de as que bs, ={a,b} c) El lenguaje de las cadenas que tienen ms as que bs, ={a, b} d) Los tres son independientes de contexto deterministas Solucin: D. 10. Indique cul de las siguientes afirmaciones es cierta: a) Cualquier lenguaje independiente del contexto puede ser reconocido por un autmata de pila con un solo estado b) Cualquier lenguaje regular puede ser reconocido por un autmata de pila con un solo estado c) Cualquier lenguaje independiente del contexto que sea reconocido por un autmata determinista puede ser reconocido por un autmata determinista que vaca su pila antes de aceptar las cadenas d) Ninguna de las afirmaciones anteriores es cierta Solucin: D. 11. Indique cul de las siguientes afirmaciones es cierta: a) Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena b) Cualquier lenguaje puede ser reconocido por una mquina de Turing c) Es posible que un lenguaje sea estructurado por frases pero no exista ninguna mquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje d) Ninguna de las afirmaciones anteriores es cierta Solucin: A. 12. Indique cul de las siguientes afirmaciones es falsa: a) Un autmata finito determinista de q estados y n smbolos tiene n q transiciones b) Un autmata finito no determinista de q estados y n smbolos puede tener a lo sumo n q2 transiciones c) Un autmata finito no determinista puede tener un nmero ilimitado de transiciones distintas d) El nmero mximo de transiciones de un autmata finito determinista depende del nmero de estados y del nmero de smbolos del alfabeto del autmata Solucin: C. 13. Sea L el lenguaje del alfabeto {0,1} formado por las cadenas no vacas que no tienen ceros consecutivos. Sea M1 el autmata de la izquierda y M2 el de la derecha. Indique cul de las siguientes afirmaciones es verdadera:

0 0 1 1 1

0 0,1

0 0 1 1 1 1

0 0,1 0 0

a) L(M1) = L b) L(M2) = L c) L(M1) = L(M2) d) Ninguna de las afirmaciones anteriores es cierta Solucin: A. El autmata de la derecha acepta la cadena 00. 14. Dado el alfabeto de n smbolos, definimos los lenguajes L = {w * | hay al menos un smbolo de que no est en w} y L = {w * | w tiene al menos una vez cada smbolo de }. Cul de las siguientes afirmaciones es falsa? a) L es el lenguaje complementario de L b) Existe un autmata finito determinista de 2n estados que reconoce L c) Todo autmata finito determinista que reconozca L habr de tener ms de 2n + 1 estados d) Los lenguajes L y L son regulares Solucin: A. 15. Indique cul de las siguientes afirmaciones, referidas a la mquina de Turing de la figura, es falsa:

y/z /R z/R x/z y/R y/R x/R / z/

x/x
a) Reconoce la cadena yyx b) Es no determinista c) Puede tener una terminacin anormal d) Existe una mquina de Turing de dos cintas que reconoce el mismo lenguaje Solucin: C. Porque nunca mueve la cabeza lectora hacia la izquierda.

16. Sean w1, w2, ... , wi, i cadenas de smbolos de longitud arbitraria, i > 0. Sea j un entero tal que 0 < j i. Seale cul de las siguientes afirmaciones es falsa si se ejecuta la mquina de Turing de la figura con una configuracin inicial w1 w2 ... wi ...?

i veces R

i j veces L L

j1 veces SLL

a) Para cualesquiera valores de i, j no nulos la configuracin final de cinta sera wj b) Para ciertos valores de i, j, la computacin terminara de forma anormal c) La mquina siempre concluye sus clculos d) Para ciertos valores de i, j, la configuracin de la cinta no se modifica Solucin: B. Febrero 2003, 2 semana 17. Sea G la siguiente gramtica de smbolos terminales {a, b}: S aAA, A bS, A a) El autmata ms sencillo que acepta L(G) es un autmata finito b) El autmata ms sencillo que acepta L(G) es un autmata de pila determinista c) El autmata ms sencillo que acepta L(G) es un autmata de pila no determinista d) Los nicos autmatas que aceptan L(G) son las mquinas de Turing Solucin: A. Desarrollando el rbol de derivacin se comprueba que L(G) = a(ba)*. 18. Considere el lenguaje L del alfabeto = {a,b}definido del modo siguiente: bLyL si w L, entonces awb L y bwa L si w, v L, entonces wv L no hay ninguna otra cadena en L Seale cul de las siguientes afirmaciones es cierta: a) No existe ninguna gramtica independiente del contexto que genere L b) L = {w (a b)* | el nmero de bs es mayor o igual que el nmero de as en w} c) No existe ningn autmata de pila que reconozca L - d) L = {w (a b)* | el nmero de bs es estrictamente mayor que el nm. de as en w} Solucin: B. 19. Indique cul de las siguientes afirmaciones es cierta: a) Si un lenguaje es regular, el conjunto de cadenas de L cuya longitud es par tambin lo es b) Si un lenguaje es independiente del contexto no regular, el conjunto de cadenas de L cuya longitud es impar tambin es independiente del contexto no regular

c) Si el conjunto de cadenas de longitud par de un lenguaje L es un lenguaje independiente del contexto, el conjunto de cadenas de longitud impar de L tambin es un lenguaje independiente del contexto d) Ninguna de las afirmaciones anteriores es cierta Solucin: A. Por ser la interseccin de dos conjuntos regulares. Contraejemplo para la respuesta b: dado el lenguaje {x n y n }, sus cadenas de longitud impar constituyen un lenguaje regular (el conjunto vaco). Contraejemplo para la respuesta c: dado el lenguaje L = {x 2 n + 1 y 2 n + 1 z 2 n + 1 }, sus cadenas de longitud par constituyen un lenguaje independiente de contexto (el lenguaje vaco). 20. Dados los lenguajes A, B y C, indique cul de las siguientes afirmaciones es falsa (AI es el lenguaje formado por las cadenas del lenguaje A invertidas; indica concatenacin): a) A (B C) = AB AC b) A (B C) = AB AC c) (A B)I = AI BI d) (B C) A = BA CA Solucin: B. Contrajemplo: A = {x, xy}, B = {yz}, C = {z}; en este caso, A ( B C ) = , AB AC = {xyz}. 21. Indique cul de las tres siguientes afirmaciones es cierta (en caso de que las tres lo sean, seale la opcin d): a) La unin de un conjunto infinito de lenguajes no regulares no puede ser regular b) La unin de un conjunto finito de lenguajes no regulares no puede ser regular c) Todo lenguaje cuyo complementario sea un lenguaje finito es regular d) Todas las afirmaciones anteriores son ciertas Solucin: C. Contraejemplo para la respuesta a: sea L un lenguaje no regular (por tanto, no finito); su complementario, c(L), tampoco es regular. Al aadir a c(L) una cadena de L, tenemos otro conjunto no regular (uno por cada cadena de L). La unin de todos estos conjuntos es *. Contrajemplo para la b: la unin de cualquier lenguaje no regular con su complementario es un lenguaje regular. 22. Indique cul de las siguientes afirmaciones es cierta: a) Cualquier lenguaje independiente del contexto puede ser reconocido por un autmata de pila no determinista con un estado b) Cualquier lenguaje regular puede ser reconocido por una mquina de Turing con un estado c) Cualquier lenguaje regular puede ser reconocido por un autmata determinista que vaca su pila antes de aceptar las cadenas d) Ninguna de las afirmaciones anteriores es cierta Solucin: C. 23. Indique cul de las siguientes afirmaciones, referidas a los autmatas de la figura, es cierta (observe que hay una transicin , que no lee ningn smbolo de la cadena de entrada):

0
0

0
0,1

a) Ambos autmatas reconocen el mismo lenguaje b) El autmata de la izquierda es ms potente, por ser no determinista c) Cualquier autmata no determinista que reconozca el mismo lenguaje que el autmata de la derecha tiene al menos tres estados d) Ninguna de las afirmaciones anteriores es cierta Solucin: A. Es el lenguaje formado por todas las cadenas que empiezan por 1, ms la cadena vaca. 24. Indique cul de las tres siguientes afirmaciones es cierta (en caso de que las tres lo sean, seale la opcin d) ): a) Con una mquina de Turing ordinaria (cuya cinta es infinita en una sola direccin) es posible simular una mquina de Turing infinita en ambas direcciones b) Es posible establecer una aplicacin biunvoca (relacin uno a uno) entre las mquinas de Turing deterministas y los lenguajes estructurados por frases de modo que a cada mquina le corresponda el lenguaje que acepta c) Una mquina de Turing que tenga uno o ms estados de parada siempre concluye sus clculos d) Las tres afirmaciones son ciertas Solucin: A. 25. Indique cul de las siguientes afirmaciones es cierta con respecto a la mquina de Turing de la figura:

R R

SL L

a) Convierte una configuracin de cinta w1w2w3 en w1w3 b) Convierte una configuracin de cinta w1w2 en w1 c) Puede terminar anormalmente d) Siempre termina sus clculos Solucin: A. 26. Indique qu lenguaje genera la siguiente gramtica: SaAC, SbBC, SaC, SbC, Cc, AaAC, AbBC, AaC, AbC, BbBC, BbC. a) {aibjck | k>i, k>j} b) {aibjci+j | i+j>0}

c) {aibic2i} d) ninguno de los lenguajes anteriores Solucin: B. La gramtica es equivalente a sta: SaAc, Sac, AaAc, Aac, SbBc, Sbc, AbBc, Abc, BbBc, Bbc. 27. Indique cul de las siguientes afirmaciones es falsa: a) El lenguaje del alfabeto = {0,1} formado por palabras que tienen ms 1s que 0s no es regular b) El lenguaje L = {0 j1k | j k 0} del alfabeto = {0,1} es regular c) El lenguaje L = {0v0w | la longitud de las cadenas v y w es no nula} del alfabeto = {0,1} es regular d) El lenguaje L = {0 j1k | 100 j k 0} del alfabeto = {0,1} es regular Solucin: B. 28. Indique cul de las siguientes afirmaciones es cierta con respecto al autmata de la figura:

x,;x ,;# x,;x y,; z,;x

y,; z,;x

z,;x ,#;

a) Acepta el lenguaje xnymzn, donde m y n son enteros no negativos, m 2 b) Si se supone la existencia de un estado de error o captacin global el autmata es determinista c) La presencia de transiciones revela no determinismo d) Ninguna de las afirmaciones anteriores es cierta Solucin: D. La respuesta a es incorrecta porque la cadena yy (n = 0, m = 2) no es aceptada por el autmata. La respuesta b es incorrecta porque hay no determinismo en el 5 estado. La respuesta c es incorrecta porque la existencia de transiciones landa no es condicin suficiente ni necesaria para el no determinismo. 29. Indique cul de las siguientes afirmaciones es cierta: a) Los lenguajes reconocidos por analizadores sintcticos de tipo LR(k) son los lenguajes independientes del contexto b) Todo lenguaje regular puede ser reconocido por un analizador sintctico de tipo LR(k) c) Los analizadores sintcticos de tipo LR(k) se utilizan para reconocer lenguajes independientes del contexto no deterministas, ya que los independientes del contexto deterministas pueden ser reconocidos por los analizadores LL d) Ninguna de las afirmaciones anteriores es cierta Solucin: B.

30. Para toda cadena w, sea na(w) = nmero de as en w y nb(w) = nmero de bs en w. Considere la gramtica: SaSaSbS, SaSbSaS, SbSaSaS, SS, S. Indique cul de las siguientes afirmaciones es cierta: a) Para toda cadena del lenguaje, w, se cumple que na(w) = 2nb(w) b) Para toda cadena del lenguaje, w, se cumple que na(w) = 2nb(w) + 1 c) En toda cadena del lenguaje cada b va seguida de dos as d) Ninguna de las afirmaciones anteriores es cierta Solucin: A. 31. Indique cul de las siguientes afirmaciones es cierta con respecto a los lenguajes L1 y L2 que reconocen (para el alfabeto = {x,y}), las dos mquinas de Turing que se presentan en la figura:

x/R x/R z/R

x/R y/z
Rx R x

a) L1 = L2 b) L1 L2 c) L2 L1 d) Ninguna de las afirmaciones anteriores es cierta Solucin: B. Toda cadena perteneciente a L1 contiene al menos una x, y por tanto es aceptada por el segundo autmata. 32. Indique cul de las siguientes afirmaciones es cierta: a) Una mquina de Turing que siempre termina sus clculos puede aceptar un lenguaje no decidible b) Una mquina de Turing que siempre termina anormalmente reconoce el lenguaje vaco c) Una mquina de Turing que nunca termina sus clculos reconoce el lenguaje formado solamente por la cadena vaca d) Ninguna de las afirmaciones anteriores es cierta Solucin: D. La a es incorrecta porque, si el criterio de aceptacin es la parada, el lenguaje aceptado es *, y si el criterio es que se detenga conteniendo Y en su cinta, tambin se trata de un lenguaje decidible. La b es incorrecta porque tal mquina de Turing acepta el lenguaje vaco pero no lo reconoce (reconocer el lenguaje vaco requiere detenerse con N en la cinta para cualquier cadena). Si no se detiene no acepta ninguna cadena, ni siquiera la cadena vaca (observe que no es lo mismo aceptar slo la cadena vaca que no aceptar ninguna cadena). Septiembre 2003 33. Dado un alfabeto, el nmero mximo de estados de un autmata finito determinista: a) puede ser infinito; b) es directamente proporcional al nmero de cadenas del lenguaje que reconoce; c) no hay nmero mximo;

10

d) depende del alfabeto sobre el que est definido. Solucin: C. 34. Sea L el lenguaje representado por la expresin regular (x* y) (y* x) y L el representado por la expresin regular (x y)* (x y), entonces: a) L L b) L L c) L = L d) No se verifica ninguna de las relaciones anteriores entre L y L Solucin: A. L es el lenguaje formado por todas las cadenas que contienen al menos un smbolo. Por eso L L. Por otro lado, en L hay cadenas que no estn en L, como por ejemplo la cadena xyx. 35. La concatenacin de dos lenguajes del alfabeto es un subconjunto de: a) () b) c) d) Solucin: A. ()=. La concatenacin de dos lenguajes es el lenguaje que resulta al concatenar las respectivas cadenas (la concatenacin de dos cadenas es una nueva cadena) y por tanto pertenece a . = ; es el conjunto de pares ordenados formados por dos smbolos de , y es el conjunto de pares ordenados formados por dos cadenas de . 36. Indique cul de las siguientes afirmaciones es falsa. Para todo autmata de pila M existe un autmata M tal que L(M)=L(M) y M es a) un autmata de pila determinista b) un autmata de pila que vaca su pila antes de aceptar una cadena c) una mquina de Turing que siempre termina sus clculos d) una mquina de Turing que en algunos casos termina anormalmente Solucin: A. Si el lenguaje L es un lenguaje independiente del contexto en sentido estricto, no existir ningn autmata de pila determinista que lo reconozca (los autmatas de pila deterministas son menos potentes que los autmatas de pila no deterministas). La opcin B es cierta, vase el teorema 2.1 del libro de texto (pg. 80). Finalmente, para todo lenguaje independiente del contexto existe una mquina de Turing que lo reconoce, y en particular siempre se puede disear una tal mquina que verifique las propiedades expresadas en las opciones C y D, ya que los lenguajes independientes del contexto son decidibles. 37. Indique cul es el analizador sintctico tipo LL ms sencillo para la siguiente gramtica:

11

S S M N
a) LL(1) b) LL(2) c) LL(3)

xMy xyN xN y

d) No existe ningn analizador sintctico LL con que se pueda analizar la gramtica. Solucin: B. El nico terminal que plantea ambigedad es S. Pero basta con observar dos caracteres para saber si hay que aplicar la primera regla, o la segunda, o rechazar la cadena. 38. Sea n un nmero natural tal que n 2. El nmero total de mquinas de Turing con n estados para un alfabeto y un conjunto de smbolos de cinta dados es: a) finito e independiente del alfabeto y del conjunto de smbolos de cinta; b) infinito; c) finito, y dependiente del alfabeto y del conjunto de smbolos de cinta; d) finito y dependiente slo del alfabeto. Solucin: C. 39. Indique cul de las siguientes afirmaciones es falsa: a) la unin de un nmero finito de lenguajes estructurados por frases es un lenguaje estructurado por frases; b) la interseccin de dos lenguajes estructurados por frases es un lenguaje estructurado por frases; c) todo lenguaje cuyo complementario sea un lenguaje finito es independiente del contexto; d) la interseccin de un lenguaje regular con un lenguaje independiente del contexto es siempre un lenguaje regular. Solucin: D. La unin de dos lenguajes estructurados por frases es un lenguaje estructurado por frases. Esto puede demostrarse mediante gramticas, marcando cada terminal A de la i-sima gramtica como Ai y aadiendo una regla del tipo SSi por cada gramtica. Tambin se podra demostrar este resultado mediante mquinas de Turing, de modo semejante a como se hizo en la fig. 1.27 (pg. 59) del libro de texto para la unin de lenguajes regulares. La interseccin tambin es un lenguaje estructurado por frases. Sean M1 y M2 las mquinas de Turing que aceptan L1 y L2, respectivamente. Sea M una mquina de Turing de dos cintas, que primero copia la cadena de la primera en la segunda, luego simula M1 sobre la primera cinta y, si M1 se detiene, entonces simula M2 sobre la segunda cinta. Por tanto, M se detiene al examinar una cadena si y slo si sta pertenece a la vez a L1 y a L2. Finalmente, todo lenguaje finito es regular, y tiene por tanto como complementario otro lenguaje regular y, en consecuencia, independiente del contexto. En cuanto a la opcin D, es fcil encontrar un contraejemplo que pruebe su falsedad. As por ejemplo, la interseccin del lenguaje regular xnym y el lenguaje independiente del contexto xnyn es el lenguaje independiente del contexto no regular xnyn. 40. Indique cul de las siguientes situaciones no es posible cuando una mquina de Turing determinista examina una cadena: a) la mquina se detiene en el estado de parada;

12

b) la mquina no se detiene nunca; c) se produce una terminacin anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta); d) la mquina abandona los clculos por no encontrar ninguna transicin aplicable. Solucin: D. Puesto que la mquina es determinista, necesariamente encuentra siempre una transicin aplicable. 41. Un lenguaje definido a partir de un alfabeto que contiene un solo smbolo: a) es siempre regular; b) es independiente del contexto, pero puede no ser regular; c) es estructurado por frases, pero puede no ser independiente del contexto; d) puede no ser estructurado por frases. Solucin: D. El conjunto de lenguajes de es no numerable (porque cada cadena puede hacerse corresponder con un nmero natural el que indica su longitud y el conjunto de partes de N es no numerable), mientras que el conjunto de lenguajes estructurados por frases es numerable. 42. Indique cul es el tipo de autmata ms sencillo (menos general) capaz de reconocer el lenguaje xny2n, donde n es un nmero natural: a) un autmata finito; b) un autmata de pila determinista; c) un autmata de pila no determinista; d) una mquina de Turing. Solucin: B. Constryase el autmata, cuidando que sea determinista. Es decir, utilcese una transicin y,x; en vez de ,;. 43. Dado el alfabeto {x, y, z}, indique cul de las siguientes afirmaciones, referidas a la mquina de Turing de la figura, es falsa:

x/R x/R /R z/R

x/R y/z z/L z/R x/z x/R

a) la cinta debe contener al menos una y para que la mquina llegue a detenerse; b) la cinta debe contener la secuencia xy para que la mquina llegue a detenerse; c) para cierta configuracin inicial de cinta, existen varios caminos (series de transiciones) posibles hasta el estado de parada; d) la mquina nunca puede terminar anormalmente. Solucin: C. A y B son ciertas: La mquina se encuentra en el segundo estado si y slo si el ltimo smbolo ledo es x. En el primer estado se encuentra cuando todava no ha aparecido una x, o cuando despus de una x apareci otro carcter distinto de y. D tambin es cierta porque la cabeza de lectura realiza, como mximo, un retroceso, y este retroceso ocurre solamente cuando se han ledo previamente al menos dos smbolos (la secuencia xy ). Sea cual sea la configuracin

13

inicial de la cinta, existe un nico camino posible hacia el estado de parada, ya que la mquina es determinista. 44. Indique cul de las siguientes afirmaciones, relativas a los autmatas representados en la figura, es falsa:

x y y

x y

x y

y
a) el lenguaje aceptado por el autmata de la izquierda es ( x * y o ( x y )*) ;

b) ambos autmatas reconocen el mismo lenguaje; c) el autmata de la izquierda es no determinista; d) el autmata de la izquierda acepta ms cadenas que el de la derecha. Solucin: D. El lenguaje que aceptan ambos es ( x * y o ( x y )*) . 45. Supongamos que la siguiente mquina de Turing se encuentra en el estado inicial con la configuracin xyz Indique cul ser su configuracin final: x,y,z

R L

R R L L

a) xyz b) zyx c) xyz xyz d) xyz zyx Solucin: D. 46. Sea M un autmata y C un conjunto de cadenas aceptadas por el autmata. Se cumple que: a) L(M) = C. b) L(M) C. c) L(M) C. d) L(M) C. Solucin: D. Observe que un conjunto de cadenas aceptadas por M indica que el autmata acepta todas y cada una de las cadenas de C, pero eso no implica que slo acepte las cadenas de C. En cambio, L(M) contiene todas las cadenas que M acepta; vase la definicin de L(M) en la pg. 37 del libro de texto. 47. Sea M un autmata de pila que contiene la transicin (i, y, , j, ); sea M el autmata resultante de sustituir dicha transicin por (i, y, x, j, x). Indique cul de las siguientes afirmaciones es cierta:

14

a) L(M) = L(M), cualquiera que sea M b) L(M) L(M), cualquiera que sea M c) L(M) L(M), cualquiera que sea M d) No se verifica ninguna de las relaciones anteriores entre L(M) y L(M) Solucin: C. El nmero de cadenas aceptadas puede disminuir, pero nunca puede aumentar. Piense, por ejemplo, en un autmata M que tenga i como estado inicial, j como estado de aceptacin, y solamente la transicin indicada en el enunciado. 48. Sea L un lenguaje generado por una gramtica libre de contexto en forma normal de Chomsky (G). Existe otra gramtica en forma normal de Chomsky que genere el complemento de L? a) s, para toda gramtica G; b) no, nunca; c) existe si y slo si L(G) es un lenguaje regular; d) existe si y slo si L(G) es un lenguaje independiente del contexto. Solucin: B. Porque el complemento de L contiene necesariamente la cadena vaca.
Septiembre 2003 (Reserva)

49. Sea L el lenguaje representado por la expresin regular (x y)(x y)* y L el lenguaje que reconoce el siguiente autmata: x x y y a) L L b) L L c) L = L d) No se verifica ninguna de las relaciones anteriores entre L y L. Solucin: C. En ambos casos se trata del lenguaje formado por las cadenas que contienen un solo smbolo. 50. Sea L un lenguaje regular. Indique cul de los siguientes lenguajes puede no ser regular: a) L1 = {x | x L y x-1 L}, es decir, el subconjunto de L formado por aquellas cadenas cuya inversa tambin est en L; b) L2 = {w * | u *, w u L}, es decir, el conjunto de cadenas que son prefijo de alguna cadena de L; c) L3 = {x | x L1 y x-1 L}, conjunto de cadenas de L1 (definido en la opcin a) cuya inversa est en L; d) L4 L1 (es decir, L4 es un subconjunto cualquiera de L1).

15

Solucin: D. Sea L-1 el lenguaje (regular) formado al invertir cada cadena de L. La condicin x L y x-1 L es equivalente a x L y x L-1 y por tanto L1 es la interseccin de dos lenguajes regulares y es regular. Tambin L2 es un lenguaje regular: podemos tomar un autmata finito M tal que L(M) = L y cambiar por estados de aceptacin todos los estados que se encuentren en algn camino entre el estado inicial y algn estado de aceptacin. L3=L1 (por definicin, si x L1 entonces x-1 L) y por tanto tambin es regular. En cuanto a L4, aun siendo un subconjunto de un lenguaje regular, puede no ser regular. Supongamos L = {xnym}{xnym}-1. Entonces, L1=L, y un subconjunto de L es xnyn, lenguaje independiente del contexto no regular.

51. Indique cul de las siguientes afirmaciones es falsa: a) un autmata finito determinista de q estados y n smbolos tiene n q transiciones; b) un autmata finito no determinista de q estados y n smbolos puede tener a lo sumo n q2 transiciones; c) todo autmata finito definido para un alfabeto con n smbolos debe contener al menos n transiciones; d) el nmero mximo de transiciones de un autmata finito determinista depende del nmero de estados y del nmero de smbolos del alfabeto del autmata. Solucin: C. El conjunto de transiciones de un autmata no-determinista puede ser cualquier subconjunto de S S , incluso el conjunto vaco. 52. Dado el alfabeto ={x, y, z}, indique cul de las siguientes afirmaciones es verdadera: a) la expresin regular y*(xy*x)*y* representa el lenguaje formado por todas las cadenas que contienen un nmero par de xs ; b) la gramtica S SS, S xy, S yx genera el lenguaje formado por las cadenas que contienen tantas xs como ys; c) el lenguaje formado por las cadenas que contienen la secuencia xyxz es regular; d) el lenguaje xnynzn no es decidible. Solucin: C. A es falsa: la expresin regular no representa la cadena xxyxx. B tambin es falsa: la gramtica no genera xxyy. C es verdadera, es fcil disear un autmata finito que reconozca dicho lenguaje. Finalmente, D es falsa: el lenguaje xnynzn es decidible (la mquina de Turing que lo decide puede consultarse en la figura 3.28 del libro de texto). 53. En un cierto autmata de pila determinista existe una transicin (i, , , j, x). El nmero total de trancisiones que debe partir del estado i es: a) una; b) dos; c) ms de dos; d) depende del alfabeto. Solucin: A. Est claro que, por ser determinista, la transicin (i, , , , ) excluye (i, x, , , ), (i, , y, , ), (i, x, y, , )y todas aqullas en que contengan otros smbolos en vez de x e y; es decir, no hay ms que una transicin desde el estado i. 54. Sea L un lenguaje generado por una gramtica en forma normal de Chomsky. El complemento de L, es un lenguaje regular? a) s, para todo L; b) no, nunca; c) lo es si y slo si L es regular;

16

d) puede se regular aunque L no lo sea. Solucin: C. El complemento de L es regular si y slo si L es regular, ya que el complemento de un lenguaje regular siempre es regular. 55. Cul es el analizador predictivo ms sencillo para la siguiente gramtica?

S S M N

xxMy xyN yN x

a) LR(2) b) LR(3) c) LL(2) d) LL(3). Solucin: D. El analizador predictivo ms sencillo es LL(2). 56. El lenguaje xmynzp, donde m, n y p son enteros no negativos tales que m+n=p, es: a) regular; b) independiente del contexto determinista (en sentido estricto); c) independiente del contexto no determinista (en sentido estricto); d) estructurado por frases (en sentido estricto). Solucin: B. Para demostrarlo hay que construir el autmata, cuidando que sea determinista. 57. Para un alfabeto no vaco, el conjunto de lenguajes finitos es: a) finito; b) infinito contable (numerable); c) infinito no contable (no numerable); d) depende del alfabeto. Solucin: B. Porque es un subconjunto de los lenguajes regulares, que son contables. 58. Dado el alfabeto ={0,1}, considere los lenguajes L1= {0n1n, | n 1}, L2= {cadenas con igual nmero de 1s que de 0s} y L3= {cadenas en que cada 1 va inmediatamente seguido de un 0}. Indique cul de las siguientes afirmaciones es verdadera: a) ninguno de los lenguajes es regular; b) slo el segundo y el tercero son regulares; c) L1 L2 y L3 L2; d) L1 y L2 son independientes de contexto. Solucin: D. L1 y L2 son independientes de contexto en sentido estricto. L3 es regular. La respuesta c es falsa porque 100 pertenece a L3 pero no a L2. 59. Sea L1 el lenguaje generado por la siguiente gramtica: SA, SB, Aab, AaCb, Cab, CaCb, BaBa, Bb Considere el lenguaje: L2 = {anbn, | n 1} {anban, | n 1} y seale cul de las afirmaciones siguientes es cierta:

17

a) L1 = L2 b) L1 L2 c) L2 L1 d) No se verifica ninguna de las relaciones anteriores entre L1 y L2 Solucin: C. Las reglas que contienen los no-terminales A o C generan el lenguaje {anbn | n 1}. Las que contienen B generan {anban | n 0}. Por eso L1 = {anbn, | n 1} {anban, | n 0}. 60. Si iniciamos la mquina de Turing siguiente con la configuracin de cinta yyxyxx ...: a) la mquina llega al estado de parada; b) la mquina entra en un bucle y no termina nunca; c) se produce una terminacin anormal; d) la mquina abandona los clculos.

x/R

x/R y/L y/R y/x x/R

Solucin: B. Basta anotar el estado y dibujar la cinta para cada transicin.

61. Indique cul de las siguientes afirmaciones es falsa: a) para toda mquina de Turing no determinista M existe una gramtica estructurada por frases que genera L(M); b) la tesis de Turing implica que los lenguajes ms generales que existen son los lenguajes estructurados por frases; c) la tesis de Turing implica que ningn ordenador podr reconocer un lenguaje no estructurado por frases; d) la unin de dos lenguajes decidibles (por mquinas de Turing) siempre es decidible. Solucin: B. Porque el conjunto ms general de lenguajes es incontable, mientras que el conjunto de los lenguajes estructurados por frases es contable (como lo es el conjunto de todas las posibles mquinas de Turing). La A es verdadera porque para toda mquina de Turing no determinista existe una mquina determinista equivalente. La tesis de Turing implica que los lenguajes ms generales que pueden reconocer las mquinas de Turing son los lenguajes estructurados por frases, y esta tesis define el lmite de potencia computacional de cualquier ordenador, luego C es verdadera. Tambin D es verdadera: sea M1 la mquina que decide el primero y M2 la que decide el segundo. Podemos construir una mquina de Turing M (de dos cintas) que simule primero M1 sobre la primera cinta y luego M2 sobre la segunda; si el contenido de al menos una de las cintas es Y, la mquina M limpia la segunda cinta y escribe Y en la primera; si las dos cintas contienen N, la mquina M limpia la segunda cadena y se detiene. 62. Indique cul de los siguientes lenguajes genera esta gramtica:

18

S X X Y X xXy Y xxYy X Y m n a) el lenguaje x y tal que n m 2n; b) el lenguaje xmyn tal que 2m = 3n; c) el lenguaje xmyn tal que n m < 2n; d) el lenguaje xmyn tal que n < m 2n. Solucin: A. Para generar la cadena xmyn hay que aplicar la primera regla, luego la tercera 2nm veces, la segunda y despus la cuarta mn veces.

63. Sea el alfabeto {0, 1, 2, 3, 4}. El lenguaje formado por todas las cadenas tales que la suma de sus smbolos vale 100 es un lenguaje: a) regular; b) independiente del contexto determinista, en sentido estricto; c) independiente del contexto no determinista, en sentido estricto; d) estructurado por frases, no independiente del contexto. Solucin: A. Dentro de este lenguaje, las cadenas que no contienen el 0 forman un subconjunto finito. Para cada una de esas cadenas podemos construir una expresin regular para considerar la posibilidad de que haya 0s; por ejemplo, de 4323... pasaramos a 0*40*30*20*30*... Uniendo todas estas expresiones regulares obtenemos la expresin regular que representa el lenguaje. Otra forma de demostrarlo consiste en construir un autmata finito para el sublenguaje finito y despus aadir un bucle rotulado con 0 para cada estado. Tambin se puede hacer un razonamiento similar basado en una gramtica regular. 64. Indique cul de las siguientes afirmaciones, referidas a la mquina de Turing RxLx, es verdadera: a) al iniciar sus clculos con la cabeza sobre la celda del extremo izquierdo de la cinta, la mquina tiene una terminacin anormal si y slo si hay una x registrada en algn lugar de la cinta; b) al iniciar sus clculos con la cabeza sobre la celda del extremo izquierdo de la cinta, la mquina termina sus clculos si y slo si hay una x registrada en algn lugar de la cinta; c) el lenguaje aceptado por esta mquina es el lenguaje vaco; d) el lenguaje aceptado por esta mquina contiene slo la cadena vaca. Solucin: C. La A es falsa porque puede haber una x en la primera celda de la cinta; en ese caso la cabeza se desplazara hacia la derecha, en un bucle infinito. La B es falsa por la misma razn.