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 L
1
es el lenguaje representado por la expresin regular 1(00 1)*((10)* 101)*
y L
2
el reconocido por el autmata de la figura, entonces (Nota: el smbolo denota la
relacin de inclusin estricta):

1
0
0
0
1
1
1
1
1
0 1
a) L
1
L
2

b) L
2
L
1
c) L
1
= L
2
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.
2
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 =
w
1...
w
n
. Por definicin de la estrella de Kleene, i [1..n], w
i
= w
i1...
w
imi
, con w
ij
L,
1 j mi, mi N. Por tanto, w = w
11
.....w
1m1
.............w
n1...
w
nmn
.
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).
3
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 M
C
, obtenido al intercambiar en M estados de aceptacin por estados de no
aceptacin y viceversa:
a) Acepta siempre el lenguaje L
C
, lenguaje complementario de L
b) Slo podemos asegurar que acepta L
C
si M es un autmata determinista
c) Slo podemos asegurar que acepta L
C
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 } S
L
R

L R
x,y,z
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) (, b) = (p, a) (, c) = (q, R)
(p, a) = (, R) (p, b) = (, R)
(q, a) = (r, b) (q, b) = (r, a) (q, c) = (s, L)
(r, a) = (q, R) (r, b) = (q, R)
(s, a) = (s, L) (s, b) = (s, L) (s, c) = (s, )
4
(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 = {a
n x n
| n 0}
b) L = {www | w {a,b}*}
c) L = {a
m
b
n
c
p
| 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 G
1
= {S aS/ aA/ a, A aB/ bS, B aB/ bB, C aA/ bC}
y G
2
= {S aS/ aA/ a, A bS}. Sean L
1
y L
2
los lenguajes generados respectivamente
por G
1
y G
2
; entonces (Nota: el smbolo denota la relacin de inclusin estricta):
a) L
1
L
2

b) L
2
L
1
c) L
1
= L
2
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?
5
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 L
1
es el lenguaje reconocido por el autmata situado en la parte superior de la
figura, y L
2
situado en la parte inferior, entonces (Nota: el smbolo denota la relacin
de inclusin estricta):
6

0 0 0
1
0
0
1
1
0 0 1
0
1
0
1
1
1
0
0
1
0
1
1
0
a) L
1
L
2

b) L
2
L
1
c) L
1
= L
2
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}*}*
7
b) {b*a*} {a*b*} = a* b*
c) abcd (a(cd)*b)*
Solucin: C.
22. Sea el lenguaje L = { ww
i
| w {a,b}* y w
i
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 ww
i
del lenguaje con w=uv, w
i
= v
i
u
i
; es posible generar otras
cadenas del lenguaje sin ms que bombear (repetir) la subcadena central vv
i
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 = {a
m
b
n
c
p
d
q
| n = q o bien m p o bien m + n = p + q}
b) L = {a
m
b
n
c
p
| m = n o bien n = p o bien m = p}
c) L = {a
m
b
n
c
p
| 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, ) (q,1) = (t, )
(r, ) = (h, R)
(t, ) = (s, R)
(s, 1) = (s, R) (s,*) = (v, 1)
8
(v,1) = (h, 1)
Indique ahora cul de las siguientes afirmaciones es falsa:
a) La mquina podra utilizarse para sumar dos enteros no negativos n
1
y n
2
, donde n
1
se representara en las primeras celdas de la cinta mediante una cadena de n
1
+ 1 unos
consecutivos seguidos de un * y n
2
se representara a continuacin mediante una cadena
de n
2
+ 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 n
1
+ n
2
+ 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
x, y u
R

L } # R

u L
#
u
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:
9
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 G
1
= {S B / C, B a / Bb / Ca, C b / Ba} y G
2
=
{S B / C, B aD / baD, D bD / aaD / , C b / Ba }. Sean L
1
y L
2
los lenguajes
generados respectivamente por G
1
y G
2
; entonces (Nota: el smbolo denota la relacin
de inclusin estricta):
a) L
1
L
2

b) L
2
L
1
c) L
1
= L
2
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 L
1
.
35. Sea L
1
el lenguaje generado por la expresin regular (xy)* (xz y) (zz)* y L
2
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
z
z
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.)
11
x,;aa
,;#
y,;bbb
x,bb;
y,aaa;
,#;
a) S
b) No
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 L
1
L
2
y L
2
es independiente del contexto no
determinista. Es posible que L
1
sea independiente del contexto?
a) S, y puede ser determinista
b) No
c) Slo puede ser independiente del contexto no determinista
Solucin: A. Ejemplo: L
1
= {x
n
y
n
}, L
2
= { x
n
y
n
} { x
n
y
2n
}.
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 L
m
= x
n
y
n+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 = {x
j
, | 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 sv
n
u
n
w
n
t 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 x
n
zy
n
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 sv
n
uw
n
t 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/R
y/x
/
/
y/L
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 1 1
0 0 0
0
1 1
0 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
, ; y, ;
y, x;
x, y;
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 b
n
ab
m
,
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) {0
i
| 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: x
n
y
n
{x
n
y
n+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
x/R
y/R
z/R
z/R
z/R
x/R
x/R
Solucin: B. Porque no se detiene al leer la cadena xyxxyxz.
63. El lenguaje que acepta el siguiente autmata es
x,;x
,x;
x,;
,#;
,#;
x,x;
x,;x
,;x
,;#
a) {x}
b) {xx}
c) {x
n
| 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.