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}: L
1
= {0
n
1
n
, | n 1} y L
2
= {cadenas con igual
nmero de 1s que de 0s} y L
3
= {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) L
3
L
2
y L
1
L
2

d) Ninguna de las afirmaciones anteriores es cierta
Solucin: D. L
1
y L
2
son independientes de contexto. L
3
es regular. La respuesta c es falsa
porque 100 pertenece a L
3
pero no a L
2
.
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 L
1
el lenguaje generado por la siguiente gramtica:
SA, SB, Aab, AaCb, Cab, CaCb, BaBa, Bb
Considere el lenguaje: L
2
= {a
n
b
n
, | n 1} {a
n
ba
n
, | n 1} y seale cul de las afirmaciones
siguientes es cierta:
a) L
1
= L
2

b) L
1
L
2

c) L
2
L
1

d) Ninguna de las afirmaciones anteriores es cierta
Solucin: C. Las reglas que contienen los no-terminales A o C generan el lenguaje {a
n
b
n
, | n
1}. Las que contienen B generan {a
n
ba
n
, | 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}.
2
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 x
2045
, todo autmata determinista que
reconozca L habr de tener al menos 2045 estados
c) Si L es un lenguaje finito que contiene la cadena x
2045
, 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.

3
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 = {a
n
b
m
| 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
q
2
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 M
1
el autmata de la izquierda y M
2
el de la derecha. Indique cul de las
siguientes afirmaciones es verdadera:

4
0
1
1
0
0,1
0
1
0
1
1
0
0,1
0
1
0
0
1

a) L(M
1
) = L
b) L(M
2
) = L
c) L(M
1
) = L(M
2
)
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 2
n
estados que reconoce L
c) Todo autmata finito determinista que reconozca L habr de tener ms de 2
n
+ 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:
x/R
y/z
y/R
/
z/
x/z
z/R
/R
y/R
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.

5
16. Sean w
1,
w
2
, ... , w
i
, 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 w
1
w
2
...w
i
. . . ?

R

i veces
L L

S
L
L
i j veces j1 veces

a) Para cualesquiera valores de i, j no nulos la configuracin final de cinta sera w
j

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:
b L y L
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

6
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
2n+1
y
2n+1
z
2n+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 (A
I
es el
lenguaje formado por las cadenas del lenguaje A invertidas;

indica concatenacin):
a) A

(B C) = A

B A

C
b) A

(B C) = A

B A

C
c) (A B)
I
= A
I
B
I

d) (B C)

A = B

A C

A
Solucin: B. Contrajemplo: A = {x, xy}, B = {yz}, C = {z}; en este caso, A

( B C ) = , A

B
A

C = {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):

7
0
0
1
0
0
0
0
1

1
1
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

S
L
L


a) Convierte una configuracin de cinta w
1
w
2
w
3
en w
1
w
3

b) Convierte una configuracin de cinta w
1
w
2
en w
1

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) {a
i
b
j
c
k
| k>i, k>j}
b) {a
i
b
j
c
i+j
| i+j>0}

8
c) {a
i
b
i
c
2i
}
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
j
1
k
| 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
j
1
k
| 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
z,;x
y,;
,#; y,;
x,;x
z,;x
,;#
z,;x

a) Acepta el lenguaje x
n
y
m
z
n
, 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.

9
30. Para toda cadena w, sea n
a
(w) = nmero de as en w y n
b
(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 n
a
(w) = 2n
b
(w)
b) Para toda cadena del lenguaje, w, se cumple que n
a
(w) = 2n
b
(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 L
1
y L
2
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

R
x
R
x

a) L
1
= L
2

b) L
1
L
2

c) L
2
L
1

d) Ninguna de las afirmaciones anteriores es cierta
Solucin: B. Toda cadena perteneciente a L
1
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 x
S x
M x
N y

My
yN
N

a) LL(1)
b) LL(2)
c) LL(3)
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 A
i
y aadiendo una regla del tipo SS
i
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 M
1
y M
2
las mquinas de Turing que
aceptan L
1
y L
2
, respectivamente. Sea M una mquina de Turing de dos cintas, que primero copia
la cadena de la primera en la segunda, luego simula M
1
sobre la primera cinta y, si M
1
se detiene,
entonces simula M
2
sobre la segunda cinta. Por tanto, M se detiene al examinar una cadena si y
slo si sta pertenece a la vez a L
1
y a L
2
. 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 x
n
y
m
y el lenguaje independiente del
contexto x
n
y
n
es el lenguaje independiente del contexto no regular x
n
y
n
.
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 x
n
y
2n
, 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
z/R
/R
x/R
y/z z/L
x/R
z/R
x/z

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:
y
x
y
x
y

y
x x
y
y
x

a) el lenguaje aceptado por el autmata de la izquierda es ( * ; ( )*) x y x y o
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 x y o
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

a) xyz
b) zyx
c) xyzxyz
d) xyzzyx
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) L
1
= {x | x L y x
-1
L}, es decir, el subconjunto de L formado por aquellas cadenas cuya
inversa tambin est en L;
b) L
2
= {w
*
| u
*
, w

u L}, es decir, el conjunto de cadenas que son prefijo de
alguna cadena de L;
c) L
3
= {x | x L
1
y x
-1
L}, conjunto de cadenas de L
1
(definido en la opcin a) cuya
inversa est en L;
d) L
4
L
1
(es decir, L
4
es un subconjunto cualquiera de L
1
).

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 L
1
es la interseccin de dos
lenguajes regulares y es regular. Tambin L
2
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. L
3
=L
1
(por
definicin, si x L
1
entonces x
-1
L) y por tanto tambin es regular. En cuanto a L
4
, aun siendo
un subconjunto de un lenguaje regular, puede no ser regular. Supongamos L = {x
n
y
m
}{x
n
y
m
}
-1
.
Entonces, L
1
=L, y un subconjunto de L es x
n
y
n
, 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
q
2
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 x
n
y
n
z
n
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 x
n
y
n
z
n
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 xx
S x
M y
N x

My
yN
N

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 x
m
y
n
z
p
, 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 L
1
= {0
n
1
n
, | n 1}, L
2
= {cadenas con
igual nmero de 1s que de 0s} y L
3
= {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) L
1
L
2
y L
3
L
2
;
d) L
1
y L
2
son independientes de contexto.
Solucin: D. L
1
y L
2
son independientes de contexto en sentido estricto. L
3
es regular. La
respuesta c es falsa porque 100 pertenece a L
3
pero no a L
2
.
59. Sea L
1
el lenguaje generado por la siguiente gramtica:
SA, SB, Aab, AaCb, Cab, CaCb, BaBa, Bb
Considere el lenguaje: L
2
= {a
n
b
n
, | n 1} {a
n
ba
n
, | n 1} y seale cul de las afirmaciones
siguientes es cierta:

17
a) L
1
= L
2

b) L
1
L
2

c) L
2
L
1

d) No se verifica ninguna de las relaciones anteriores entre L
1
y L
2

Solucin: C. Las reglas que contienen los no-terminales A o C generan el lenguaje {a
n
b
n
| n
1}. Las que contienen B generan {a
n
ba
n
| n 0}. Por eso L
1
= {a
n
b
n
, | n 1} {a
n
ba
n
, | 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/R
y/x
/
/
y/L
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 M
1
la mquina que decide el
primero y M
2
la que decide el segundo. Podemos construir una mquina de Turing M (de dos
cintas) que simule primero M
1
sobre la primera cinta y luego M
2
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 x
Y xx
X
Y

Xy
Yy

a) el lenguaje x
m
y
n
tal que n m 2n;
b) el lenguaje x
m
y
n
tal que 2m = 3n;
c) el lenguaje x
m
y
n
tal que n m < 2n;
d) el lenguaje x
m
y
n
tal que n < m 2n.
Solucin: A. Para generar la cadena x
m
y
n
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 R
x
L
x
, 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.