TEORA DE AUTMATAS I

Informtica de Sistemas

Soluciones a las cuestiones de examen del curso 2004/05 Febrero 05, 1 semana 1. Indique cul de las siguientes afirmaciones es verdadera: a) Los autmatas finitos tienen un nmero finito de estados b) Los autmatas finitos slo pueden aceptar lenguajes finitos c) Las mquinas de Turing y los autmatas de pila son autmatas finitos Solucin: A. 2. Si L1 es el lenguaje representado por la expresin regular 1(00 1)*((10)* 101)* y L2 el reconocido por el autmata de la figura, entonces (Nota: el smbolo denota la relacin de inclusin estricta):
0 1 1

0 1 1 1 0 1 1 0

a) L1 L2 b) L2 L1 c) L1 = L2 Solucin: C. 3. Indique cul de los siguientes lenguajes no es regular: a) L = { w {0,1}* | cada bloque de 5 smbolos consecutivos contiene al menos dos ceros} b) L = { w {0,1}* | contiene dos ceros separados por un nmero finito de dgitos que es mltiplo de cuatro} c) L = { w {0}* | contiene aquellas cadenas cuya longitud es un cuadrado perfecto} Solucin: C. Los autmatas finitos de las siguientes figuras aceptan, respectivamente, los lenguaje de las opciones a) y b). El lenguaje de la opcin c) no es ni siquiera independiente del contexto; es fcil ver que no verifica el lema de bombeo para lenguajes independientes del contexto.

4. Indique cul de las siguientes afirmaciones es verdadera: a) Si L es un lenguaje regular, entonces L* = (L*)* b) {}* {} c) Para todo lenguaje L, L* (L*)* Solucin: . La opcin a) es correcta. Por definicin, L* (L*)*. Veamos ahora que (L*)* L*. Supongamos w (L*)*, w = w1...wn. Por definicin de la estrella de Kleene, i [1..n], wi = wi1...wimi, con wij L, 1 j mi, mi N. Por tanto, w = w11.....w1m1.............wn1...wnmn. 5. Indique cul de las siguientes afirmaciones es verdadera con respecto al autmata de la figura:

, x; x,; x y,; y x, x; y, y; , y;
a) Es determinista. b) Es no determinista (en sentido estricto) c) Es no determinista (en sentido estricto) slo si el alfabeto de la mquina incluye ms smbolos que x e y Solucin: B. Para la cadena xx, despus de la transicin x,;x existen dos posibilidades: ,x; y x,x;. 6. Dados dos lenguaje regulares, indique cul de las siguientes afirmaciones es verdadera: a) Siempre es posible disear un algoritmo que determine si tienen alguna cadena en comn b) Existe tal algoritmo slo cuando alguno de los dos lenguajes es finito c) Existe tal algoritmo slo cuando ambos lenguajes son finitos Solucin: A. Puesto que los lenguajes son regulares, el algoritmo podra basarse en el autmata finito que reconoce su interseccin (las interseccin de dos lenguajes regulares es siempre un lenguaje regular, y por tanto dicho autmata siempre existe). 7. Sea c(L) el complementario de L. a) Es posible que existan dos gramticas en forma normal de Chomsky, una para L y otra para c(L) b) Es imposible que existan dos gramticas en forma normal de Chomsky, una para L y otra para c(L) c) Existe una gramtica G en forma normal de Chomsky tal que bien L(G) = L o bien L(G) = c(L).

Solucin: B. Una gramtica en forma normal de Chomsky no puede generar la cadena vaca. (La respuesta C no es correcta porque puede ocurrir que ni L ni c(L) sean independientes de contexto.) 8. Supongamos un lenguaje L aceptado por un autmata de pila M. Entonces, el autmata MC, obtenido al intercambiar en M estados de aceptacin por estados de no aceptacin y viceversa: a) Acepta siempre el lenguaje LC, lenguaje complementario de L b) Slo podemos asegurar que acepta LC si M es un autmata determinista c) Slo podemos asegurar que acepta LC si M es un autmata finito Solucin: B. 9. Indique cul de las siguientes expresiones regulares no representa al lenguaje de = {a,b,c} que consiste en cadenas con uno o ms pares ab tal que entre cada par puede haber exactamente una c o ninguna: a) ((a b c) (a b))* (a b) b) (a b) ((a b) (c (a b)))* c) (a b) ((a b) ( (a b) c ))* Solucin: C. 10. Dado el alfabeto = {x, y, z}, indique cul de las siguientes afirmaciones referente a la mquina de Turing de la figura es verdadera: R x,y,z } SL R L L a) El lenguaje aceptado por la mquina es independiente del contexto y no regular b) El lenguaje aceptado por la mquina es estructurado por frases y no independiente del contexto c) La mquina puede tener una terminacin anormal Solucin: A. Se trata del lenguaje formado por los palndromos de {x, y, z}, que es independiente del contexto y no regular. 11. Considere la mquina de Turing (S={,p,q,r,s,t,h}, ={a,b,c}, ={a,b,c,}, , , h}) definida por la siguiente funcin de transicin : (, a) = (p, b) (p, a) = (, R) (q, a) = (r, b) (r, a) = (q, R) (s, a) = (s, L) (, b) = (p, a) (p, b) = (, R) (q, b) = (r, a) (r, b) = (q, R) (s, b) = (s, L) (s, c) = (s, ) (q, c) = (s, L) (, c) = (q, R) R

(s, ) = (t, R) (t, a) = (t, R) (t, b) = (t, R) (t, c) = (q, R) Indique ahora cul de las siguientes afirmaciones es falsa: a) Cuando la mquina se arranca con las primeras celdas de su cinta escritas con una cadena {a,b,cc}* y el resto en blanco, sustituye cada a por una b y reemplaza cada c por un blanco b) Cuando la mquina se arranca con las primeras celdas de su cinta escritas con la cadena ababab y el resto en blanco, la sustituye por la cadena bababa y abandona los clculos c) La mquina nunca tiene una terminacin anormal Solucin: A. La mquina sustituye por un blanco todos los smbolos c de la cadena exceptuando el ltimo. 12. Indique cul de los siguientes lenguajes es independiente del contexto: a) L = {an x n| n 0} b) L = {www | w {a,b}*} c) L = {ambncp | m n o bien n p o bien m p } Solucin: C. Es fcil ver que el lenguaje de la opcin c) puede verse como unin de lenguajes independientes del contexto. Los dos primeros lenguajes no verifican el lema de bombeo para lenguajes independientes del contexto. 13. Indique cul de las siguientes afirmaciones es falsa: a) Todo lenguaje decidible es independiente del contexto b) Si L es un lenguaje decidible por mquinas de Turing, tambin lo es el lenguaje complementario de L c) Si L es decidible, tambin lo es el lenguaje formado por las cadenas inversas de L. Solucin: A. La opcin a) es falsa (contraejemplo: {ww | w {0,1}*). La opcin c) es verdadera: si M es la mquina de Turing que reconoce L, es posible obtener una mquina que reconozca el lenguaje de las cadenas inversas de las cadenas de L sin ms que preceder M de operaciones que inviertan la cadena de entrada. 14. Considere la gramtica G1 = {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC} y G2 = {S aS/ aA/ a, A bS}. Sean L1 y L2 los lenguajes generados respectivamente por G1 y G2; entonces (Nota: el smbolo denota la relacin de inclusin estricta): a) L1 L2 b) L2 L1 c) L1 = L2 Solucin: C. Las reglas que implican a los no terminales B y C no generan ninguna cadena. 15. Considere la gramtica G = {S aS/ aA/ a, A aA / bS}. Cuntas cadenas de longitud menor o igual a cuatro genera?

a) 6 b) 7 c) 8 Solucin: B. Las cadenas son: {a,aa,aaa,aaaa,abaa,aaba,abab}. 16. Indique cul de las siguientes afirmaciones es verdadera: a) La tesis de Turing implica que para todo lenguaje existe una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito. b) La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. c) Dada una mquina de Turing, existe una gramtica estructurada por frases que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es determinista. Solucin: B. Existen lenguajes no computables, que no son estructurados por frases y que ninguna mquina de Turing acepta. La opcin C tambin es falsa: dada una mquina de Turing, existe una gramtica estructurada por frases que genera el lenguaje aceptado por el autmata. Febrero 05, 2 semana 17. Indique cul de las siguientes afirmaciones es verdadera: a) Nunca se puede afirmar con seguridad que un autmata finito no determinista acepta una cadena b) Un autmata finito no determinista slo puede utilizarse para aceptar lenguajes finitos c) Un autmata finito no determinista acepta una cadena cuando es posible que su anlisis deje a la mquina en un estado de aceptacin Solucin: C. 18. Si L1 es el lenguaje reconocido por el autmata situado en la parte superior de la figura, y L2 situado en la parte inferior, entonces (Nota: el smbolo denota la relacin de inclusin estricta):

0 0 1 0 1 1 0

1 0

1 0 1 0 0 0 0 1 0 0 1 1 1

a) L1 L2 b) L2 L1 c) L1 = L2 Solucin: C. El segundo autmata se obtiene eliminando el no determinismo del primero. 19. Indique cul de las siguientes afirmaciones es verdadera: a) Un autmata finito no determinista es una representacin abreviada de un autmata finito determinista b) En un diagrama completo que represente a un autmata finito determinista, de cada estado sale un arco por smbolo y slo uno c) Los autmatas finitos no deterministas son ms potentes que los autmatas finitos deterministas Solucin: B. 20. Indique cul de los siguientes lenguajes no es regular: a) L = { w {0,1,2,3,4,5}* | su ltimo smbolo aparece al menos dos veces} b) L = { w {0,1}* | el smbolo que ocupa la posicin k (k 1) de w es un 1} c) L = {www | w {0,1}*} Solucin: C. Los autmatas finitos de las siguientes figuras aceptan, respectivamente, los lenguaje de las opciones a) y b). El lenguaje de la opcin c) ni siquiera es independiente del contexto (no verifica el lema de bombeo de los lenguajes independientes del contexto). 21. Indique cul de los siguientes afirmaciones es falsa: a) {a,b}* = {a}*{{b}{a}*}*

b) {b*a*} {a*b*} = a* b* c) abcd (a(cd)*b)* Solucin: C. 22. Sea el lenguaje L = { wwi | w {a,b}* y wi denota la cadena que resulta al invertir la cadena w. Indique cul de las siguientes afirmaciones es falsa: a) L no es un lenguaje regular b) Sea una cadena wwi del lenguaje con w=uv, wi= viui; es posible generar otras cadenas del lenguaje sin ms que bombear (repetir) la subcadena central vvi c) L cumple el lema de bombeo para lenguajes regulares, luego es regular Solucin: C. Se trata del lenguaje de palndromos de {a,b}, lenguaje que no es regular. 23. Indique cul de los siguientes lenguajes no es independiente del contexto: a) L = {ambncpdq | n = q o bien m p o bien m + n = p + q} b) L = {ambncp | m = n o bien n = p o bien m = p} c) L = {ambncp | m = n y n = p y m = p } Solucin: C. Es fcil ver los dos primeros lenguajes como unin de lenguajes independientes del contexto. El ltimo de los lenguajes no verifica el lema de bombeo para lenguajes independientes del contexto. 24. Sea M un autmata finito determinista de n estados que acepta el lenguaje L Indique cul de las siguientes afirmaciones es falsa: a) L es infinito si y slo si existe w L tal que n |w| < 2n. b) L es infinito si y slo si existe w L tal que |w| n. c) Si L es infinito, es posible que no exista ningn w L | |w| < n. Solucin: C. Si L es infinito forzosamente existen cadenas de longitud mayor que cualquier nmero entero, luego b) es cierta. Si el nmero de estados del autmata es n, entonces toda cadena reconocida recorriendo una nica vez cada bucle del autmata tiene necesariamente una longitud < n, luego c) es falsa. Finalmente, aplicando el lema de bombeo a una cadena de longitud < n siempre puede obtenerse una cadena de longitud < 2n. 25. Considere la mquina de Turing (S={,p,q,r,s,t,v,h}, ={a,b,c}, ={a,b,c,*,}, , , h}) definida por la siguiente funcin de transicin : (, 1) = (p, ) (p, ) = (q, R) (q, *) = (r, ) (r, ) = (h, R) (t, ) = (s, R) (s, 1) = (s, R) (s,*) = (v, 1) (q,1) = (t, )

(v,1) = (h, 1) Indique ahora cul de las siguientes afirmaciones es falsa: a) La mquina podra utilizarse para sumar dos enteros no negativos n1 y n2, donde n1 se representara en las primeras celdas de la cinta mediante una cadena de n1 + 1 unos consecutivos seguidos de un * y n2 se representara a continuacin mediante una cadena de n2 + 1 unos consecutivos tambin seguidos de un *. Una vez detenida la mquina las primeras celdas de la cinta quedaran escritas por dos smbolos en blanco seguidos de n1 + n2 + 1 unos consecutivos, seguidos de un *. b) La mquina nunca tiene una terminacin anormal. c) Cuando se omite cualquiera de los dos smbolos *, la mquina desplaza su cabeza a la derecha repetidamente y nunca se detiene. Solucin: C. Basta con provar con una configuracin inicial de cinta: 1*11 26. Si iniciamos la mquina de Turing de la figura con la cadena yx ..., a) La mquina se detiene al cabo de un cierto nmero de operaciones, habiendo modificado el contenido de su cinta b) La mquina termina anormalmente c) La mquina entra en un bucle y no termina nunca R L Solucin: A. 27. Indique cul de las siguientes afirmaciones es falsa: a) El lenguaje {w {a,b}* | w contiene al menos una a} es decidible por mquinas de Turing b) El lenguaje {w {a,b}* | w contiene tantas as como bs} es decidible por mquinas de Turing c) El lenguaje {w {a,b}* | w contiene tantas as como bs} no es decidible por mquinas de Turing Solucin: C. Los tres lenguajes descritos son independientes del contexto, y por tanto decidibles por mquinas de Turing. 28. Considere la gramtica G = {S AA, A AAA, A a, A bA, A Ab}. Indique cul de las siguientes afirmaciones es verdadera: a) Existen al menos cuatro derivaciones distintas para la cadena babbab b) Slo existe una forma posible de derivar la cadena a partir de la gramtica c) Existen exactamente tres derivaciones distintas. Solucin: A. 29. De entre las siguientes afirmaciones, seale la afirmacin verdadera: x, y } u # R R u L# u

a) Para cada autmata finito no determinista M existe una gramtica en la forma normal de Chomsky que genera el lenguaje L(M), siempre que ste no contenga la cadena vaca b) Para todo autmata de pila determinista M que vaca su pila antes de aceptar una cadena existe una gramtica regular que genera el lenguaje L(M). c) Las mquinas de Turing no deterministas son ms potentes que las deterministas Solucin: A. Porque todo autmata finito, no determinista o determinista, acepta un lenguaje regular, y todo lenguaje regular que no contenga la cadena vaca puede escribirse en la forma normal de Chomsky 30. Considere las gramticas G1 = {S B / C, B a / Bb / Ca, C b / Ba} y G2 = {S B / C, B aD / baD, D bD / aaD / , C b / Ba }. Sean L1 y L2 los lenguajes generados respectivamente por G1 y G2; entonces (Nota: el smbolo denota la relacin de inclusin estricta): a) L1 L2 b) L2 L1 c) L1 = L2 Solucin: C. 31. Indique cul de las siguientes afirmaciones es falsa: a) Todo conjunto finito de cadenas es un lenguaje regular b) Si L es un lenguaje aceptable por mquinas de Turing, tambin lo es el lenguaje complementario de L c) Mediante autmatas de pila de 2 pilas podra reconocerse un mayor nmero de lenguajes que mediante los usuales autmatas de una sola pila. En cada transicin, el autmata podra almacenar y leer datos de dos pilas distintas. Solucin: B. 32. Indique cul de las siguientes afirmaciones es verdadera: a) La concatenacin de un lenguaje regular con su complementario puede no ser regular b) La concatenacin de un lenguaje estructurado por frases decidible y su complementario puede no ser estructurado por frases c) El complementario de un lenguaje independiente de contexto puede ser regular Solucin: C. El complementario de un lenguaje regular es regular, y la concatenacin de dos lenguajes regulares es siempre regular. El complementario de un lenguaje estructurado por frases es estructurado por frases, y la concatenacin de dos lenguajes estructurados por frases es un lenguaje estructurado por frases. Finalmente, el complementario de un lenguaje independiente del contexto regular, por ejemplo, es siempre regular. Septiembre 05, original 33. Dado el lenguaje L = {a, abb, ba, bbba, b, } indique cuntas cadenas de longitud estrictamente menor que 3 hay en L*:

10

a) 7 b) 8 c) 9 Solucin: A. L* = { , a,b,aa,ab,ba,bb}. 34. Sea un lenguaje estructurado por frases L. El lenguaje formado al invertir cada cadena de L (por ejemplo, al invertir la cadena xyz se obtiene zyx), es estructurado por frases? a) S, siempre b) Slo si L es decidible c) Slo si L es independiente del contexto Solucin: A. Partiendo de una gramtica estructurada por frases para L, basta invertir cada uno de los lados de las reglas (por ejemplo, la regla xNyMNz se convertira en NxzNMy). As se obtiene una gramtica para L1. 35. Sea L1 el lenguaje generado por la expresin regular (xy)* (xz y) (zz)* y L2 el lenguaje generado por la expresin regular (xy)* (xz y) (zz)* (zy (xy)* (xz y) (zz)*)*. Considere el autmata de la figura e indique cul de las siguientes afirmaciones es verdadera: a) Ambas expresiones regulares representan el mismo lenguaje, que coincide con el reconocido por el autmata b) Ambas expresiones regulares representan el mismo lenguaje, pero ste no coincide con el reconocido por el autmata c) Las expresiones regulares representan distintos lenguajes x y y Solucin: C. La expresin regular (xy)* (xz y) (zz)* (zy (xy)* (xz y) (zz)*)* representa el lenguaje reconocido por el autmata, que no coincide con el representado por la expresin regular (xy)* (xz y) (zz)* (sta no representa, p.e., la cadena yzyy). 36. Dado el alfabeto {x, y}, queremos construir un autmata de pila M tal que L(M) sea el lenguaje en cuyas cadenas hay tres xs por cada dos ys. Es correcta la siguiente solucin? (Se entiende que cada transicin que inserta o lee varios smbolos en la pila representa en realidad varias transiciones consecutivas.) z z

11

,;# y,aaa; y,;bbb a) S b) No

x,;aa

x,bb; ,#;

c) La figura no representa realmente un autmata de pila, ya que podra simplificarse en forma de un autmata finito Solucin: B. El autmata no acepta la cadena xyyxx. 37. Sean dos lenguajes tales que L1 L2 y L2 es independiente del contexto no determinista. Es posible que L1 sea independiente del contexto? a) S, y puede ser determinista b) No c) Slo puede ser independiente del contexto no determinista Solucin: A. Ejemplo: L1 = {xnyn}, L2 = { xnyn } { xny2n }. 38. Considere la gramtica S Rc, R aRbR, R . Siendo w una cadena cualquiera generada por dicha gramtica, indique cul de las siguientes afirmaciones es falsa: a) w = xc | x (a b)* b) El nmero de letras a es igual al de letras b en w c) El nmero de letras a es mayor o igual al de letras b en todo prefijo de w. Prefijo de una cadena w es toda cadena no vaca x para la que existe una cadena u tal que w = xu. Solucin: A. P.e., la cadena w = ac no es generada por la gramtica. 39. Considere el lenguaje L definido por las siguientes condiciones: 1) b L y L; 2) Si x L entonces axb L y bxa L; 3) Si x,y L entonces xy L. Sea L = {w (ab)* | el nmero de letras b es mayor o igual que el nmero de letras a}. Indique cul de las siguientes afirmaciones es verdadera (Nota: el smbolo denota la inclusin estricta): a) L L b) L L c) L = L Solucin: C. L y L coinciden. Es fcil ver que si una cadena pertenece al lenguaje L verifica las condiciones del lenguaje L. Del mismo modo, toda cadena de L puede generarse mediante las reglas del lenguaje L. Las reglas de los apartados 1) y 2) garantizaran la generacin de cadenas con mayor o igual nmero de letras b que a, pero con una cierta simetra con respecto a la posicin central de la cadena (si en una

12

posicin dada se encontrara una a, en la posicin simtrica se encontrara una b); al aadir la regla del apartado 3) se posibilita la generacin de toda cadena de L. 40. Si una gramtica independiente del contexto tiene todas sus reglas de la forma: A wB, o bien de la forma A w, donde w es una cadena de uno o ms terminales, y A y B son smbolos no terminales, entonces el lenguaje generado por dicha gramtica es: a) Regular b) Independiente del contexto no regular c) Estructurado por frases y no independiente del contexto Solucin: A. 41. Indique cul de los siguientes lenguajes es regular: a) La interseccin de los lenguajes L = a*(b c)* y L= {x (abc)* | el nmero de letras a en x coincide con la suma del nmero de letras b y c} b) L = {x (abc)* | el nmero de letras c en x coincide con la suma del nmero de letras a y b} c) Comentarios de cierto lenguaje de programacin consistentes en una cadena encerrada entre /* y */, sin contener */ salvo que est encerrado entre comillas (P.e., un comentario vlido sera: /* el smbolo */ es para cerrar el comentario */). Solucin: C. El lenguaje podra representarse mediante la siguiente expresin regular: /*(*/)* */ 42. Indique cul de las siguientes afirmaciones es verdadera: a) La unin de infinitos conjuntos no regulares no puede ser regular b) La estrella de Kleene de un lenguaje no regular puede ser regular c) Un conjunto cuyo complementario sea finito puede no ser regular Solucin: B. La unin de infinitos conjuntos no regulares puede ser regular ( la unin infinita de los lenguajes Lm= xnyn+m es un lenguaje regular). Un conjunto cuyo complementario sea finito (L) puede expresarse como diferencia entre dos conjuntos regulares (*-L), y por tanto es regular. La estrella de Kleene de un lenguaje no regular puede ser regular (p.e. dado L = {xj, | j nmero primo}, L* es regular). 43. Considere un alfabeto no vaco . Indique cul de las siguientes afirmaciones es verdadera: a) El nmero de lenguajes sobre es infinito numerable b) El nmero de lenguajes sobre es infinito no numerable c) Depende de Solucin: B. 44. Indique cul de las siguientes afirmaciones es falsa: a) Una gramtica formal estructurada por frases siempre puede describirse mediante reglas de reescritura

13

b) Derivar una cadena de una gramtica formal es aplicar reglas sustituyendo el lado izquierdo por el derecho hasta llegar a una secuencia de smbolos terminales c) Se dice que un lenguaje es generado por una gramtica cuando todas sus cadenas pueden derivarse de dicha gramtica Solucin: C. Un lenguaje es generado por una gramtica cuando todas sus cadenas y SOLAMENTE sus cadenas pueden derivarse de dicha gramtica. Por ejemplo, la gramtica: S xSy S no genera el lenguaje L = {xy}, a pesar de que todas las cadenas de L pueden derivarse de ella. L es slo un subconjunto del lenguaje generado. 45. Indique cul de las siguientes afirmaciones es falsa: a) Cada regla de reescritura de una gramtica independiente del contexto puede aplicarse sin importar el contexto donde se encuentre el smbolo no terminal que reescribe b) En todo lenguaje independiente del contexto que contiene un nmero infinito de cadenas existe una cadena de la forma svuwt, donde s,v,u,w y t son subcadenas, por lo menos una de v, u y w no vaca, y svnunwnt est en el lenguaje para cada n N+ c) Toda gramtica independiente del contexto que no genere la cadena vaca puede expresarse en la forma normal de Chomsky Solucin: B. P.e, el lenguaje xnzyn es independiente del contexto y no verifica esta condicin. S verifica, por el contrario, el lema de bombeo, de enunciado ligeramente distinto: en todo lenguaje independiente del contexto que contiene un nmero infinito de cadenas existe una cadena de la forma svuwt, donde s,v,u,w y t son subcadenas, por lo menos una de v y w no vaca, y svnuwnt est en el lenguaje para cada n N+. 46. Indique cul de las siguientes afirmaciones es falsa: a) Una mquina de Turing es capaz de aceptar una cadena sin leer todos sus smbolos b) La mquina de Turing denotada como Rx es aquella que recorre la cinta a la derecha de su posicin inicial en busca de una celda que contenga el smbolo x: si lo encuentra se detiene y en caso contrario continua la bsqueda hasta tener una terminacin anormal c) Si existe una mquina de Turing que slo se detiene con las cadenas de un lenguaje, entonces existe una mquina de Turing que slo se detiene con las cadenas de dicho lenguaje y con la configuracin de cinta Y Solucin: B. La mquina se desplaza hacia la derecha y por tanto no puede tener una terminacin anormal. 47. Suponga que se desea construir una mquina de Turing que enumere en orden sobre su cinta todos los nmeros enteros. Indique cul de las siguientes afirmaciones es verdadera: a) La mquina necesariamente habra de proporcionar el resultado en notacin binaria b) La mquina podra devolver el resultado en notacin decimal

14

c) No existe ninguna mquina de Turing, ya que el problema planteado no es computable Solucin: B. Es fcil construir una mquina de Turing que enumere en orden sobre su cinta todos los nmeros enteros, y nada impide que se escriban nmeros en notacin decimal en su cinta. 48. Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx, a) La mquina acepta la cadena b) La mquina entra en un bucle y no termina nunca c) Hay una terminacin anormal 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.

Septiembre 05, reserva 49. Sea L el lenguaje sobre el alfabeto = {0,1} cuyas cadenas verifican las siguientes restricciones: si una cadena tiene menos de 5 unos, entonces tiene un nmero par de unos, si una cadena tiene 5 unos o ms, entonces contiene un nmero impar de unos, cualquier cadena contiene al menos un uno.

El lenguaje L: a) Es regular b) Es independiente del contexto determinista y no es regular c) Es independiente del contexto no determinista en sentido estricto Solucin: A. Es reconocido por el siguiente autmata finito determinista:

15

0 1

0 1

0 1

0 1

0 1

0 1 1

50. Supongamos que el autmata de la siguiente figura ha llegado al estado de aceptacin despus de procesar la cadena xy. Cul es el contenido de la pila? a) La pila est vaca b) La pila contiene una x c) No existe una respuesta nica x, ; x x, ; , ; x, y; y, ; y, x; Solucin: C. Hay dos caminos posibles para llegar al estado de aceptacin: {x,;}{y,;} y {,;}-{x,;x}-{y,;}. 51. Sea L un lenguaje estructurado por frases no decidible. Es posible que su complementario sea independiente del contexto? a) Slo si L es independiente del contexto b) S, aunque L no sea independiente del contexto c) No Solucin: C. No, porque si el complementario c(L) fuera independiente del contexto, entonces sera decidible, y por tanto L tambin sera decidible. 52. Considere la gramtica S AA; A AAA; A a; A bA; A Ab. Indique cul de las siguientes afirmaciones es falsa: a) El smbolo A puede derivar en cero o ms pasos en cadenas de la forma bnabm, donde n,m >= 0 b) Si x (ab)* y x contiene un nmero par de letras a y un nmero no nulo de letras b, entonces x no es generada por la gramtica c) El lenguaje generado por la gramtica es regular Solucin: B. La gramtica genera la cadena aba. 53. Considere la gramtica S aSc, S bSc, S . Indique cul de las siguientes afirmaciones es falsa:

16

a) No existe una forma normal de Chomsky que genere el mismo lenguaje b) El lenguaje generado es regular c) El lenguaje generado es estructurado por frases Solucin: B. El lenguaje es independiente del contexto no regular. 54. Dada la gramtica S aS; S aSbS; S . Indique cul de las siguientes afirmaciones es falsa: a) Cualquier cadena generada por la gramtica contiene una subcadena no vaca donde el nmero de letras a es igual al nmero de letras b b) Para cualquier prefijo de una cadena generada por la gramtica se verifica que el nmero de letras a es mayor o igual al nmero de letras b. Prefijo de una cadena w es toda cadena no vaca x para la que existe una cadena u tal que w = xu. c) El lenguaje generado por la gramtica es estructurado por frases Solucin: A. La cadena a , generada por la gramtica, no cumple esta condicin. 55. Indique cul de los siguientes lenguajes no es regular: a) El generado por la gramtica: S A; A B; A aAb; B aaBb; B b) {0i | i>n, n N} c) Cadenas de dgitos que representen en decimal mltiplos de 3 Solucin: A. 56. Indique cul de las siguientes afirmaciones es falsa: a) Todo conjunto de cadenas cuyo complementario sea finito es independiente del contexto b) El complementario de todo lenguaje independiente del contexto determinista es independiente del contexto determinista c) La interseccin de lenguajes independientes de contexto no regulares no puede ser regular Solucin: C. Todo conjunto de cadenas cuyo complementario sea finito es un lenguaje regular, y por tanto independiente del contexto. El complementario de todo lenguaje independiente del contexto determinista es independiente del contexto determinista, ya que el autmata de pila determinista que lo reconoce puede obtenerse sustituyendo estados de aceptacin por estados de no aceptacin en el autmata que reconoce el lenguaje complementario. Un ejemplo de interseccin de lenguajes independientes de contexto no regulares que es un lenguaje regular: xnyn{xnyn+1 xy} = {xy}. 57. Indique cul de los siguientes lenguajes es independiente del contexto: a) {wcw| w {ab}*} b) {w {abc}* | el nmero de letras a, b y c coincide en w} c) {w {abc}* | el nmero de letras a, b y c es distinto en w} Solucin: A.

17

58. Suponga que se desea construir una mquina de Turing que, dados dos nmeros, permita obtener su cociente y su resto. Indique cul de las siguientes afirmaciones es falsa: a) La mquina podra tener una nica cinta b) La mquina tendra que recibir los datos de entrada escritos en notacin binaria sobre su cinta c) La mquina podra devolver el resultado en notacin decimal Solucin: B. 59. Sea L un lenguaje estructurado por frases decidible y c(L) el complementario de L. la concatenacin de ambos, Lc(L) a) Siempre es decidible por mquinas de Turing b) Puede no serlo, porque el complementario de un lenguaje decidible puede no ser decidible c) Puede no serlo, porque la concatenacin de dos lenguajes decidibles puede no ser decidible Solucin: A. L es decidible por mquinas de Turing. Por tanto, c(L) y Lc(L) tambin lo son. 60. Considere un autmata finito M con transiciones que reconoce un lenguaje L. Indique cul de las siguientes afirmaciones es verdadera: a) Siempre existe un autmata finito sin transiciones que reconoce L b) No existe ningn autmata finito sin transiciones que reconozca L c) Depende de L Solucin: A. Un autmata finito con transiciones es un autmata no determinista, y siempre existe un autmata finito determinista que reconoce un lenguaje reconocido por un autmata finito no determinista. 61. Indique cul de las siguientes definiciones es falsa: a) La mquina de Turing define el lmite mximo de un proceso computacional, ya que es ms potente que cualquier computador, al poseer una cinta infinita b) Para todo lenguaje estructurado por frases existe una mquina de Turing que slo se detiene con las cadenas de dicho lenguaje y con la configuracin de cinta Y c) Para todo lenguaje estructurado por frases existe una mquina de Turing que slo se detiene con las cadenas de dicho lenguaje, aunque quiz no sea posible que deje en su cinta la configuracin Y Solucin: C. 62. Queremos construir una mquina de Turing determinista que se detenga si y slo si encuentra en la cinta la secuencia xyxz. (Una secuencia puede formar parte de una cadena.) Es correcta la siguiente solucin? a) S

18

b) No lo es, ya que no realiza la funcin indicada c) No lo es, ya que no es determinista x/R x/R z/R x/R y/R x/R z/R Solucin: B. Porque no se detiene al leer la cadena xyxxyxz. 63. El lenguaje que acepta el siguiente autmata es x/R z/R

x,; ,;x ,;# x,;x x,;x x,x; ,x; ,#; ,#;

a) {x} b) {xx} c) {xn | n 0} Solucin: C. Transiciones: ,;# - ,;x - x,; (n veces) - ,x; - ,#;. 64. La concatenacin de dos lenguajes del alfabeto es un subconjunto de: a) () b) c) Solucin: A.