Cdigo asignatura

Nombre asignatura

71901089

Autmatas, Gramticas y Lenguajes

Fecha alta y origen

20/05/2015
Curso Virtual

Convocatoria

Junio 2013

Soluciones a los exmenes de Junio 2013

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 1 Semana
Tipo A: 1. (a) 2. (d) 3. (a) 4. (c) 5. (b) 6. (c) 7. (a) 8. (c) 9. (b) 10. (a)
Tipo B: 1. (a) 2. (d) 3. (a) 4. (c) 5. (a) 6. (b) 7. (c) 8. (b) 9. (a) 10. (c)
Tipo C: 1. (c) 2. (b) 3. (a) 4. (a) 5. (b) 6. (c) 7. (c) 8. (a) 9. (a) 10. (d)
Nacional UE Original
Tipo A: 1. (c) 2. (d) 3. (b) 4. (d) 5. (a) 6. (a) 7. (b) 8. (c) 9. (a) 10. (a)
Tipo B: 1. (c) 2. (d) 3. (b) 4. (c) 5. (b) 6. (a) 7. (d) 8. (a) 9. (a) 10. (a)
Tipo C: 1. (a) 2. (a) 3. (b) 4. (c) 5. (a) 6. (c) 7. (d) 8. (a) 9. (b) 10. (d)
Tipo D: 1. (a) 2. (a) 3. (c) 4. (d) 5. (b) 6. (d) 7. (b) 8. (a) 9. (c) 10. (a)

Nacional 1 Semana
1 Dado el alfabeto = {x, y, z}, sea L1 = {xn y n z n : n > 0} y sea L2 el lenguaje
reconocido por la siguiente mquina de Turing (Nota: Se supone que la mquina tiene
el mismo alfabeto y el conjunto de smbolos de cinta es = {B} donde B
representa el smbolo en blanco. Cuando analiza una cadena, la mquina de Turing parte
de la configuracin inicial donde la cinta de entrada contiene un smbolo en blanco seguido
de la cadena a analizar seguida de blancos; la cabeza de lectura/escritura se encuentra situada
en el primer smbolo a la izquierda de la cadena).
x; x,
y; y,
y; y,
x; x,
z; z,
z; z,
z; z,

q0

x; x,

q1

B; B,

q2
y; y,

q5

z; z,

q4

x; x,
y; y,

B; B,

q3

x; x,
y; y,
z; z,

Cul de las siguientes afirmaciones es correcta?

(a). L1 = L2
(b). L1 6= L2
(c). L1 L2
(d). L2 L1
Solucin: C. El lenguaje L2 est formado por cadenas que tienen al menos una x, una y y
una z, no pone condiciones sobre rdenes ni cantidades. El lenguaje L1 est formado por
cadenas que tienen el mismo nmero de xs, ys y zs en ese orden, y por lo menos una, por
lo tanto todas las palabras del lenguaje L1 cumplen las condiciones del lenguaje L2 .
2 Dada la siguiente gramtica, donde S es el smbolo inicial de la gramtica:
2

S A1B
A 0A|
B 0B|1B|
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). La gramtica genera el lenguaje representado por la expresin regular 0 1(0 + 1)
(b). La gramtica genera el lenguaje representado por la expresin regular 0 10 1
(c). Puesto que es una gramtica independiente del contexto no existe ningn autmata
finito que reconozca el lenguaje generado por la gramtica
Solucin: A. La gramtica genera cadenas formadas por ristras de 0s (generados por el no
terminal A), seguidas de un 1 y seguidas de cualquier nmero de 0s y 1s (generados por el
no terminal B). La opcin b es falsa porque no genera la cadena 0110 que s se puede
derivar de la gramtica. La opcin c es falsa porque aunque efectivamente la gramtica es
independiente del contexto, genera un lenguaje regular.
3 Dada la siguiente gramtica, donde A es el smbolo inicial de la gramtica:
S A1B
A 0A|
B 0B|1B|
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). La gramtica genera el lenguaje representado por la expresin regular 0
(b). La gramtica genera el lenguaje representado por la expresin regular 0 1(0 + 1)
(c). La gramtica genera un lenguaje con un nmero finito de cadenas
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: A. El lenguaje que genera la gramtica est formado por cadenas de cero o ms
0s. Las cadenas no contienen ningn 1 y por tanto, la opcin b es falsa. Este lenguaje
contiene un nmero infinito de cadenas y por tanto, la opcin c es falsa.
4 Dado un alfabeto , llamamos L1 al conjunto de lenguajes de aceptados por mquinas
de Turing deterministas de una sola cinta, L2 al conjunto de lenguajes de aceptados por
mquinas de Turing deterministas con varias cintas y L3 al conjunto de lenguajes de
aceptados por mquinas de Turing no deterministas y con varias cintas Cul de las
siguientes afirmaciones es verdadera?
3

(a). L1 = L2 L3
(b). L1 L2 = L3
(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.
5 Dado el alfabeto = {a, b}, sea L el lenguaje que reconoce el siguiente autmata:
a
q1

a
q0

b
q2

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). L contiene al lenguaje generado por la expresin regular ba
(b). L puede generarse tambin mediante una gramtica en Forma Normal de Chomsky
(c). L puede representarse mediante la expresin regular ( + b)a
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: A: Todas las cadenas que genera la expresin regular ba las acepta el autmata.
La expresin regular que representa el lenguaje que acepta el autmata del enunciado es
+ ba . La opcin b es falsa puesto que el lenguaje contiene la cadena vaca. La opcin c es
falsa puesto que la expresin regular genera cadenas de la forma a que no son aceptadas
por el autmata.
6 Dado el autmata finito definido mediante la siguiente tabla de transiciones:
Estado 0 1
A A B
*B
B A
4

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). El lenguaje que acepta este automta finito se puede representar mediante la
expresin regular (1 + 01) 0
(b). El autmata finito no puede reconocer cadenas de longitud mayor que 106
(c). El autmata finito no puede reconocer cadenas que contengan dos unos consecutivos
(d). El lenguaje que acepta este autmata finito se puede representar mediante la
expresin regular (0 10 1) 0 10
Solucin: D. La opcin a es falsa puesto que el autmata no reconoce la cadena 0 que si
genera la expresin regular. . La opcin b es falsa puesto que, al haber bucles, el autmata
finito puede reconocer cadenas de longitud arbitrariamente grandes. La opcin C es falsa
puesto que el autmata acepta la cadena 111 que s contiene dos ceros consecutivos.
7 Sea L el lenguaje definido por el conjunto de cadenas del alfabeto = {a, b, c} que
contienen al menos una a y al menos una b. Indicar cul de las siguientes afirmaciones es
VERDADERA:
(a). L es un lenguaje independiente del contexto no regular
(b). L es un lenguaje regular y por tanto, es posible encontrar una expresin regular que lo
reconozca
(c). La definicin del lenguaje impone restricciones acerca del nmero de cs que deben
contener las cadenas del lenguaje
Solucin: B. La opcin c es falsa puesto que la definicin del lenguaje no indica ninguna
restriccin acerca de las cs. La opcin a es falsa, ya que L es la interseccin de dos
lenguajes regulares que siempre es regular. Se deja al alumno como ejercicio construir un
autmata finito que reconozca el lenguaje L.
8 Dada la siguiente gramtica, donde S es el smbolo inicial de la gramtica:
S SS|(S)|
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). Es una gramtica regular y por tanto, el lenguaje que genera es regular
5

(b). No es una gramtica regular y por tanto, el lenguaje que genera nunca puede ser
regular
(c). El lenguaje que genera la gramtica del enunciado es independiente del contexto no
regular
Solucin: C. La gramtica genera el lenguaje formado por las cadenas de parntesis
equilibrados. La opcin a es falsa puesto que la gramtica no es regular. La opcin b es
falsa porque existen gramticas no regulares que generan lenguajes regulares.
9 Dado un alfabeto , sea L un lenguaje independiente del contexto. Sea c(L) el
complementario de L (esto es, c(L) = L). Indicar cul de las siguientes afirmaciones
es VERDADERA:
(a). Es posible que existan dos gramticas en forma normal de Chomsky, una para L y
otra para c(L)
(b). Es imposible que existan dos gramticas en forma normal de Chomsky, una para L y
otra para c(L)
(c). Es imposible que exista una gramtica en forma normal de Chomsky ni para L ni para
c(L)
Solucin: B. La opcin a es falsa puesto que o bien L o bien c(L) contiene a la cadena
vaca y una gramtica en Forma Normal de Chomsky no puede generar la cadena vaca. La
opcin c es falsa puesto que si L no contiene a la cadena vaca, al ser independiente del
contexto, podremos encontrar una gramtica en Forma Normal de Chomsky que lo genere.
10 Dado el alfabeto = {0, 1}, sea el lenguaje L = {0n 1m : n m}. Indicar cul de las
siguientes afirmaciones es VERDADERA:
(a). Es posible construir un autmata a pila determinista que reconoce L
(b). L es un lenguaje regular
(c). Cualquier autmata a pila que reconozca L debe ser no determinista
Solucin: A. La opcin b es falsa puesto que es un lenguaje no regular. La opcin c es falsa,
ver ejercicio 6.4.2 del libro base.
6

Nacional UE Original
11 Dado el alfabeto = {a, b}, sea L el lenguaje que reconoce el siguiente autmata finito
b
q0

a
a

q1

a
b

q2

q3

b
Indicar cul de las siguientes gramticas regulares con smbolo inicial S, genera el lenguaje
L:
(a). S bS|aS|,A aA|bB,B bS|
(b). S bS|aA,A aA|bB,B bS|
(c). S bS|aS|aA|,A aA,B bS|
(d). Ninguna de las anteriores gramticas genera L
Solucin: D.La opcin a es falsa puesto que esa gramtica genera la cadena a y el autmata
no la acepta (por la misma razn la opcion c es falsa). La opcin b es falsa puesto que el
autmata acepta la cadena b y la gramtica no la genera.
12 Si el estado inicial de un autmata a pila no es de aceptacin, Es posible que reconozca
la palabra vaca?
(a). No
(b). Si
Solucin: B. Existe la posibilidad de que el autmata tenga definida una transicin desde el
estado inicial sin consumir ningn smbolo de la entrada. En este caso, el autmata podra
aceptar la cadena vaca y el estado inicial podra no ser de aceptacin.
13 Dada la siguiente gramtica, donde B es el smbolo inicial de la gramtica:
S A1B
A 0A|
B 0B|1B|
7

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). La gramtica genera el lenguaje representado por la expresin regular (0 + 1)
(b). Las cadenas pertenecientes al lenguaje que genera la gramtica deben tener al menos
un smbolo 1
(c). El lenguaje que genera la gramtica es independiente del contexto no regular
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: A. la gramtica genera cadenas formadas por cualquier combinacin de 0s y 1s.
14 Dada la siguiente gramtica, donde S es el smbolo inicial de la gramtica:
S AAA|B
A aA|B
B
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). La cadena vaca no forma parte del lenguaje generado por la gramtica
(b). El lenguaje que genera la gramtica es independiente del contexto no regular
(c). El lenguaje que genera la gramtica puede expresarse mediante la expresin regular:
a
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: C. La opcin a es falsa puesto que la gramtica s genera la cadena vaca. La
opcion b es falsa puesto que el lenguaje que genera es regular. La opcin c es verdadera
puesto que el no terminal B slo genera la cadena vaca, por tanto, la gramtica genera
cadenas con cualquier nmero de as.
15 Las mquinas de Turing se diferencian de los autmatas finitos y de los autmatas a pila
en que
(a). En las mquinas de Turing la cabeza lectora puede retroceder
(b). Las mquinas de Turing pueden escribir sobre su cinta
(c). Las dos afirmaciones anteriores son ciertas
8

Solucin: C. Por la propia definicin de mquina de Turing.

16 Sea el alfabeto = {0, 1}. Dado el lenguaje L1 = {0n 1m 0n |n, m >= 0} y el lenguaje
L2 reconocido por el siguiente autmata a pila (Nota:se supone que inicialmente la pila del
autmata est vaca. El conjunto de smbolos de pila es = {a, Z0 }. En el diagrama de
transiciones, algunos arcos tienen una etiqueta en la que el segundo elemento es . En este
caso se considera que el autmata ejecuta esta transicin teniendo en cuenta nicamente el
smbolo actual de la cadena de entrada sin inspeccionar el contenido de la cima de la pila.
Por tanto, en estas transiciones no se extrae ningn elemento de la pila.):

0, ; a

0, ; Z0

1, a;
1, a;

1, Z0;

Podemos afirmar que:

(a). L1 = L2
(b). L1 L2
(c). L2 L1
(d). L1 6= L2
Solucin: D. El autmata reconoce el lenguaje {0n 1n : n > 0}
17 Sea L el lenguaje que genera la siguiente gramtica, donde S es el smbolo inicial de la
gramtica:
S 0S1|A
A 1A0|S|
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). Existe un autmata a pila que reconoce L y que puede vaciar la pila antes de aceptar
las cadenas
(b). Existe una gramtica en Forma Normal de Chomsky que genera L
9

(c). Las dos afirmaciones anteriores son verdaderas

Solucin: A. La opcion b es falsa puesto que el lenguaje que genera la gramtica contiene a
la cadena vaca. Por esta misma razn, la opcin c es falsa. Se deja como ejercicio al
alumno, construir el autmata a pila que reconozca el lenguaje que genera la gramtica.
18 Dado el lenguaje L = {xn y n : n 0}, el lema de bombeo para los lenguajes regulares
permite demostrar que:
(a). No es posible construir un autmata finito que reconozca L
(b). No es posible construir un autmata a pila que reconozca L
(c). L es un lenguaje regular
Solucin: A. Por el propio enunciado del lema de bombeo para los lenguajes regulares.
19 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 lenguajes que se consideren
Solucin: A. Ver Teorema 7.24 del libro base de la asignatura.
20 Dado el alfabeto = {a, b}, sea L el lenguaje que reconoce el siguiente autmata:
a
q1

a
q0

b
q2

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). L es independiente del contexto no regular
10

(b). L puede generarse tambin mediante una gramtica en Forma Normal de Chomsky
(c). L contiene al lenguaje generado por la expresin regular a
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: B. La opcin a es falsa puesto que L debe ser regular ya que lo reconoce un
autmata finito. La opcin c es falsa puesto puesto que el autmata no acepta la cadena
vaca ni cadenas formadas nicamente por smbolos as. La opcin B es verdadera puesto
que el lenguaje no contiene a la cadena vaca.

11