Cdigo asignatura

71901089
Fecha alta y origen
14/05/2013
Equipo Docente

Nombre asignatura

Autmatas, Gramticas y Lenguajes

Convocatoria

Septiembre 2012

Soluciones a los exmenes de Septiembre

2012
Autmatas, Gramticas y Lenguajes
(1 curso)
Grado en Ingeniera Informtica y Grado en Ingeniera de las
Tecnologas de la Informacin

Elena Gaudioso Vzquez y Toms Garca Saiz

Plantillas de respuestas
Nacional UE Original
Tipo A: 1. (b) 2. (b) 3. (a) 4. (d) 5. (d) 6. (b) 7. (b) 8. (d) 9. (b) 10.(c)
Tipo B: 1. (b) 2. (b) 3. (b) 4. (d) 5. (a) 6. (d) 7. (d) 8. (b) 9. (c) 10.(b)
Tipo C: 1. (b) 2. (b) 3. (a) 4. (b) 5. (d) 6. (d) 7. (d) 8. (c) 9. (b) 10. (b)
Nacional UE Reserva
Tipo A: 1. (b) 2. (b) 3. (b) 4. (a) 5. (a) 6. (b) 7. (d) 8. (a) 9. (a) 10. (a)
Tipo B: 1. (b) 2. (b) 3. (d) 4. (a) 5. (b) 6. (a) 7. (a) 8. (a) 9. (a) 10. (b)
Tipo C: 1. (b) 2. (a) 3. (b) 4. (b) 5. (a) 6. (a) 7. (a) 8. (a) 9. (d) 10. (b)

Nacional UE Original
1 Sea la expresin regular ((abc) + (acb) + (bac) + (bca) + (cab) + (cba) )

(a). Todas las cadenas del lenguaje tienen un nmero impar de letras.
(b). El lenguaje est formado por todas las posibles cadenas que tengan el mismo nmero
de as, bs y cs.
(c). El lenguaje est formado por cadenas que tengan el mismo nmero de as, bs y cs
que empiecen por la subcadena abc y terminen con la subcadena cba.
(d). Ninguna de las anteriores
Solucin: D. Sea L el lenguaje generado por la expresin regular del enunciado. La opcin
b es falsa ya que cualquier cadena que pertenezca a L tiene el mismo nmero de as, bs y
cs pero no genera, por ejemplo, la cadena aabbcc. La opcin a es falsa puesto que, por
ejemplo, la cadena abcabc pertenece a L y tiene un nmero par de letras. La opcin c es
falsa puesto que, por ejemplo, la cadena bac pertenece a L y no cumple las condiciones que
marca esta opcin.

2 Dada la expresin regular ((a + b + acb + ba) + (a + bc )) c ((ac + b ) + (a + bc) )

. Podemos asegurar que el lenguaje que define es:

(a). Un lenguaje regular.

(b). Un lenguaje independiente del contexto determinista, no regular.
(c). Un lenguaje independiente del contexto no determinista, no regular.
(d). Un lenguaje recursivamente enunmerable, no independiente del contexto.
Solucin: A. Cualquier lenguaje generado por una expresin regular es un lenguaje regular.
3 Cul de los siguientes autmatas tienen mayor capacidad de representacin?:
(a). Los autmatas finitos no deterministas.
(b). Los autmatas finitos deterministas.
(c). Todos los autmatas anteriores tienen la misma capacidad de representacin.
2

Solucin: C. Los autmatas finitos deterministas y los autmatas finitos no deterministas

son equivalentes en cuanto a su capacidad de representacin.
4 Cul de las siguientes mquinas tienen mayor capacidad de representacin?:
(a). Las mquinas de Turing no deterministas.
(b). Las mquinas de Turing deterministas.
(c). Las mquinas de Turing de mltiples cintas.
(d). Todas las anteriores mquinas tienen la misma capacidad de representacin.
Solucin: D. Cualquier mquina de Turing no determinista es equivalente a una mquina de
Turing de mltiples cintas y cualquier mquina de Turing de mltiples cintas es equivalente
a una mquina de Turing de una nica cinta.
5 Un autmata finito puede reconocer una palabra con solo llegar al estado de aceptacin?.
(a). Si.
(b). No.
Solucin: B. No, un autmata finito reconoce una palabra cuando al terminar de leer la
palabra, ha llegado a un estado de aceptacin.
6 Un autmata finito puede reconocer una palabra sin llegar al estado de aceptacin?.
(a). Si.
(b). No.
Solucin: B. Para que un autmata finito reconozca una palabra es necesario que llegue a
un estado de aceptacin cuando termina de leer dicha palabra.
7 Una mquina de Turing puede reconocer una cadena de un lenguaje decidible con solo
llegar al estado de parada?.
(a). Si.
(b). No.
Solucin: B. Si se trata de un lenguaje decidible la mquina de Turing siempre llega a un
estado de parada independientemente de que la cadena pertenezca o no al lenguaje.
3

8 Dado el lenguaje L = {xn y n : n > 0}. Podemos afirmar que:

(a). Las dos mquinas de Turing de las opciones c y d reconocen el lenguaje L.
(b). Ninguna de las mquinas de Turing de las opciones c d reconoce el lenguaje L.

F
y, N,
, S,

Q0

x, x,
y, y,

x, a,

Q1

x, N,
a, N,

, ,

Q2

x, x,
y, y,
a, x,

y, ,
Q3

(c).

x, ,

Q0

y, ,

y, ,

Q1

, ,

(d).

Solucin: B. Es fcil comprobar que ninguna de las mquinas de las opciones c y d

reconoce el lenguaje del enunciado.
9 Dada la siguiente mquina
4

, S; A
, S; B
, A; xAy
, B; xxBy
, A; xy
, B; xxy

Q0

, ; #

Q1

, ; S

Q2

, #;

y, y;
x, x;
podemos afirmar:

(a). Es una mquina de Turing mal definida ya que no se indica el movimiento a realizar.
(b). Es un autmata finito determinista.
(c). Es un autmata a pila determinista.
(d). Es un autmata a pila no determinista.

Solucin: D. Las opciones a y b son falsas ya que la mquina del enunciado es un autmata
a pila. Es no determinista puesto que en el estado Q2 , si en la cima de la pila hay un smbolo
A, B o S existen varias posibles transiciones que se pueden aplicar.

10 Dado el siguiente autmata

5

, S; A
, S; B
, A; xAy
, B; xxBy
, A; xy
, B; xxy
, B; cCd
, A; cCd
, C; cCd

Q0

, ; #

Q1

, ; S

Q2

, #;

d, d;
c, c;
y, y;
podemos afirmar:
x, x;
(a). El conjunto de letras que forman las palabras reconocidas por el autmata es {x}.
(b). El conjunto de letras que forman las palabras reconocidas por el autmata es {x, y}.
(c). El conjunto de letras que forman las palabras reconocidas por el autmata es
{x, y, c}.
(d). El conjunto de letras que forman las palabras reconocidas por el autmata es
{x, y, c, d}.
Solucin: B. El lenguaje que reconoce este autmata es {xn y n : n > 0} {x2n y n : n > 0}.
Si consideramos la gramtica independiente del contexto equivalente a este autmata,
veremos que las producciones correspondientes al no terminal C no conducen a ninguna
cadena vlida.

Nacional UE Reserva
11 Dado el lenguaje formado por todas las posibles cadenas que tengan el mismo nmero
de as, de bs y de cs. La expresin regular que mejor define el lenguaje sera:
6

(a). Ninguna de las siguientes

(b). ((abc) + (acb) + (bac) + (bca) + (cab) + (cba) )

(c). (a b c )
(d). (an bn cn ) , con n > 0.
Solucin: A. La opcin b es falsa puesto que no generara, por ejemplo, la cadena aabbcc.
La opcin c es falsa puesto generara por ejemplo, la cadena cc que no es una cadena vlida
del lenguaje del enunciado. La opcin d es falsa puesto no generara por ejemplo, la cadena
bca que s es una cadena vlida del lenguaje.
12 Suponga que extendemos los operadores utilizados para expresar las expresiones
regulares con el operador , el cual significa que aquello a lo que eleve se puede repetir
una o ms veces. Por ejemplo:
a0 = a, aa, aaa, aaaa, ...
(ab)0 = ab, abab, ababab, abababab, ...
(a + b)0 = a, b, aa, bb, ab, ba, aaa, aab, aba, baa, abb, bab, bba, bbb...
Con este operador, se amplia la capacidad de expresin de las expresiones regulares?, se
puede definir la expresin regular de un lenguaje que no se poda con anterioridad?
(a). Si
(b). No
Solucin: B. El nuevo operador es similar al operador con la diferencia de que el operador
del enunciado obliga a que se repita al menos una vez aquello a lo que eleve. Este nuevo
operador no puede generar por tanto la cadena vaca, pero no ampla la capacidad de
expresin de las expresiones regulares.
13 Dado el alfabeto = {a, e, i, o, u}. Definimos el concepto slaba como cualquier
ordenacin de los cinco elementos del alfabeto sin repeticin. Si definimos un lenguaje
cuyas palabras se forman como la concatenacin de un nmero impar de slabas, podemos
afirmar que:
(a). El lenguaje es regular.
(b). El lenguaje es independiente del contexto finito no regular.
7

(c). El lenguaje es independiente del contexto infinito no regular.

(d). El lenguaje es recursivamente enumerable no independiente del contexto.
Solucin: A. Las condiciones que impone el lenguaje a sus cadenas, pueden controlarse
mediante una autmata finito.
14 Cul de los siguientes autmatas tienen mayor capacidad de representacin?:
(a). Los autmatas a pila no deterministas.
(b). Los autmatas a pila deterministas.
(c). Todos los autmatas anteriores tienen la misma capacidad de representacin.
Solucin: A. Un ejemplo de lenguaje que puede ser reconocido por un autmata a pila no
determinista pero no por un autmata a pila determinista es: {xn y n } {x2n y n }.
15 Sea L1 el lenguaje definido por la gramtica S xxxxxAyy, A xxxxxAyy,
S xxxxxxxBy, B xxxxxxxBy, A , B , con smbolo inicial de la gramtica
S. Sea L2 el lenguaje formado por las cadenas del lenguaje L1 con una cardinalidad
mxima de 35 letras. Podemos afirmar:
(a). Que el lenguaje L2 es un lenguaje regular por estar acotada la cardinalidad de las
cadenas, y que se puede reconocer con un autmata finito determinista de 7 estados
que es mayor que el nmero mximo de producciones utilizadas en la generacin de
las palabras.
(b). Como la cardinalidad de las palabras del lenguaje L2 est acotada a un valor que
asegura que slo se pueda utilizar o la produccin A , o la produccin B y
no las dos para la generacin de todas las palabras del lenguaje, entonces podemos
asegurar que se puede reconocer el lenguaje L2 con un autmata a pila determinista.
(c). Como el lenguaje L2 es regular y puede ser reconocido por un autmata finito, el
lenguaje L1 tiene que ser regular.
(d). Como el lenguaje L1 es reconocido por un autmata a pila no determinista, slo un
autmata a pila no determinista puede reconocer el lenguaje L2 .
Solucin: B. Tal y como se explica en la opcin b tenemos una nica forma de generar cada
una de las palabras del lenguaje L2 . Como adems tenemos un nmero finito de palabras
pertenecientes al lenguaje L2 , se puede construir un autmata finito determinista que
reconozca L2 (y por tanto tambin es posible construir un autmata a pila determinista). La
opcin a no es vlida ya que son necesarios ms de 7 estados.
8

16 Dado el lenguaje L = {xn : n = }, esto es, el lenguaje que tiene una nica cadena de
cardinalidad infinita. Podemos asegurar que se puede reconocer con un autmata finito no
determinista.
(a). Si.
(b). No.
Solucin: B. Un autmata finito no puede controlar una cadena de cardinalidad infinita.
17 El lema del bombeo aplicado a las mquinas de Turing implica:
(a). Nada, ya que slo se aplica a los lenguajes generados por gramticas independientes
del contexto
(b). La existencia de problemas no resolubles por autmatas a pila.
(c). La existencia de problemas no resolubles por mquinas de Turing, como por ejemplo,
el problema de parada.
Solucin: A.
18 La mquina de Turing representada a continuacin, no controla el orden de aparicin de
los elementos del alfabeto = {x, y} .

F
, S,

Q0

x, a,

x, x,
y, y,

Q1

, ,

Q2

x, x,
y, y,
a, x,

y, ,
Q3

(a). Verdadero.
(b). Falso.
Solucin: B. Si que controla el lugar donde estn situados algunos smbolos de la cadena.
19 Dado el lenguaje L = {xn y n z n : n > 0} que es reconocible con un autmata a pila con
dos pilas. Es posible construir una mquina de Turing que simule el uso de esas dos pilas?.
(a). Verdadero.
(b). Falso.
Solucin: A. Las pilas del autmata controlaran los dos contadores necesarios para
comprobar las cadenas del lenguaje. Eso mismo lo hara una mquina de Turing con la cinta
de lectura/escritura.
20 Dado el siguiente autmata

, S; A
, S; B
, A; xAy
, B; xxBy
, A; xy
, B; xxy

Q0

, ; #

Q1

, ; S

Q2

, #;

y, y;
x, x;
podemos afirmar:
(a). Reconoce el lenguaje L definido por la expresin regular x y
10

(b). Reconoce el lenguaje L = {xn y n : n > 0}

(c). Reconoce el lenguaje L = {xn y 2n : n > 0}
(d). Reconoce un lenguaje que se puede expresar como la unin de dos lenguajes
independientes del contexto.
Solucin: D. Es fcil comprobarlo teniendo en cuenta la gramtica independiente del
contexto equivalente a este autmata.

11