TEORA DE AUTMATAS I

Informtica de Sistemas
Soluciones a las cuestiones de examen del curso 2003/2004
Febrero 2003, 1 semana
1. La concatenacin de lenguajes tiene las siguientes propiedades:
a) Asociativa y conmutativa
b) Asociativa y elemento neutro
c) Asociativa, conmutativa y elemento neutro

Solucin: B. Es asociativa porque x(yz) es igual a (xy)z. El elemento neutro es el
lenguaje que slo contiene la cadena vaca. Es muy fcil ver que no es conmutativa; por
ejemplo, tomando los lenguajes {a} y {b}.
2. La unin de dos lenguajes decidibles (por mquinas de Turing), es decidible?
a) S, siempre
b) No, nunca
c) Depende de los casos

Solucin: A. 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.
3. Dado un alfabeto , llamamos L
1
al conjunto de lenguajes de aceptados por
mquinas de Turing deterministas con una sola cinta, L
2
al conjunto de lenguajes de
aceptados por mquinas de Turing deterministas con varias cintas y L
3
al conjunto de
lenguajes de aceptados por mquinas de Turing no deterministas y con varias cintas.
Cul de las siguientes afirmaciones es verdadera?
a) L
1
= L
2
L
3

b) L
1
L
2
= L
3

c) Ninguna de las afirmaciones anteriores es cierta

Solucin: C. Toda mquina de Turing de una cinta no determinista es equivalente (en
cuanto al lenguaje que acepta) a una mquina de Turing determinista de una cinta, y sta
es equivalente a su vez a una mquina de varias cintas.
4. Para un alfabeto no vaco, el conjunto de lenguajes finitos es


2
a) Finito
b) Infinito contable (numerable)
c) Infinito no contable (no numerable)

Solucin: B. Es un subconjunto infinito de los lenguajes regulares, que son contables.
5. 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 implica que los lenguajes ms generales que existen son los
lenguajes estructurados por frases.
c) Las dos afirmaciones anteriores son falsas.

Solucin: C. Existen lenguajes no computables, que no son estructurados por frases y que
ninguna mquina de Turing acepta.
6. Los palndromos (palabras capicas) del idioma castellano, tales como a, y,
dad, oso, erre, etc., constituyen un
a) lenguaje regular.
b) lenguaje independiente del contexto (en sentido estricto).
c) lenguaje estructurado por frases (en sentido estricto).

Solucin: A. Es un lenguaje finito, y por tanto, regular.
7. Decidir si es verdadera o falsa la siguiente afirmacin: Dado un lenguaje regular L
existe una gramtica independiente de contexto en forma normal de Chomsky que
genera el mismo lenguaje.
a) Siempre.
b) Nunca.
c) Depende de L.

Solucin: C. Una gramtica en forma normal de Chomsky no puede generar la cadena
vaca.
8. El nmero de estados mnimo para una mquina de Turing no determinista es
a) Uno
b) Dos
c) Ninguno de los anteriores

Solucin: B.


3
9. Considere el conjunto de autmatas finitos deterministas de 3 estados (p,q,r) con
estado inicial p, un solo estado de aceptacin r y alfabeto = {0,1}. Indique cul
de las siguientes afirmaciones es falsa:
a) Existen 729 funciones de transicin () diferentes para dicho conjunto de autmatas
b) Existen 9 funciones de transicin diferentes con (r,0)=p, (r,1)=q, (p,1)=
(q,1)=r
c) Existen 6 funciones de transicin diferentes con (r,0)=p, (r,1)=q, (p,1)=
(q,1)=r, (p,0)= (q,0)

Solucin: C. Desde cada estado puede darse una transicin hacia cada uno de los tres
estados, y etiquetada por dos posibles smbolos, lo que supone 6 posibilidades por
estado. El nmero de funciones de transicin posibles es por tanto: 3
6
= 729. Fijando las
transiciones que parten del estado r, y las que parten de los estados p y q etiquetadas por
el valor 1, slo quedan tres posibles transiciones partiendo del estado p y otras tantas
partiendo del estado q; lo que permite 3x3 = 9 funciones de transicin posibles. Con la
condicin adicional (p,0)= (q,0) slo quedan tres funciones de transicin alternativas,
una por estado.
10. Sea L el lenguaje de alfabeto = {a,b,c} y cadenas de forma wcv, donde w y v son
cadenas de as y bs y w y v tienen la misma longitud pero v no es la cadena inversa de
w. Dicho lenguaje coincide con el generado por la gramtica
a) S aSa, SbSb, SaRb, SbRa, RaRa, RbRb, RaRb, RbRa,
Rc.
b) S aSa, SbSb, SaRb, SbRa, RaRb, RbRa, Rc.
c) S aSa, SbSb, SaRb, SbRa, RaRa, RbRb, Rc.

Solucin: A. Como w y v no pueden ser cadenas inversas, al menos debe existir un par de
caracteres de w y v que ocupen posiciones simtricas con respecto al centro de la cadena
y sean diferentes . Por tanto, toda cadena de L puede ser generada por la gramtica, y
toda cadena generada por la gramtica pertenece a L. La respuesta b no es correcta
porque esa gramtica no genera la cadena aacab, y la c no es correcta porque la
gramtica no genera la cadena aacbb.
11. Sea L
100
el conjunto de los lenguajes que tienen al menos 100 cadenas. Sea L
R
el
conjunto de los lenguajes regulares, L
I
el conjunto de los lenguajes independientes del
contexto y L
E
el conjunto de los lenguajes estructurados por frases. Indique cul de las
siguientes afirmaciones es cierta:
a) L
100
L
R

b) L
100
L
R
, L
100
L
I

c) L
100
L
E


Solucin: C. L
100
contiene, entre otros, todos los lenguajes no estructurados por frases.
12. Considere el lenguaje definido por el conjunto de cadenas de 0s y 1s que
representan en binario nmeros divisibles por 4. El tipo de autmata ms sencillo que
reconoce este lenguaje es:


4
a) Autmata finito determinista
b) Autmata de pila
c) Mquina de Turing

Solucin: A. Se trata del lenguaje representado por la expresin regular (0 1)*00 0.
13. Se define la diferencia simtrica de dos lenguajes L y L como el conjunto de
cadenas que estn exclusivamente en L o exclusivamente en L. Si L y M son regulares,
el lenguaje definido por su diferencia simtrica:
a) Siempre es regular
b) No siempre es regular, pero siempre es independiente del contexto
c) Puede no ser estructurado por frases

Solucin: A. Para probar este resultado, basta con expresar la diferencia simtrica en
funcin de otras operaciones entre lenguajes que preservan la regularidad. La diferencia
simtrica entre L y M coincide con: (L M) (L M).
14. El lenguaje L = {w|w contiene un nmero par de 0s, o exactamente dos 1s} de
alfabeto = {0,1}, es generado por la expresin regular:
a) (1*01*01*0*) (0*10*10*)
b) (1*01*01*)* (0*10*10*)
c) (10101)* (0*10*10*)

Solucin: B. (1*01*01)* genera el lenguaje L = {w|w contiene un nmero par de 0s} y
(0*10*10*) el lenguaje L = {w|w contiene exactamente dos 1s}. Contraejemplo para
A: no debera generar 000. Contraejemplo para C: no genera 00.
15. El lenguaje reconocido por el autmata de la figura, de alfabeto = {x,y,z} es el
conjunto de las cadenas generadas por la expresin regular
a) (x*y*)* (y*x*)*
b) (y x x*)* (xx y y*)*
c) Ninguna de las anteriores


z




y
z
y
x
x z
y
y
z
x
x


Solucin: C. El lenguaje aceptado por el autmata de la figura consiste en el conjunto de
las cadenas con un nmero impar de xs y un nmero par de ys.
16. La mquina de Turing definida como: M={{,q,p,r,s}{a,b}{a,b,},,,r}


5
(,)=(q,R)
(q,a)=(q,R)
(q,b)=(p,R)
(q,)=(r,R)
(p,b)=(p,R)
(p,a)=(s,R)
(p,)=(r,R)
(s,a)=(s,R)
(s,b)=(s,R)
(s,)=(s,R)

a) Siempre termina sus clculos
b) Reconoce el lenguaje a*b*
c) Reconoce el lenguaje a
n
b
m
, n 0, m>0

Solucin: B. La A es falsa porque con la configuracin inicial ab... no termina
nunca sus clculos. La C es falsa porque la mquina acepta todas las cadenas de la
forma a*, que no pertenecen a ese lenguaje.

Febrero 2000, 2 semana
17. El resultado de concatenar dos lenguajes independientes de contexto, es siempre
un lenguaje independiente de contexto?
a) S, siempre
b) No, nunca
c) Depende de los casos

Solucin: A.
18. La estrella de Kleene de un lenguaje independiente de contexto, es siempre un
lenguaje independiente de contexto?
a) S, siempre
b) No, nunca
c) Depende de los casos

Solucin: A. Partiendo de una gramtica independiente de contexto que genere L,
renombramos S como S, y aadimos las reglas SSS y S.
19. Las mquinas de Turing se diferencian de los autmatas finitos y de los autmatas
de pila en que
a) En las mquinas de Turing la cabeza lectora puede retroceder.
b) Las mquinas de Turing pueden escribir sobre su cinta.


6
c) Las dos afirmaciones anteriores son ciertas

Solucin: C.
20. Indique cul de las siguientes afirmaciones es verdadera:
a) El nmero total de lenguajes no regulares es finito
b) El nmero total de lenguajes regulares es finito
c) Ninguna de las afirmaciones anteriores es cierta

Solucin: C.
21. Indique cul de las siguientes afirmaciones es verdadera:
a) En un diagrama completo que represente a un autmata finito determinista, de
cada estado sale un arco por smbolo y slo uno
b) Los autmatas finitos no deterministas son ms potentes que los autmatas
finitos deterministas
c) Ninguna de las afirmaciones anteriores es cierta

Solucin: A.
22. Un lenguaje generado por una gramtica independiente de contexto
a) Es siempre regular
b) Nunca es regular
c) Depende de los casos

Solucin: C.
23. Sea L un lenguaje generado por una gramtica independiente del contexto en forma
normal de Chomsky. Existe otra gramtica en forma normal de Chomsky que genere el
complemento de L?
a) S, para todo L
b) No, nunca
c) Depende de L

Solucin: B. El complemento de L contiene la cadena vaca.
24. El nmero mnimo de estados de un autmata finito no determinista es
a) Uno.
b) Dos.
c) Depende del alfabeto sobre el que est definido.


7

Solucin: A.
25. Sea L un lenguaje y a un smbolo. Denominamos L/a al lenguaje de las cadenas w
tales que wa est en L. Si L es regular, entonces L/a:
a) Siempre es regular
b) No siempre es regular, pero siempre es independiente del contexto
c) Puede no ser estructurado por frases

Solucin: A. L puede expresarse como la unin de dos lenguajes regulares: el lenguaje de
las cadenas de L que terminan en a, L
a
, y el lenguaje de las cadenas de L que no
terminan en a. L
a
coincide con la concatenacin del lenguaje L/a con el lenguaje {a}, de
donde se deduce que L/a es un lenguaje regular. La demostracin de esto se basa en que,
si existe un autmata finito determinista que reconoce L
a
, a partir de este autmata es
fcil encontrar el autmata finito determinista que reconoce L/a. Sea M el diagrama que
representa a un autmata que reconoce a L
a
. Necesariamente, a todo estado final de M
llega un arco etiquetado por a. Podemos obtener el diagrama de un autmata que
reconozca a L/a sin ms que eliminar todos los estados finales de M y los arcos que a
ellos llegan, convertir en estados finales los estados de los que partan los citados arcos,
y aadir un arco en forma de bucle etiquetado por a en cada uno de estos nuevos estados
finales en caso de que los estados finales de M incluyeran un tal bucle.
26. Considere el lenguaje formado por cadenas que consisten en bloques de 0s y
bloques de 1s, de forma que cada bloque de n ceros va seguido de un bloque de al
menos n 1s . Un ejemplo de cadena de este lenguaje es la cadena 00110001111011. La
cadena vaca se considera incluida en el lenguaje. Indique cul de las siguientes
afirmaciones es verdadera:
a) Existe una expresin regular que representa el lenguaje
b) El lenguaje coincide con el generado por la gramtica: SAAS, S,
SA,A0A1, A0B1, BB1, B
c) Existe una gramtica no regular en forma normal de Chomsky que genera el
lenguaje

Solucin: B. : En toda cadena generada por la gramtica, cada 0 que aparece es resultado
de aplicar la regla A->0A1 o la B->0B1. Por eso todas las cadenas generadas por la
gramtica pertenecen al lenguaje del enunciado. Para toda cadena que pertenece al
lenguaje, con m bloques de 0's, si m es par la cadena se puede generar aplicando m/2
veces la regla S->AAS; si m es impar, puede generarse aplicando (m-1)/2 veces la regla
S->AAS y una vez la regla S->A. Cada bloque de n 0's (n>=1) se genera aplicando n-1
veces la regla A->0A1, una vez la regla A->0B1; si hay ms 1's que 0's se aplica la regla
B->B1 tantas veces como sea necesario.
27. El lenguaje L={0
i
1
j
2
k
| i< j < k}:
a) Es independiente del contexto determinista
b) Es independiente del contexto no determinista
c) Es estructurado por frases y no independiente del contexto



8
Solucin: C. El lenguaje no verifica el lema de bombeo.
28. Considere la gramtica: S 0S, S 1S, S S0, S .Indique cul de las
siguientes afirmaciones es falsa:
a) Existen derivaciones distintas que generan cadenas idnticas
b) No existe un autmata de pila que reconozca el lenguaje generado y vace
siempre su pila antes de llegar a un estado de aceptacin
c) La gramtica es equivalente a S0S, S 1S, S .

Solucin: B. La cadena 0, p.e., admite dos derivaciones. La regla S S0 es innecesaria.
Es fcil disear un autmata de pila que reconozca el lenguaje generado y vace siempre
su pila antes de llegar a un estado de aceptacin (de hecho la gramtica genera un
lenguaje regular, el representado por la expresin regular (0 1)*).
29. Si k es el nmero de estados de un autmata finito no determinista, siempre es
posible disear un autmata finito determinista equivalente con un nmero de estados:
a) k+2
b) 2k
c) 2
k


Solucin: C. Es fcil encontrar ejemplos donde las opciones A y B no son posibles. La
opcin C queda garantizada por el procedimiento de obtencin de un autmata
determinista equivalente a un autmata no determinista presentada en el texto de
Brookshear.
30. El lenguaje L = {w|w contiene al menos dos 0s y un 1} de alfabeto = {0,1}, es
generado por la expresin regular:
a) (100010001)(10)*
b) (10)*(100010001) (10)*
c) Ninguna de las anteriores

Solucin: C. Ninguna de las dos expresiones representa la cadena 0110.
31. La mquina de Turing de la figura:
a) Desplaza una celda hacia la derecha a los smbolos contenidos en las celdas situadas
entre la celda actual, y la primera celda en blanco que se encuentra a la izquierda de la
celda actual
b) Desplaza una celda hacia la derecha a todo smbolo distinto de que est contenido
en una celda situada a la izquierda de la celda actual
c) Ninguna de las afirmaciones anteriores es cierta.



9

x, y
L
R
L
x, y
RR

RL




Solucin: A. Se trata de la mquina S
R
32. El lenguaje reconocido por el autmata de la figura, de alfabeto = {x,y,z,w} es:
a) El conjunto de las cadenas donde el patrn xy va seguido de una w y el patrn yx
siempre sigue a una z
b) El conjunto de las cadenas donde el patrn yx va seguido de una w y el patrn yx
siempre sigue a una z
c) Ninguno de los anteriores


w
z
z
w
w
z
w
y
x
y
w
y
x
x

Solucin: C. El autmata acepta, p.e., las cadenas xy
*

Septiembre 2004, original
33. Si L
1
es el lenguaje generado por la gramtica G y L
2
el reconocido por el autmata
M, 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

G = {S aD, S b, S cA, S aB, S aC, D aD, D b, D cA, D aB, D
aC, A aA, A bD, B a, C aC, C bB}.


10

a
a
A
a
a
b
c
a
a
S
D
C
B
b
c
b
a
a
b
a

Solucin: C. Ntese que el autmata se deriva de la gramtica aplicando el procedimiento
indicado en la pgina 55 del texto de Brookshear.
34. Sea L el lenguaje sobre el alfabeto = {0,1} cuyas cadenas verifican las siguientes
restricciones: si una cadena tiene menos de cinco 1s, entonces tiene un nmero par de
1s; si una cadena tiene cinco 1s o ms, entonces contiene un nmero impar de 1s;
cualquier cadena contiene al menos un 1. 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:

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

35. Sean las expresiones regulares R
1
= (ab* ba*)* ab* y R
2
= (a b)* ab* que
generan, respectivamente, los lenguaje L
1
y L
2
. Entonces:
a) L
1
L
2

b) L
1
= L
2

c) L
2
L
1

Solucin: B. Ambas expresiones regulares generan el lenguaje de las cadenas de as y bs
que tienen por lo menos una a.
36. Dado el lenguaje L = {a, abb, ba, bbba, b} indique cuntas cadenas de longitud
estrictamente menor que 3 hay en L*:
a) 7
b) 6
c) 5
Solucin: A. L* {w L* | |w| < 3}= { , a,b,aa,ab,ba,bb}


11
37. Considere las gramticas G
1
= {S Cbb, S a, S Ba, S , B a, B Ba,
C Sa, C a, C ab} y G
2
= {S CD, S a, S BF, S , B a, B BF, C
SF, C a, C FE, D EE, E b, F a}. Indique cul de las siguientes afirmaciones
es cierta:
a) G
2
genera el mismo lenguaje que G
1
y slo G
2
est en forma normal de Chomsky
b) Ninguna de las dos gramticas est en forma normal de Chomsky
c) Las gramticas generan lenguajes distintos
Solucin: B. La gramtica G
2
se ha obtenido a partir de la gramtica G
1
sustituyendo la
regla S Cbb por las reglas S CD, D EE y E b; la regla S Ba por las reglas
S BF y F a; la regla C abB por las reglas , C FG y G EB y las reglas B
Ba, C Sa y C ab respectivamente por B BF, C SF y C FE. Generan pues el
mismo lenguaje, pero ninguna de ellas se encuentra en la forma normal de Chomsky,
dada la inevitable presencia de una regla .
38. Sea un autmata finito M = {S,, , F} que reconoce el lenguaje L, y sea M
C
=
{S,, , S-F (diferencia de los conjuntos S y F)} el autmata finito que reconoce el
lenguaje complementario de L, L
C
(observe que M
C
se ha obtenido a partir de M
intercambiando estados de no aceptacin por estados de aceptacin y viceversa).
Entonces:
a) Si M es el autmata de menor nmero de estados que reconoce L, entonces M
C
es el
autmata de menor nmero de estados que reconoce L
C

b) Si M es el autmata de menor nmero de estados que reconoce L, entonces siempre
existe un autmata N con menor nmero de estados que M
C
que reconoce L
C

c) Si M es el autmata de menor nmero de estados que reconoce L, M
C
podr o no ser
el autmata de menor nmero de estados que reconoce L
C

Solucin: A. Demostracin por reduccin al absurdo: Supongamos que existe un autmata
N tal que el lenguaje reconocido por N es L
C
y su nmero de estados es menor que el de
M
C
. Dado que el autmata complementario de N reconoce el lenguaje (L
C
)
C
= L, y su
nmero de estados es menor que el de M, entonces M no sera el autmata de menor
nmero de estados que reconoce L.
39. Sea el lenguaje L = {a
m
b
j
c
m-1
| m>0, 0<j3}. Indica cul de las siguientes
afirmaciones es cierta:
a) L cumple el lema de bombeo de los lenguajes independientes del contexto y es
independiente del contexto
b) L cumple el lema de bombeo pero no es independiente del contexto
c) L no cumple el lema de bombeo
Solucin: A. Rescribamos la cadena a
m
b
j
c
m-1
como aa
m-1
b
j
c
m-1
. La satisfaccin del lema se
verifica fcilmente considerando las subcadenas s = a, v=a
m-1
, u=b
j
, w=c
m-1
, t = . La
siguiente gramtica independiente del contexto genera el lenguaje: S aM, M B, B
b, B bb, B bbb, M aMc.
40. Considere el siguiente autmata de pila e indique cul de las siguientes
afirmaciones es cierta:


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

a) El autmata es determinista y acepta el lenguaje x
n+2
y
n

b) El autmata acepta el lenguaje x
n+2
y
n
pero no es determinista
c) El autmata no siempre llega al estado de aceptacin con la pila vaca
Solucin: B. El autmata no es determinista (se comprueba fcilmente al analizar la
cadena xx) y siempre vaca la pila antes de llegar al estado de aceptacin (la transicin
que lleva al estado de aceptacin lee la almohadilla inicialmente introducida).
41. Indique cul de los siguientes lenguajes no es regular
a) L = {a
n
b
m
| n1, m0, n mltiplo de 3, m par}
b) L = {vwv | v,w {0,1}*, |v| = 2}
c) L = {0
n
| n primo}
Solucin: C. El lenguaje L = {a
n
b
m
| n1, m0, n mltiplo de 3, m par} es generado por la
expresin regular (aaa)*aaa(bb)*, y el lenguaje L = {vwv | v,w {0,1}*, |v| = 2} por
[00(0 1)* 00] [11(0 1)*11] [01(o 1)* 01] [10 (o 1)*10]. El lenguaje L =
{0
n
| n primo} no verifica el lema de bombeo y por tanto no puede ser regular.
42. 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.
43. 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):
a) Es estructurado por frases si y slo si L es independiente del contexto
b) Puede no ser estrucurado por frases aunque L sea independiente del contexto
c) Siempre es estructurado por frases
Solucin: C. Es sencillo disear una mquina de Turing que reconozca tal lenguaje: basta
con disear una mquina que invierta cadenas y componerla con una mquina que
reconozca L.
44. Dado el alfabeto {x, y, z}, la siguiente mquina de Turing:


13
R } S
L
R

L R
x,y,z
L

a) No reconoce ningn lenguaje
b) Reconoce el lenguaje formado por los palndromos de {x, y, z}
c) Reconoce el lenguaje {x, y, z}*
Solucin: B. La mquina reconoce el lenguaje formado por los palndromos de {x, y, z}
45. La unin de un lenguaje independiente de contexto con un lenguaje estructurado
por frases y no independiente de contexto:
a) Es estructurado por frases pero nunca es independiente del contexto
b) Es independiente del contexto pero nunca es regular
c) Puede ser regular
Solucin: C. Escogemos un lenguaje L
1
independiente del contexto tal que su
complementario, c(L
1
), no sea independiente del contexto. Como L
1
es estructurado por
frases decidible, c(L
1
) es estructurado por frases. La unin de L
1
y c(L
1
) es *, que es
regular.
46. Indique cul de las siguientes situaciones no es posible cuando una mquina de
Turing determinista examina una cadena:
a) La mquina no se detiene nunca
b) Se produce una terminacin anormal (es decir, la cabeza lectora se desplaza a la
izquierda de la primera celda de la cinta)
c) La mquina abandona los clculos por no encontrar ninguna transicin aplicable
Solucin: C. Puesto que la mquina es determinista, necesariamente encuentra siempre
una transicin aplicable.
47. Indique cul de las siguientes afirmaciones es falsa:
a) Para toda mquina de Turing no determinista existe una gramtica estructurada por
frases que genera el mismo lenguaje que la mquina acepta
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
Solucin: B. Existen lenguajes no estructurados por frases (ver la seccin 3.4 del texto de
Brookshear).
48. Indique cul de las siguientes afirmaciones es verdadera:
a) El nmero total de lenguajes no regulares es finito
b) El nmero total de lenguajes no regulares es infinito contable


14
c) El nmero total de lenguajes regulares es infinito
Solucin: C. El conjunto de los lenguajes regulares es infinito contable. Como el
conjunto de todos los lenguajes posibles es infinito incontable, y este conjunto puede
verse como la unin del conjunto de los lenguajes regulares y el conjunto de los
lenguajes no regulares, entonces el conjunto de los lenguajes no regulares es infinito
incontable (de otro modo, la unin de dos conjuntos contables sera un conjunto
contable).
Septiembre 2004, reserva
49. Sea L
1
= {a
n
b
m
c
p
| n 0 y mltiplo de 3, m 0, p > 0} y L
2
el reconocido por el
autmata M de la figura, 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


b
b c
c
c
a
a
a
b
c
a
a
b
b
c

Solucin: C.
50. Sea L
1
el lenguaje generado por la expresin regular R = (b(aa*b)*a)* y L
2
el
reconocido por el autmata de la figura. Entonces:
a) L
1
L
2

b) L
1
= L
2

c) L
2
L
1


b
a
a
a
b

Solucin: A. Toda cadena generada por la expresin regular es aceptada por el autmata.
Sin embargo el autmata acepta, p.e., la cadena baa, que no genera la expresin regular.


15
51. Sea el lenguaje L = {(a
i
c
j
b
k
| j 0, ik}. El autmata ms sencillo que reconoce L
es:
a) Un autmata finito
b) Un autmata de pila
c) Una mquina de Turing
Solucin: B. El siguiente autmata de pila reconoce L:
a,;a
,;#
,;
c,;
,a;
b,#;
,;
b,a;
b,;

52. Dado el alfabeto = {0,1,,,(,),,,*}, el lenguaje formado por las cadenas que
constituyen expresiones regulares vlidas (esto es, el conjunto de expresiones regulares
del alfabeto {0,1}) :
a) Es un lenguaje regular
b) Es un lenguaje independiente del contexto y no regular
c) Es un lenguaje estructurado por frases y no independiente del contexto
Solucin: B. El requisito de incluir parntesis compensados hace imposible que se trate de
un lenguaje regular. Una gramtica independiente del contexto que genera el lenguaje es
la siguiente: G = {S / / 0 / 1/ SS/ S*/ SS/ (S)}.
53. Sea el lenguaje L
1
= {a
n
b
m
c
p
| n0, m1 pn+m}, y el lenguaje L
2
el generado por
la gramtica G = {SaSc, S B, BbBc, B bC, CcC, Cc}.
a) L
1
L
2

b) L
2
L
1

c) L
1
= L
2

Solucin: C. Ntese que las reglas garantizan que las cadenas de L
2
contienen al menos
una c por cada a b, y que siguen el patrn de las cadenas del lenguaje L
1
.
54. Indique cul de los siguientes lenguajes no es regular:
a) L = {w {0,1,2}* | el nmero de 0s es distinto del nmero de 1s}


16
b) L = {w {0,1}* | el antepenltimo smbolo de w es un 1}
c) L = {w {a,b}* | tal que w contiene un nmero par de as y un nmero par de bs}
Solucin: A. La expresin regular que representa el lenguaje del apartado b) es (0
1)*(100 101 110 111). Para construir el autmata finito que reconoce el lenguaje
del apartado c), puede seguirse el ejemplo del ejercicio 1 del primer captulo.
55. Indique cul de las siguientes afirmaciones es verdadera:
a) Con un autmata de pila no puede reconocerse un lenguaje regular
b) Para reconocer un lenguaje regular mediante un autmata de pila no es necesario que
el alfabeto de la pila contenga ningn smbolo
c) Para reconocer un lenguaje regular mediante un autmata de pila el alfabeto de la
pila debe contener al menos un smbolo
Solucin: B. Cualquier lenguaje independiente del contexto puede ser aceptado por un
autmata de pila, y todos lenguajes regulares son independientes del contexto. Para
reconocer un lenguaje regular mediante un autmata de pila no es necesario que el
alfabeto de la pila contenga ningn smbolo, ya que en realidad no se necesita usar la
pila.
56. Considere las gramticas G
1
= {S aS, S bB, S , B bB, B aS} y G
2
=
{S aD, S bB, S a, S , B bB, B aD, B a, D aD, D bB, D a}.
Siendo L
1
y L
2
los lenguajes generados, respectivamente, por G
1
y G
2
, indique cul de
las siguientes afirmaciones es verdadera:
a) G
2
es el resultado de transformar G
1
para eliminar la regla S aS pero no est en la
forma normal de Chomsky, y L
2
= L
1

b) G
2
es el resultado transformar G
1
para obtener la forma normal de Chomsky, y L
2
=
L
1

c) Ni G
1
ni G
2
estn en la forma normal de Chomsky, y L
2
L
1

Solucin: A. La regla S aS se ha sustituido por las reglas S aD y S a, con el no
terminal D definido por las reglas D aD, D bB, D a. En funcin de este nuevo
no terminal la regla B aS se escribe B aD, B a. Ambas gramticas incluyen una
regla y por tanto no responden a la forma normal de Chomsky.
57. Indique cul de las siguientes afirmaciones es falsa:
a) Si L es un subconjunto de 0* entonces L* es un lenguaje regular
b) El lenguaje constituido por las cadenas inversas de L = {0
m
1
n
0
m+n
| n1, m1} es
regular
c) El lenguaje complementario de L = {0
n
| n primo} no es regular
Solucin: B. El lenguaje L = {0
m+n
1
n
0
m
| n1, m1} no es regular.
58. Todo autmata finito de n estados, cuyo alfabeto contiene m smbolos:
a) Debe tener mn transiciones
b) Puede tener un nmero menor de mn transiciones, aunque sea determinista


17
c) Si es no determinista puede tener un nmero mayor o menor de mn transiciones
Solucin: C.
59. Dado el alfabeto {x, y, z}, indique cul de las siguientes afirmaciones es cierta con
respecto a la siguiente mquina de Turing:
a) Busca en su cinta la secuencia xy y la sustituye por zz
b) Siempre se detiene
c) Nunca tiene una terminacin anormal
R
x
R zLz
y
x
z

Solucin: C. Dada la configuracin inicial xy. . . , la mquina no se detiene nunca, ni
sustituye la secuencia xy por zz. La mquina no puede tener nunca una terminacin
anormal porque slo desplaza la cabeza de lectura hacia la izquierda despus de haberla
desplazado al menos dos veces hacia la derecha.
60. Indique cul de las siguientes afirmaciones es falsa:
a) Si L es estructurado por frases y no contiene la cadena vaca no es posible encontrar
una gramtica en forma normal de Chomsky que genere L
b) Si L es independiente de contexto y no contiene la cadena vaca, existe una
gramtica en forma normal de Chomsky que genera L
c) La unin de un lenguaje independiente de contexto con un lenguaje estructurado por
frases y no independiente de contexto, puede ser regular
Solucin: A. Si L es independiente de contexto y no contiene la cadena vaca, existe una
gramtica en forma normal de Chomsky que genera L. Para probar la certeza de la
tercera definicin escogemos un lenguaje L
1
independiente del contexto tal que su
complementario, c(L
1
), no sea independiente del contexto. Como L
1
es estructurado por
frases decidible, c(L
1
) es estructurado por frases. La unin de L
1
y c(L
1
) es *, que es
regular.
61. 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 decidible es estructurado por frases, y la concatenacin de dos
lenguajes estructurados por frases es un lenguaje estructurado por frases. Finalmente,
p.e., el complementario de un lenguaje independiente del contexto que sea a su vez
regular es regular, luego la afirmacin c) es cierta.


18
62. Sea el lenguaje L = {(a
n
b
n
)
m
c
m
| n, m > 0}, y sea M el autmata de la figura. Indique
cul de las siguientes afirmaciones es falsa:
,;# b,a;
c,#; a,;a
a,;a
a,#;a##
b,a;
c,#;

a) M vaca siempre su pila antes de llegar a un estado de aceptacin
b) M no reconoce L
c) M acepta todas las cadenas de L
Solucin: B. M reconoce L y por tanto acepta todas sus cadenas. Siempre vaca su pila
antes de llegar al estado de aceptacin, ya que slo es posible llegar a este estado tras
haber ledo el smbolo #.
63. Indique cul de las siguientes Mquinas de Turing transforma una configuracin de
cinta xxyyxx... en xxyyxx...
a) RLyRRLL
b) R
y
R
y
S
L
L

c) R

S
L
L

Solucin: C. Las mquinas de Turing de los apartados a) y b) transforman la configuracin
de partida, respectivamente, en las configuraciones yyxx... xxyxx...
64. Indique cul es el tipo de autmata ms sencillo (menos potente) capaz de aceptar
el lenguaje {x
n
} {x
n
y
n
}, donde n es un nmero entero positivo.
a) Un autmata finito
b) Un autmata de pila determinista.
c) Un autmata de pila no determinista
Solucin: B. El siguiente autmata de pila determinista reconoce L:
x,;x
,;#
y,x;
y,x;
,#;