Vous êtes sur la page 1sur 20

TEORA DE AUTMATAS I

Informtica de Sistemas
Soluciones a las cuestiones de examen del curso 2010/11
Febrero 11, 1 semana
1. Indique cul de las siguientes afirmaciones referentes a los operadores sobre
smbolos *, y es FALSA:
a) El operador * tiene precedencia sobre y
b) El operador tiene la menor precedencia y es asociativo por la izquierda
c) El operador NO es asociativo por la izquierda
Solucin: C.
2. Indique cul de los siguientes lenguajes es independiente del contexto:
a) L = anbmc2nd2n n > 0, m > 0
b) L = (ab)ncndm n > 0, m > 0, n m
c) L = a2nbmcn n > 0, m 0, n es par y m es impar
Solucin: C. Es fcil disear un autmata de pila que acepte el lenguaje. En cuanto a
los lenguajes A y B, una nica pila no permite el recuento independiente de 3
exponentes.
3. Sea L1 = {aibjck} | ij o jk} y L2 el lenguaje generado por la siguiente gramtica:
SAB, SCD, AaA, A, BbBc, BE, BcD, CaCb, CE, CaA, DcD,
D, EbE, Eb. Indique cul de las siguientes afirmaciones es cierta (donde
denota la inclusin estricta):
a) L1 = L2
b) L1 L2
c) L2 L1
Solucin: A. El no terminal A genera cero o ms as. D genera cero o ms cs. E genera
cero o ms bs. B genera primero un nmero igual de bs y cs, luego produce bien
uno o ms bs (via E) o uno o ms cs (via cD). Es decir, B genera cadenas en b*c*
con un nmero diferente de bs y cs. Similarmente, C genera un nmero diferente de
as y bs, mientras que CD genera cadenas de a*b*c* con un nmero diferente de
as y bs.
4. Un hombre que viaja con un lobo, una cabra y un repollo desea cruzar un ro.
Dispone de una barca donde slo caben l y una de sus posesiones a la vez. Si dejara
solos al lobo y la cabra el lobo comera a la cabra, y si dejara solos a la cabra y al
repollo la cabra comera el repollo. Sera posible representar mediante un autmata
todas las secuencias posibles de cruces del ro mediante las cuales el hombre consigue
pasar a la otra orilla con todas sus pertenencias? (l: el hombre cruza con el lobo; c: el
hombre cruza con la cabra; r: el hombre cruza con el repollo; s: el hombre cruza slo;

l: el hombre regresa a la orilla de partida con el lobo; c: el hombre regresa a la orilla


de partida con la cabra; r: el hombre regresa a la orilla de partida con el repollo; s: el
hombre regresa a la orilla de partida slo.).
a) S, siempre que el autmata NO fuese determinista
b) S, y el autmata podra tener menos de 12 estados
c) S, y el estado de inicio podra coincidir con el estado de aceptacin
Solucin: B. He aqu un ejemplo de tal autmata:
c

s
l

r
r
c

l
s

5. Sean L1 el lenguaje generado por la gramtica G1 (situada a la izquierda) y L2 el


lenguaje generado por la gramtica G2 (situada a la derecha).
xABy
xzS

yz
B

S
A
A
B

xAyzy
xAy
xzS

yz
A

S
S
A
A

Indique cul de las siguientes afirmaciones es cierta (donde denota la inclusin


estricta):
a) Las gramticas son idnticas
b) Las gramticas son distintas, y L1 L2
c) Mediante G1 se pueden generar todas las cadenas de L2
Solucin: C. Las gramticas no son idnticas pero generan el mismo lenguaje. Para
verlo, basta sustituir el no-terminal B por las secuencias que puede generar.

6. Dado un alfabeto , llamamos L1 al conjunto de lenguajes de aceptados por


mquinas de Turing de varias cintas, y L2 al conjunto de lenguajes de estructurados
por frases. Cul de las siguientes afirmaciones es verdadera?
a) L1 L2
b) Depende de
c) L1 = L2
Solucin: C. Toda mquina de Turing de varias cintas es equivalente (en cuanto al
lenguaje que reconoce) a una mquina de Turing determinista de una cinta.
7. Dado un lenguaje L estructurado por frases decidible, el complemento de L:
a) Es estructurado por frases para todo L
b) Nunca es estructurado por frases
c) Dependiendo de L, podra o no ser estructurado por frases
Solucin: A. Ver las pgs. 186ss del libro de texto.
8. Sea un autmata de pila con n estados, s smbolos en el alfabeto, g smbolos de pila
y t transiciones. Se cumple que...
a) t = n(s+1)(g+1)
b) 0 t n2(s+1)2(g+1)
c) 0 t n2(s+1) (g+1)2.
Solucin: C. El conjunto de transiciones de un autmata de pila no-determinista puede
ser cualquier subconjunto de S ' ' S ' , donde S es el conjunto de estados,
el alfabeto, el conjunto de smbolos de pila, ' y ' .

9. Indique cul de las siguientes afirmaciones es FALSA:


a) Todo lenguaje regular puede construirse a partir de un alfabeto utilizando las
operaciones de unin finita, concatenacin y estrella de Klenne
b) Todo lenguaje independiente del contexto puede construirse a partir de un alfabeto
utilizando las operaciones de unin finita, interseccin, concatenacin y estrella de
Klenne
c) Todo lenguaje finito puede construirse a partir de un alfabeto utilizando las
operaciones de unin finita, concatenacin e interseccin
Solucin: B. Mediante las operaciones de unin finita, concatenacin y estrella de
Klenne se pueden construir slo lenguajes regulares (aquellos que se representan
mediante expresiones regulares). La interseccin de dos lenguajes regulares siempre es
regular.

10. Considere el alfabeto

= {0,1}.Qu lenguaje reconoce el siguiente autmata?:


1

0
1
0

0
0

1
1

a) {0x | x {0,1}*} {x0 | x {0,1}*}


b) {0x | x {0,1}*}
c) {x0 | x {0,1}*}
Solucin A. El autmata reconoce el lenguaje de las cadenas que empiezan y terminan
por cero.

11. Sea L el lenguaje representado por el autmata de la figura. Indique cul de las
siguientes opciones representa el mismo lenguaje:
a) (a b) (a b) (aa)*
b) (a b) (a b)* (aa)*
c) S aR1, S bR1, R1 aR2, R1 bR2, R1 a, R1 b, R3 aR2, R3 a
b

a
a

a
a

a, b
b
b

b
a

a
a

Solucin: A.

12. Cuntas cadenas de longitud 6 representa la expresin regular


x(yz)x(xyz)*x?
a) Menos de 15
b) 15
c) Ms de 15
Solucin: C. Son las 233=18 cadenas representadas por la expresin regular
x(yz)x(xyz)(xyz)x.

13. Dado el alfabeto {x, y, z}, queremos construir una mquina de Turing que busque
en su cinta la secuencia xy, la sustituya por zz y se detenga en cuanto haya realizado
esta operacin. Qu valores de las etiquetas hacen correcta la siguiente solucin?

a) Etiqueta1 = L Etiqueta2 = z
b) Etiqueta1 = Lx Etiqueta2 = z
c) Ningn valor puede hacer correcta la socucin
y

Rx R

z Etiq ue ta 1 Etiq ue ta 2

Solucin: C. Dada la cadena xzxy, la mquina se detiene tras leer los dos primeros
smbolos.

14. Sea una mquina de Turing M con alfabeto . Cuando M examina una cadena x
L(M) ...
a) se para en un estado de no aceptacin.
b) puede haber una terminacin anormal.
c) lee la cinta indefinidamente, sin detenerse nunca.
Solucin: B. Puede que la mquina no se detenga o que haya terminacin anormal. La
respuesta C sera valida si dijera es posible que lea la cinta indefinidamente, sin
detenerse nunca.

15. Un lenguaje L regular se puede generar mediante una gramtica expresada en


forma normal de Chomsky.
a) S, siempre.
b) Depende de L.
c) No, nunca.
Solucin: B. Cierto slo si L no contiene la cadena vaca.

16. Indique qu expresin representa el lenguaje generado por las reglas de reescritura:

S S1
S1 x S1 y
S1 xy
S S2
S2 xS2 yy
S2 xyy
a) {xnym | m y n son enteros positivos tales que m = n o m > n, n 0, m 0}
b) {xnym | m y n son enteros no negativos tales que m = n o m = 2n}
c) {xnym | m y n son enteros positivos tales que m = n o m = 2n, n 0, m 0}
Solucin: C.

Febrero 11, 2 semana

17. Indique cul de las afirmaciones siguientes es FALSA:


a) Un autmata finito determinista utilizado como reconocedor de lenguajes con al
menos una cadena necesariamente tiene que tener al menos un estado de aceptacin
b) Dada una gramtica regular G, siempre existe un autmata finito M tal que L(G) =
L(M) y M tiene un nico estado de aceptacin
c) Un autmata reconoce una cadena cuando alcanza un estado de aceptacin durante
su lectura
Solucin: C. Para que una cadena sea aceptada por un autmata finito o de pila es
necesario que la lectura del ltimo smbolo de la cadena le conduzca a un estado de
aceptacin. A es trivialmente verdadera. B es verdadera: dado un autmata finito,
siempre es posible convertirlo en otro que tenga un nico estado de aceptacin y que
acepte el mismo lenguaje (vase el problema 26 del libro de texto).

18. Un homomorfismo de cadenas es una funcin sobre cadenas que sustituye cada
smbolo por una cadena determinada. As, la funcin h(0) = ab, h(1) = es un
homomorfismo que asigna, p.e, a la cadena 0011 la cadena abab. Indique cul de las
siguientes afirmaciones es falsa:
a) Si L es un lenguaje regular de alfabeto y h es un homomorfismo sobre , entonces
h(L) tambin es regular
b) Si h(L) es un lenguaje no regular de alfabeto y h es un homomorfismo sobre ,
entonces L tambin es no regular
c) Si h(L) es un lenguaje regular de alfabeto y h es un homomorfismo sobre ,
entonces L tambin es regular
Solucin: C. Supongamos que el homomorfismo h asigna la cadena a cualquier
smbolo del alfabeto. En este caso, h(L) sera el lenguaje regular {}
independientemente de L. A es verdadera: basta con ver que dada una expresin
regular r que define L, entonces h(r) define h(L). En cuanto a la opcin B, es
obviamente verdadera pues, de otro modo, estara en contradiccin con la opcin A.

19. Indique cul de las siguientes opciones es cierta con respecto al lenguaje L =
anbmcp m = n+p, n > 0, p 0
a) S AB, A aAb ab, B bBc genera L
b) S AB, A aAbb abb, B cBc genera L
c) No existe ninguna gramtica generativa que genere L
Solucin: A. La gramtica del apartado B genera el lenguaje L = amb2mc2n m >0, n
0 (por cada a se generan dos bs; el nmero de cs es arbitrario pero necesariamente
par).

20. Indique cul de las siguientes afirmaciones es falsa:

a) Para todo autmata finito existe una longitud mnima tal que las cadenas que
reconoce el autmata siempre exceden dicha longitud
b) Todo autmata definido para un alfabeto con n smbolos debe contener al menos
n transiciones
c) Sea n un nmero natural tal que n 2. Dados un alfabeto y un conjunto de smbolos
de cinta, el nmero total de mquinas de Turing con n estados es finito
Solucin: B. A es cierta: las cadenas han de ser de longitud finita, luego siempre
existir una cadena de mnima longitud en el lenguaje. B es falsa: Un autmata no
determinista no tiene por qu estar completamente definido (ver pg. 32 del libro de
texto). C es verdadera

21. Dado el alfabeto = {a, b}, indique cul de las siguientes afirmaciones es falsa:
a) La expresin regular b*(ab*ab*)* representa al lenguaje de las cadenas con un
nmero par de letras a
b) La expresin regular (b*ab*ab*a) * representa al lenguaje de las cadenas con un
nmero mltiplo de 3 de letras a
c) La expresin regular b*ab* (ab*ab*)* representa al lenguaje de las cadenas con un
nmero impar de letras a
Solucin: B

22. La siguiente mquina de Turing entra en un bucle y no termina nunca sus clculos
cuando se inicia con la cadena yyxyxx. Cules son los valores de etiqueta1 y
etiqueta2?
a) Etiqueta1 = x/R Etiqueta2 = y/R
b) Etiqueta1 = x/R Etiqueta2 = x/R
c) Etiqueta1 = y/R Etiqueta2 = x/R
Etiqueta1

x/R
y/L

Etiqueta2

y/R

/
y/x

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

23. Indique cul de las tres afirmaciones siguientes es falsa:


a) Para todo autmata finito no determinista M existe un autmata finito determinista
M tal que L(M)=L(M).

b) Para todo autmata de pila no determinista M existe un autmata de pila


determinista M tal que L(M)=L(M).
c) Para toda mquina de Turing no determinista M existe una mquina de Turing
determinista M tal que L(M)=L(M).
Solucin: B.

24. Considere el lenguaje 2-menos(L) = w vw L y v = 2, v, w *, = a,b.


Indique cul de las siguientes afirmaciones es FALSA.
a) Si L es un lenguaje regular entonces 2-menos(L) es regular
b) Aunque L sea regular, es posible que 2-menos(L) no sea regular
c) Aunque L no sea regular 2-menos(L) puede ser regular
Solucin: B. A es verdadera: el autmata finito que reconoce 2-menos(L) puede
construirse fcilmente a partir del autmata que reconoce a L sin ms que aadir un
nuevo estado de inicio con arcos etiquetados por hacia todos los estados
alcanzables mediante un camino de longitud 2 desde el estado inicial del autmata de
partida. De ah se deduce que B es falsa. C es verdadera: considere L el lenguaje
cuyos dos primeros smbolos indican si la longitud total de la cadena es un nmero
primo (p.e. aa indica que la longitud de la cadena es un nmero primo y bb que no es
un nmero primo); en este caso: 2-menos(L) = *, lenguaje regular.

25. Indique cul de los siguientes lenguajes NO es regular:


a) L =anbm n+m > 5, n > 0, m 0
b) L =anbm m > 5n, n > 0
c) L =an n/10 es un entero
Solucin: B. En el caso de los lenguajes A y C los lenguajes pueden representarse
mediante las expresiones regulares {aaaaaaa*b* aaaaaa*bb* aaaaa*bbb*
aaaa*bbbb* aaa*bbbbb* aa*bbbbbbb*} y {aaaaaaaaaa}*, respectivamente.
La demostracin de que el lenguaje B no es regular es anloga a demostracin de que
no lo es el lenguaje {anbn}.
26. Indique cul de los siguientes lenguajes es regular:

a) {0 n | la raz cuadrada de n es un nmero entero}, = {0,1}


b) {0 n | la raz cuadrada de n es un nmero entero}, = {0}
c) El conjunto de 0s y 1s, comenzando por 1, tal que cuando se interpreta como un
entero, dicho entero es un nmero primo menor que 300
Solucin: C. El lenguaje de la opcin C es un lenguaje finito y por tanto regular. El
lenguaje {0 n | la raz cuadrada de n es un nmero entero} no es regular,
independientemente del alfabeto considerado, ya que no cumple el lema de bombeo.
2
Consideremos w = 0 n , w =xyz. Bombeando la subcadena y obtenemos la cadena
xyyz, cuya longitud vara entre n2 + 1 y 2n2. El siguiente cuadrado perfecto despus
de n2 es (n+1)2= n2+ 1+2n y, para todo nmero natural n, n2+ 1+2n > 2n2.

27. Cul es el nmero mximo de transiciones para un autmata de pila con n estados,
s smbolos en el alfabeto y g smbolos de pila?
a) n2(s+1)2g
b) n2(s+1)(g+1)2
c) n2(s+1)2(g+1)
Solucin: B. El conjunto de transiciones de un autmata de pila no-determinista es un
subconjunto de S ( { ( { S ( { .

28. En un cierto autmata de pila determinista con ={x, y} existe una transicin
(i, , , j, x). Cuntas transiciones en total deben partir del estado i?
a) Una
b) Tres
c) Ms de tres
Solucin: A. Est claro que, por ser determinista, la transicin (i, , , , ) excluye
(i, x, , , ), (i, y, , , ), (i, , x, , ), (i, , y, , ), (i, x, x, , ), (i, x, y, , ),
(i, y, x, , ) e (i, y, y, , ), es decir, no hay ms que una transicin desde el estado i.

29. Dado el alfabeto {x, y, z}, queremos construir una mquina de Turing que busque
en su cinta la secuencia xy, la sustituya por zz y se detenga en cuanto haya realizado
esta operacin. Qu valores de las etiquetas hacen correcta la siguiente solucin?
a) Etiqueta1 = y/z Etiqueta2 = z/L
b) Etiqueta1 = y/R Etiqueta2 = z/z
c) Ningn valor de las etiquetas hace correcta la solucin
x/R

x/R
x/R
/R
z/R

Etiqueta1

Etiqueta2
z/R

x/z
x/R

Solucin: A. 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.

30. Cules son las cadenas que acepta el siguiente autmata vaciando su pila?

10

x ;x

y, x;
a) Cadenas en las que, al ser ledas de izquierda a derecha, el nmero de ys nunca
supera al de xs ledas.
b) Las cadenas con ms xs que ys
c) Cadenas en las que, al ser ledas de izquierda a derecha, el nmero de ys nunca
supera al de xs ledas y, en total, el nmero de xs es igual al de ys.
Solucin: C.

31. Indique cul es el tipo de autmata ms sencillo (menos general) capaz de


reconocer el lenguaje xny3n, donde n es un nmero natural.
a) Un autmata de pila determinista.
b) Un autmata de pila no determinista.
c) Una mquina de Turing.
Solucin: A. Construir el autmata, cuidando que sea no determinista. Es decir, utilizar
una transicin y,x; en vez de ,;.

32. Dado un lenguaje L estructurado por frases, el complemento de L es estructurado


por frases.
a) Es estructurado por frases para todo L
b) Nunca es estructurado por frases
c) Dependiendo de L, podra o no ser estructurado por frases
Solucin: C. Ver las pgs. 186ss del libro de texto.

Septiembre, original

33. Indique cul de los siguientes lenguajes no es independiente del contexto:


a) El conjunto de cadenas de ceros y unos tales que en ninguno de sus prefijos el
nmero de ceros excede al nmero de unos en ms de dos, ni el nmero de unos excede
al nmero de ceros en ms de dos
b) El conjunto de cadenas de ceros, unos y doses tales que el cero no es el carcter que
ocurre con ms frecuencia en la cadena
c) El conjunto de cadenas de ceros, unos y doses tales que el nmero de ceros es mayor
que la suma del nmero de unos y doses

11

Solucin: B. El lenguaje de la opcin A es independiente del contexto: podra


reconocerlo un autmata de pila que comenzase sus operaciones guardando dos 1's
en la pila; a partir de entonces metera un 1 en la pila por cada 1 ledo y sacara un 1
de la pila por cada 0 ledo, y una cadena sera rechazada en cuanto se leyese un 0 con
la pila vaca. El diseo de un autmata de pila que reconozca el lenguaje de la opcin
C es igualmente sencillo. En cuanto al lenguaje de la opcin B, es fcil ver que se
requerira el recuento independiente de ceros, unos y doses, operacin que no puede
hacerse con una nica pila.

34. 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 seis derivaciones distintas para la cadena babbab
b) Slo existe una forma posible de derivar la cadena a partir de la gramtica
c) Existen exactamente cuatro derivaciones distintas.
Solucin: A. Existen muchas derivaciones posibles. As p.e., la aplicacin de reglas
permite obtener la expresin bAbA al menos de cuatro formas distintas:
S AA bAA bAbA (aplicando la 5 regla a la primera A)
S AA bAA bAbA (aplicando la 4 regla a la segunda A)
S AbA (aplicando las reglas 4 o 5 ) bAbA
De la expresin bAbA se puede derivar de dos formas distintas bAbbA, y de sta se
puede derivar
babbab de varias formas.

35. 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. La gramtica
obtenida es independiente del contexto y genera el lenguaje L*.

36. Indique cul de las siguientes operaciones no puede realizar una mquina de
Turing:
a) La funcin f : f (x) = 0 si x es impar; f(x) indeterminado si x es par
b) Decidir el lenguaje de las matrices mn ; m, n N y m nmero primo
c) Decidir el lenguaje interseccin de dos lenguajes indecidibles
Solucin: C. La funcin de la opcin A es claramente una funcin computable; no
requiere ms que discernir entre nmeros pares e impares. Decidir el lenguaje de la
opcin B, por su parte, slo requiere dictaminar si m es un nmero primo, problema que
tambin tiene solucin algortmica. Finalmente, la interseccin de dos lenguajes
indecidibles puede ser indecidible (por ejemplo, la interseccin de dos lenguaje L y L
indecidibles tales que L = L, es un lenguaje indecidible), y una mquina de Turing no
puede decidir un lenguaje indecidible.

12

37. Sean L = {aibjck | i<j o bien j<k} y L el generado por la gramtica SXbC,
SAYc, XaXb, XXb, X, CCc, C, AAa, A,YbYc, YYc, Y .
Indique cul de las siguientes relaciones es cierta (Nota: el smbolo denota inclusin
estricta):
a) L=L
b) L L
c) L L
Solucin: A.

38. Indique la opcin en que figuren expresiones regulares equivalentes entre s:


a) (x*y)* , x*(yx*)*y
b) (x*y)*, x*(yx*)*y
c) (xz y) (zz)* (zy (xy)* (xz y) (zz)*)* , (xy)* (xz y) (zz)* (zy (xy)*
(xz y) (zz)*)*
Solucin: B.

39. Indique cul de las siguientes opciones NO describe un lenguaje:


a) El conjunto de las palabras del diccionario de la Real Academia Espaola
b) Los nmeros racionales escritos en notacin decimal
c) El conjunto de los programas sintcticamente vlidos escritos en C
Solucin: B. Un lenguaje se define como un conjunto de cadenas formadas por los
smbolos de un alfabeto. Algunos nmeros racionales (p.e., 1/3) son cadenas de longitud
infinita.

40. Sea h: {a,b}* {1,0}* tal que h(w) es la cadena resultante de sustituir en w cada
smbolo a por la subcadena 01 y cada smbolo b por la subcadena 10. Sean L1 lenguaje
generado por la expresin regular (ba)* y L2 el lenguaje generado por la expresin
regular (00 1)*. Indique cul de las siguientes afirmaciones es FALSA:
a) h(L1) = L2
b) h(L1) L2 y h(L1) L2
c) Si w L1 h(w) L2
Solucin: A. Las cadenas de L2 con un nmero impar de smbolos no son imagen
mediante h de ninguna cadena de L1. Como las cadenas de L1 responden al patrn
w=(ba)n, h(w) = (1001)n L2. Si w (ba)*, entonces: a) si w empieza por a, h(w)
empieza por 01 y (00 1)* b) si w termina por b, h(w) termina por 10 y (00
1)*, c) si w contiene la subcadena aa entonces h(w) contiene la subcadena 0101 y (00
1)*, d) si w contiene la subcadena bb entonces h(w) contiene la subcadena 1010 y
(00 1)*.

41. Indique cul de los siguientes lenguajes es independiente del contexto:


a) L = {an n| n 0}
b) L = {www | w {a,b}*}

13

c) L = {ambncp | m n o bien n p o bien m p }


Solucin: C. El lenguaje de la opcin C puede verse fcilmente como unin de lenguajes
independientes del contexto. Los dos primeros lenguajes no verifican el lema de bombeo
para lenguajes independientes del contexto.

42. Considere el alfabeto = {0, 1} y los dos autmatas de la figura, e indique cul de
las siguientes afirmaciones es FALSA

0
1

2
0

0
0

a) Los dos autmatas reconocen el mismo lenguaje


b) Uno de los dos autmatas es determinista
c) Ninguno de los diagramas est completo (falta el estado de captacin global))
Solucin: C. Los dos autmatas reconocen el lenguaje de las cadenas del alfabeto S =
{0, 1} terminadas en la subcadena 01. El segundo puede obtenerse aplicando al primero
el procedimiento de obtencin de autmatas finitos deterministas a partir de no
deterministas descrito en el libro de texto de la asignatura. El segundo diagrama est
completo (desde cada estado existe una transicin explcita por cada smbolo del
alfabeto).

43. Indique cul de las siguientes afirmaciones es FALSA:


a) Una gramtica formal estructurada por frases siempre puede describirse mediante
reglas de reescritura
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 L es el lenguaje generado por la gramtica G cuando todas las cadenas
de L pueden derivarse de G
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.

44. Sea L = {anbncn} un lenguaje del alfabeto = {a, b, c}. Considere la mquina de
Turing de la figura, cuyos smbolos de cinta son a,b, c, d y . Indique cul de las
siguientes afirmaciones es verdadera::

14

R a

dR

c,
b,c

b,d

a,d

dR c dL

a,
R

a) La mquina decide el lenguaje L


b) La mquina reconoce el lenguaje L*
c) La mquina reconoce el lenguaje L
Solucin: B.

45. Sean L y L los lenguajes reconocidos, respectivamente, por los autmatas situados
en la izquierda y derecha de la siguiente figura. Sea L el lenguaje del alfabeto =
0,1 cuyas cadenas tienen igual nmero de ceros que de unos, y tales que en cada
prefijo la diferencia entre el nmero de ceros y el nmero de unos sea a lo sumo de una
unidad. Indique cul de las siguientes relaciones es verdadera:
0
1

1
0

0
1

1
0
1

a) L = L
b) L = L
c) L = L
Solucin: C. L incluye a 0*, que no incluyen L ni L

46. Indique cul de las siguientes afirmaciones es FALSA :


a) Para toda gramtica cuyas reglas contienen smbolos inaccesibles (smbolos
terminales o no terminales que no aparecen en ninguna derivacin del smbolo inicial)
existe otra gramtica que genera el mismo lenguaje y NO contiene smbolos
inaccesibles
b) Para toda gramtica cuyas reglas contienen smbolos muertos (smbolos no
terminales de los que no se deriva ninguna cadena de smbolos terminales) existe otra
gramtica equivalente que genera el mismo lenguaje y NO contiene smbolos muertos

15

c) Para toda gramtica cuyas reglas incluyen reglas existe otra gramtica que genera
el mismo lenguaje y NO contiene reglas ; en algunos casos, dicha gramtica
necesariamente incluir algn smbolo inaccesible o muerto.
Solucin: C. Para obtener las reglas de una gramtica sin smbolos muertos ni
inaccesibles basta con eliminar las reglas que contengan dichos smbolos. Toda
gramtica que genere la cadena necesariamente incluye una regla .

47. Sean A, B y C lenguajes de un alfabeto. Indique cul de las siguientes relaciones


puede ser falsa:
a) A(B C) = AB AC
b) A(i I Bi ) = (i I ABi)
c) A(BC) = AB AC
Solucin: C. Considere A = a, ab, B = b y C = . Tenga en cuenta que la
concatenacin de cualquier conjunto con el conjunto vaco es el conjunto vaco.

48. Sea un alfabeto. Indique cul de las siguientes afirmaciones es FALSA:


a) * siempre es un conjunto mayor que cualquiera de sus subconjuntos propios (Sea A
un subconjunto de B tal que A B. Estonces se dice que A es un subconjunto propio de
B)
b) La interseccin de * con uno de sus subconjuntos propios puede ser infinita
contable
c) El complementario de la interseccin de * con uno de sus subconjuntos propios
puede ser un conjunto finito
Solucin: A. Un conjunto infinito puede tener igual cardinalidad que uno de sus
subconjuntos propios.

Septiembre, reserva

49. Considere el lenguaje formado por las cadenas de ceros y unos que cumplen una de
las siguientes condiciones: 1) terminan en 010 y tienen en algn lugar la subcadena 011;
2) terminan en 101 y tienen en algn lugar la subcadena 100. Indique cul de las
siguientes afirmaciones es FALSA:
a) Existe un autmata no determinista con menos de 20 estados que reconoce el
lenguaje
b) No existe ningn autmata determinista que reconozca el lenguaje
c) Existe un autmata no determinista con menos de 40 arcos que reconoce el lenguaje

16

Solucin: B. El autmata de la figura es no determinista, tiene menos de 20 estados


(y por tanto menos de 40 arcos) y reconoce el lenguaje. La potencia de
reconocimiento de lenguajes de los autmatas finitos no deterministas y los
deterministas es idntica, y por tanto la opcin B es FALSA.
0
0

1
0

0
1

1
1

50. Sea el alfabeto {x, y}. Cuntas cadenas contiene el lenguaje aceptado por la
mquina de Turing R?
a) Ninguna
b) Varias (un nmero finito mayor que uno)
c) Infinitas
Solucin: C. El lenguaje que acepta es *.

51. Sean = {a, b}y L := {w * | w comienza por la subcadena ba y contiene un


nmero par de as}.
a) Existe un autmata finito determinista con 5 estados que reconoce L
b) Existe un autmata finito determinista que reconoce L, pero necesariamente tiene
ms de 6 estados
c) No existe un autmata finito determinista que reconozca L; ya que no se trata de un
lenguaje regular
Solucin: A.

a
b

b
a

a
a

52. Dada la gramtica S aS; SaSbS; 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

17

Solucin: A. La cadena a , generada por la gramtica, no cumple esta condicin.

53. Indique cul de los siguientes lenguajes no es independiente del contexto:


a) L L, L = {0n1n | n 0}
b) L = {aibjck | k= min(i,j)}
c) L = {wax | w, x {0,1}*, wR (es decir, la inversa de la cadena w) subcadena de x}
Solucin: B. No cumple el lema de bombeo. Las gramticas independientes del
contexto que generam A y C son, respectivamente, SE10E, S0A, SB1, EE0,
EE1, E, A0A1, A0A, A, B0B1, BB1, B ; y SS0, SS1, SA,
A0A0, A1A1, AB, BB0, BB1, B#.

54. Sea L el lenguaje del alfabeto = {a, b} cuyas cadenas tienen igual nmero de as
que de bs. Considere la mquina de Turing de la figura, cuyos smbolos de cinta son
a,b, d y . Indique cul de las siguientes afirmaciones es FALSA:
d

a,d

R a

dR

dL

dR

b,d
a

a) La mquina de Turing de la figura decide el lenguaje L


b) La mquina de Turing de la figura reconoce el lenguaje L
c) La mquina de Turing de la figura nunca tiene una terminacin anormal
Solucin: A. La mquina reconoce, pero NO decide el lenguaje.

55. Indique cul de las siguientes afirmaciones es FALSA:


a) Para todo lenguaje L de un alfabeto , L *, existe un lenguaje L, L L, que NO
es decidible
b) Sea f una funcin computable definida para todo w *, f: * *. Entonces, el
lenguaje L ={ (x,y) tal que f(x) = y} es decidible
c) Un lenguaje cofinito (un lenguaje es cofinito si y slo si su complementario contiene
un nmero finito de cadenas) siempre es regular
Solucin: A. Siendo L = * - {a} (a ), los nicos lenguajes que contienen a L son *
y el propio L, ambos decidibles. Es fcil disear una mquina de Turing que decida el
lenguaje definido en la opcin B; tal mquina computara la funcin f en una primera
cinta y comparara el resultado con y, que se almacenara durante la computacin en
una segunda cinta. C es verdadero porque todo lenguaje finito es regular, y todo
lenguaje regular tiene un complementario tambin regular.

18

56. Sean el alfabeto = {0, 1} y el autmata de la figura:

0
0
1

2
0

1
0

0
1
3
0

a) El autmata puede procesar la cadena 00101 de 4 formas distintas


b) Slo existe un modo en que el autmata puede procesar la cadena 00101
c) Al procesar la cadena 00101, el ltimo estado visitado es siempre el estado 3 o bien
el estado 2
Solucin: A. El autmata puede procesar la cadena 00101 de 4 formas distintas,
correspondientes a las siguientes secuencias de estados: {0,1,3,3,3,3}, {0,0,1,2,3,3},
{0,0,0,0,1,2}, {0,0,0,0,0,0}.

57. Indique cul de las siguientes afirmaciones es FALSA:


a) Cada regla 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, v, u y w
no vacas, y svnunwnt est en el lenguaje para cada n N+
c) Toda gramtica independiente del contexto que no genere la cadena vaca puede
expresarse en la forma normal de Chomsky
Solucin: B. P.e, el lenguaje xnzyn es independiente del contexto y no verifica esta
condicin. S verifica, por el contrario, el lema de bombeo, de enunciado ligeramente
distinto: en todo lenguaje independiente del contexto que contiene un nmero infinito
de cadenas existe una cadena de la forma svuwt, donde s,v,u,w y t son subcadenas, por
lo menos una de v y w no vaca, y svnuwnt est en el lenguaje para cada n N+.

58. Considere el lenguaje {01j} tal que existe un k para el que j= k! ; k! = k (k-1) (k2) 1)
a) Es regular
b) Es independiente del contexto, no regular
c) Es estructurado por frases, no independiente del contexto
Solucin: C. No verifica el lema de bombeo.

59. Considere las gramticas G1 = {S aS, S aA, S a, A aB, A bS, B aB,


B bB, C aA, C bC} y G2 = {S aS, S aA, S a, A bS}. Sean L1 y L2 los

19

lenguajes generados respectivamente por G1 y G2; entonces (Nota: el smbolo denota


la relacin de inclusin estricta):
a) L1 L2
b) L2 L1
c) L1 = L2
Solucin: C. Las reglas que implican a los no terminales B y C no generan ninguna
cadena.

60. 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 L1 independiente del contexto tal que su
complementario, c(L1), no sea independiente del contexto. Como L1 es estructurado por
frases decidible, c(L1) es estructurado por frases. La unin de L1 y c(L1) es *, que es
regular.

61. Indique cul de las siguientes definiciones es INCORRECTA :


a) Una gramtica describe la estructura de un lenguaje proporcionando las reglas que
determinan las combinaciones vlidas de los smbolos del alfabeto
b) Una expresin regular describe las cadenas pertenecientes a un lenguaje regular
c) Un autmata finito determinista es aquel cuya funcin de transicin de estados debe
estar definida para cada estado y smbolo del alfabeto.
Solucin: C. Adems, para cada smbolo de entrada debe existir un nico estado al que
el autmata puede llegar partiendo del actual.

62. Indique cul de las siguientes afirmaciones es FALSA :


a) El lema de bombeo para los lenguajes regulares sirve para demostrar que un
lenguaje L NO es regular
b) El lema de bombeo para los lenguajes regulares sirve para demostrar que un
lenguaje L es regular
c) Los lenguajes regulares cumplen el lema de bombeo para los lenguajes
independientes del contexto
Solucin: B.

63. Sean L el lenguaje reconocido por el autmata de la figura y L el lenguaje


generado por la expresin regular b(0 1)* (b bb) (b bb). Indique cul de las
siguientes afirmaciones es verdadera (nota: el smbolo denota inclusin estricta):

20

a) L = L
b) L L
c) El autmata es determinista
Solucin: A.
64. Indique cul es el tipo de autmata ms sencillo (menos general) capaz de reconocer el
n 3n

lenguaje x y , donde n es un nmero natural.


a) Un autmata de pila determinista.
b) Un autmata de pila no determinista.
c) Una mquina de Turing.
Solucin: A. Constryase el autmata, cuidando que sea no determinista. Es decir,
utilizando una transicin y,x; en vez de ,;.