Cdigo asignatura

Nombre asignatura

71901089

Autmatas, Gramticas y Lenguajes

Fecha alta y origen

20/05/2015
Curso Virtual

Convocatoria

Septiembre 2013

Soluciones a los exmenes de Septiembre

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

Nacional Original
1 Dado el alfabeto = {x, y, z}, indicar para qu valores de la etiqueta Etiqueta-1,
el autmata de la figura representa el lenguaje L = {zx3n zy n z|n > 0}. (Nota:se supone
que inicialmente la pila del autmata est vaca. El conjunto de smbolos de pila es =
{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.):
x, ; x

z, ; Z0

Etiqueta1

y, x;

z, Z0 ;

, x;

, x;

J
(a). Etiqueta 1 = z, x; x
(b). Etiqueta 1 = z, ;
(c). Etiqueta 1 = z, x;
(d). Etiqueta 1 = z, ; x
Solucin: A. La opcin B es falsa porque el autmata aceptara la cadena zzz que no
pertenece al lenguaje puesto que n > 0. La opcin C y D seran falsas puesto que alteran la
cuenta del nmero de xs ledas. Es fcil comprobarlo considerando la cadena zxxxzyz
2 Dado el alfabeto = {x, y, c}, considere L el lenguaje que genera la siguiente gramtica
G, donde S es el smbolo inicial de la gramtica:
S xyAyx
A xyAyx
Ac
Indicar cul de las siguientes afirmaciones es VERDADERA:
2

(a). L es el lenguaje formado por todos los palndromos que se pueden formar con el
alfabeto
(b). La cadena de menor longitud de L es la cadena c
(c). L es un lenguaje independiente del contexto determinista
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: C. La opcin A es falsa puesto que, por ejemplo, la cadena xxcxx es un
palndromo y no puede generarse con la gramtica. La opcin B es falsa puesto que la
cadena de menor longitud de L es xycyx. La opcin C es verdadera ya que L lo acepta el
siguiente autmata a pila determinista:
y, ; y
I

, ; Z0

x, ; x

y, y;
G

x, ; x

c, ;

, Z0 ;

J
x, x;

L
3 Dado el lenguaje L que contiene un nmero finito de cadenas. Indicar cul de las
siguientes afirmaciones es VERDADERA:
(a). Podemos utilizar el lema de bombeo para los lenguajes regulares para demostrar que
es un lenguaje independiente del contexto no regular
(b). El lema de bombeo para los lenguajes regulares permite demostrar que L es un
lenguaje regular
(c). Ninguna de las anteriores afirmaciones es verdadera
Solucin: C. Cualquier lenguaje que contenga un nmero finito de cadenas es un lenguaje
regular (la opcin A es por tanto, falsa). La opcin B es falsa puesto que el lema de bombeo
para lenguajes regulares permite demostrar que un lenguaje es no regular.
4 Dado el alfabeto = {0, 1}, sea L el lenguaje que reconoce la mquina de Turing que se
define como:
3

M = ({q0 , q1 , qf }, {0, 1}, {0, 1, B}, , q0, B, {qf })

donde se define:
(q0 , 0) = (q1 , 1, ); (q1, 1) = (q0 , 0, ); (q1, B) = (qf , B, )
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). L es regular y se puede expresar mediante la expresin regular (01)0
(b). L es recursivamente enumerable y no es independiente del contexto
(c). L es regular y se puede expresar mediante la expresin regular (10)1
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: A.
5 Sea L el lenguaje que genera la gramtica G definida de la siguiente forma:
G = ({S, A}, {x, y, z}, R, S)
donde S es el smbolo inicial de la gramtica y R es el conjunto de producciones de la
gramtica y est compuesto por:
S zxxxAyz
A xxxAy
Az
Indicar cul de las siguientes afirmaciones es FALSA:
(a). Es posible construir un autmata finito que reconozca L
(b). Es posible construir un autmata a pila determinista que reconozca L
(c). Es posible construir un autmata a pila no determinista que reconozca L
(d). Es posible construir una mquina de Turing que reconozca L
Solucin: A. El lenguaje es independiente del contexto determinista no regular. El autmata
a pila determinista que reconoce el lenguaje es:
4

x, ; x

z, ; Z0

z, x; x

y, x;

z, Z0 ;

, x;

, x;

J
6 Sea L el lenguaje que genera la siguiente gramtica donde A es el smbolo inicial de la
gramtica:
S xAy
S BC
A xAy
A xy
B xB
C yC
Bx
Cy
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). L es regular
(b). L es independiente del contexto determinista no regular
(c). L es independiente del contexto no determinista no regular
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: B. El lenguaje L puede definirse como L = {xn y n : n > 0}
7 Dado el alfabeto = {x, y, z}, sea L1 el lenguaje generado por la siguiente gramtica G
(donde S es el smbolo inicial de la gramtica):
S
S
S
S
S

zzSxx
zzSxy
zzSyy
zzSyx

Sea L2 el lenguaje que acepta el siguiente autmata a pila (Nota:se supone que inicialmente
la pila del autmata est vaca. El conjunto de smbolos de pila es = {#}. 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.)::
z, ; z

x, z;
x, z;

, ; #

y, z;

, #;

y, z;
Indicar cul de las siguientes afirmaciones es verdadera:
(a). L1 = L2
(b). L1 L2
(c). L2 L1
(d). L1 6= L2
Solucin: D. La opcin A es falsa porque la gramtica genera la cadena vaca y el autmata
no la acepta. Por la misma razn la opcin B es falsa. La opcin C es falsa porque la cadena
zx pertenece a L2 pero no a L1 .
8 Sea L el lenguaje que genera la siguiente gramtica donde S es el smbolo inicial de la
gramtica:
S xAy
S BC
A xAy
A xy
B xB
C yC
Bx
Cy
Indicar cul de las siguientes afirmaciones es VERDADERA:
6

(a). L es independiente del contexto no regular

(b). L = {xn y n : n > 0}
(c). L es un lenguaje regular y puede representarse mediante la expresin regular (x y )
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: D. L es el lenguaje definido por {xn y m : n, m > 0} que es un lenguaje regular.
Por tanto, la opcin A es falsa. La opcin B es falsa puesto que en L no se impone que las
cadenas simpre deban tener el mismo nmero de xs que de ys. La opcin C es falsa puesto
que la expresin regular (x y ) genera la cadena vaca y la gramtica no.
9 Si el estado inicial de un autmata finito determinista no es de aceptacin, Es posible que
reconozca la palabra vaca?
(a). No
(b). Si
Solucin: A.
10 Sea L el lenguaje que genera la gramtica G definida de la siguiente forma:
G = ({S, A}, {x, y, z}, R, S)
donde S es el smbolo inicial de la gramtica y R es el conjunto de producciones de la
gramtica y est compuesto por:
S zxxxAyz
A xxxAy
Az
Indicar cul de las siguientes afirmaciones es VERDADERA:
(a). No es posible construir una gramtica en Forma Normal de Chomsky que genere L
(b). L = {x3n y n |n > 0}
(c). L = {zx3n y n z|n > 0}
(d). L = {zx3n zy n z|n > 0}
Solucin: D. Basta con comprobar las cadenas que genera la gramtica. La opcin A es
falsa puesto que L es independiente del contexto y no contiene a la cadena vaca.
7

Nacional Reserva
11 Sean , y tres expresiones regulares arbitrarias. Indique cul de las siguientes
afirmaciones es FALSA:
(a). ( ) = ( )
(b). ( ) = ( )
(c). Depende de las expresiones concretas , ,
Solucin: C. Todas las expresiones coinciden con ( ) independientemente de las
expresiones concretas de , ,
12 Dado el alfabeto = {x, y, z}. Considere el lenguaje L = {xn y n z n |n 0}. Indicar
cul de las siguientes afirmaciones es VERDADERA:
(a). L es un lenguaje regular
(b). L es un lenguaje independiente del contexto determinista no regular
(c). No es posible construir una mquina de Turing que reconozca L
(d). L es un lenguaje recursivamente enumerable
Solucin: D.
13 Si un autmata finito tiene ms de un estado inicial, podemos afirmar que:
(a). El autmata siempre es un autmata finito NO determinista
(b). El autmata siempre es un autmata finito determinista
(c). El autmata finito no est bien definido
Solucin: C
14 Dado el alfabeto = {x, y, c}, sea M el siguiente autmata a pila (Nota:se supone que
inicialmente la pila del autmata est vaca. El conjunto de smbolos de pila es
= {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.):
8

x, ; x

, ; Z0

x, x;
c, ;

y, ; y

, Z0 ;

y, y;

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). M es un autmata a pila no determinista
(b). El lenguaje que acepta M contiene a la cadena vaca
(c). El lenguaje que acepta M puede generarse mediante la gramtica: S xyAyx,
A xyAyx, A c
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: D. M es determinista y por esto la opcin A es falsa. La opcin B es falsa
porque, por ejemplo, el autmata acepta la cadena xcy que no puede derivarse mediante la
gramtica.
15 Es posible construir un autmata finito determinista que por cada x que lea de la
entrada escriba una z en la cinta de entrada al final de la cadena, y por cada y que lea de la
entrada escriba dos zs en la cinta de entrada?
(a). No
(b). Si
Solucin: A.
16 Dado el alfabeto = {a, b}, sea L el lenguaje que acepta el siguiente autmata:
a

a
A

B
a

Indicar cul de las siguientes afirmaciones es FALSA:

(a). L puede representarse mediante la expresin regular (a + b + )(a + b)
(b). L puede representarse mediante la expresin regular (a + b) (a + b)
(c). L puede representarse mediante la expresin regular (a + b)
(d). Ninguna de las anteriores afirmaciones es falsa
Solucin: D.
17 Dado el alfabeto = {x, y, z}, sea L el lenguaje que genera la siguiente gramtica G,
donde S es el smbolo inicial de la gramtica:
S
S
S
S
S

xxSzz
yxSzz
yySzz
xySzz

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). L es un lenguaje regular y puede representarse mediante la expresin regular
(x + y)(zz)
(b). L es un lenguaje independiente del contexto no regular que contiene al lenguaje
generado por la expresin regular (xx) (zz)
(c). Es posible encontrar una gramtica en Forma Normal de Chomsky que genere L
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: D. L es un lenguaje independiente del contexto no regular (la opcin A es, por
tanto, falsa). La opcin D es falsa puesto que si fuera cierta, todas las cadenas que genera la
expresin regular deben poder derivarse mediante la gramtica. Por ejemplo, la expresin
regular genera la cadena zz que no puede derivarse con la gramtica. La opcin C es falsa
puesto que L contiene a la cadena vaca.
18 Dado un lenguaje L para el que no es posible encontrar una mquina de Turing que lo
reconozca, indicar cul de las siguientes afirmaciones es VERDADERA:
10

(a). Dependiendo de L es posible encontrar una mquina de Turing de dos cintas que lo
reconozca
(b). Dependiendo de L es posible encontrar una mquina de Turing de tres cintas que lo
reconozca
(c). Dependiendo de L es posible encontrar una mquina de Turing no determinista que lo
reconozca
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: D.
19 Dado el alfabeto = {0, 1}, sea M el autmata finito definido mediante la siguiente
tabla de transiciones:
Estado 0
*p p
q r
r p
*s s

1
q
q
s
s

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). El lenguaje que acepta M puede expresarse mediante la expresin regular
0 (11 01)(0 + 1)
(b). M es un autmata finito no determinista
(c). El lenguaje que acepta M no puede expresarse mediante una expresin regular
porque es un lenguaje independiente del contexto no regular
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: D. La cadena 0100 no puede ser generada por la expresin regular de la opcin A
y s la reconoce el autmata. M es determinista con lo que la opcin B es falsa. La opcin C
es falsa puesto que el lenguaje aceptado por un autmata finito, siempre es un lenguaje
regular.
20 Dado el alfabeto = {x, y}, sea M el autmata de la figura y L el lenguaje que acepta
M.
11

x, ;

, ; Z0

y, ;
, ;

, Z0 ;

Indicar cul de las siguientes afirmaciones es VERDADERA:

(a). No es posible construir un automta finito determinista que reconozca L
(b). M es un autmata a pila determinista
(c). Si definimos L1 = {xn y n |n 0} entonces L1 L
(d). Ninguna de las anteriores afirmaciones es verdadera
Solucin: C: la opcin A es falsa puesto que L es un lenguaje regular. La opcin B es falsa
puesto que el autmata tiene varios puntos de no determinismo, por ejemplo, en el estado
B, si en la entrada viene una x. La opcin C es verdadera, puesto que todas las cadenas de
L1 pertenecen tambin a L.

12