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

Nacional Original 1a Semana

1 Existe algn lenguaje independiente del contexto no regular compuesto por un nmero
finito de palabras?.
(a). Si
(b). No
Solucin: B. Todos los lenguajes finitos son regulares
2 Dado el lenguaje L1 reconocido por el autmata

x
I

y el lenguaje L2 definido por la gramtica

S xSy
S
Podemos afirmar:
(a). L1 = L2
(b). L1 6= L2
(c). L1 L2
(d). L2 L1
Solucin: B. El lenguaje L1 contiene a la palabra y que no est contenida en el lenguaje L2 .
El lenguaje L2 contiene la palabra vaca que est contenida en el lenguaje L1 .
3 Dado el lenguaje L definido por la gramtica
S xS
2

S Sy
S xy
y la siguiente mquina de Turing que reconoce el lenguaje L:

x, ,

x, ,

M1

y, ,

y, ,

M2

, ,

Podemos asegurar que el lenguaje es recursivamente enumerable no regular

(a). Verdadero
(b). Falso
Solucin: B. El lenguaje del enunciado est formado por ristras de xs seguidas de ristras de
ys con la nica obligacin de tener por lo menos una x y una y. Por lo tanto es un lenguaje
regular.
4 Sea el lenguaje L = {xn y m : n + m es un numero par}. Cul de las siguientes
afirmaciones es verdadera?
(a). El lenguaje L es un Lenguaje Regular.
(b). El lenguaje L es un Lenguaje Independiente del Contexto no Regular.
Solucin: A. El lenguaje est formado por ristras de xs seguidas de ristras de ys cuya
nica condicin es que la cardinalidad de las palabras del lenguaje sea par. Por lo tanto es
un lenguaje regular.
5 Dada la siguiente gramtica regular no determinista, donde A es su smbolo inicial:
A xA
A yA
A xB
B xA
3

B yA
B xB
B xC
C yD
C xB
D
D xB
D yA
Podemos construir un autmata finito determinista con slo 2 estados que reconozca el
mismo lenguaje.
(a). Verdadero
(b). Falso
Solucin: B. La palabra ms pequea del lenguaje es xxy. Por lo tanto, se necesitan al
menos 4 estados para reconocerla.
6 El lema del bombeo aplicado a los autmatas a pila demuestra que el lenguaje
L = {xn y n z n : n > 0} no puede ser reconocido por ninguna mquina.
(a). Verdadero
(b). Falso
Solucin: B. El Lema del bombeo no habla de esto. Slo indica que este lenguaje no puede
ser reconocido por una autmata a pila.
7 Sea el lenguaje L = {xn y m z n : con n y m > 0, y m = n/2}. Cul es la mquina ms
simple que puede reconocer este lenguaje?.
(a). Un autmata finito.
(b). Un autmata a pila determinista.
(c). Un autmata a pila no determinista.
4

(d). Una mquina de Turing.

Solucin: D. El lenguaje est poniendo condiciones de cardinalidad para las ristras de xs,
ys y zs y todas ellas dependientes entre s. El Lema del bombeo indica que no se pueden
reconocer con un autmata a Pila.
8 La siguiente gramtica con smbolo inicial S:
S AB
A Aa
Aa
B Bb
Bb
(a). Es una gramtica regular.
(b). Es una gramtica independiente del contexto.
(c). Ninguna de las anteriores.
Solucin: B. La gramtica cumple todos los requisitos de las gramticas independientes del
contexto. No es una gramtica regular ya que la primera produccin contiene dos smbolos
no terminales en su lado derecho.
9 Sea L2 = {xn y n z n : n > 0} y sea L1 el lenguaje reconocido por la siguiente mquina de
Turing.
X; X,
Y ; Y,
Z; Z,

Y ; Y,
Z; Z,

q0

X; X,

q1

X; X,
Z; Z,
; ,

X; X,
Y ; Y,
Z; Z,

X; X,
Y ; Y,

q5

Z; Z,

q4

q2

; ,

q3

Y ; Y,

Cul de las siguientes afirmaciones es correcta?

(a). L1 = L2
(b). L1 6= L2
(c). L1 L2
(d). L2 L1
Solucin: D. El lenguaje L1 est formado por cadenas que tienen al menos una x, una y y
una z, no pone condiciones sobre rdenes ni cantidades. El lenguaje L2 est formado por
cadenas que tienen el mismo nmero de x s, y s y z s, y por lo menos una, por lo tanto
todas las palabras del lenguaje L2 cumplen las condiciones del lenguaje L1 .
10 Sea L1 el lenguaje generado por la gramtica con smbolo inicial S. (Nota:La
produccin cb bc indica que cada vez que aparezca la subcadena cb se transforma en la
subcadena bc).
S AB
A aAc
A ac
B bB
Bb
cb bc
y el lenguaje L2 = {an bn cn : con n > 0}. Podemos afirmar que:
(a). L1 = L2
(b). L1 L2
(c). L2 L1
(d). L1 6= L2
Solucin: C. El lenguaje L1 est formado por cadenas que tienen el mismo nmero de a s
que de c s, pero no controla el nmero de b s, cosa que si hace el lenguaje L2 . El orden est
asegurado por la produccin cb bc.
6

Nacional Original 2a Semana

11 Dado el lenguaje L definido por la siguiente gramtica:
S xS
S Sy
S xy
L es reconocido por el siguiente automta a pila:

x, ;

x, ; a

y, ;
y, a;

Podemos asegurar que el lenguaje es un lenguaje independiente del contexto no regular

(a). Verdadero
(b). Falso
Solucin: B. El lenguaje en cuestin son ristras de x s seguidas de ristras de y s con al
menos una x y una y. ste es un lenguaje regular.
12 Dado el lenguaje L = {xn y m : n, m > 0} definido por la gramtica
S xX
X xX
X yY
Y yY
Y
Podramos construir su forma normal de Chomsky?
(a). Si
7

(b). No
Solucin: A. Todo lenguaje regular es adems independiente del contexto, como no genera
la palabra vacia no habra ningn problema. La gramtica en cuestion sera:
S AX
X AX
X BY
Y BY
X y
Y y
Ax
By
13 Sea el lenguaje L = {xn y m z n : con n y m > 0, y con n = m}. Cul es la mquina
ms simple que puede reconocer este lenguaje?.
(a). Un autmata finito.
(b). Un autmata a pila determinista.
(c). Un autmata a pila no determinista.
(d). Una mquina de Turing.
Solucin: D. El lenguaje en cuestin controla la cardinalidad de las ristras de x s, y s y z s,
y todas ellas dependiendo entre s. El lema del bombeo demuestra que no se puede
reconocer con un automata a pila.
14 Sea el lenguaje L definido por la gramtica
S AB
A aAc
A
8

B bBc
B
Cul es la mquina ms simple que puede reconocer este lenguaje?.
(a). Un autmata finito.
(b). Un autmata a pila determinista.
(c). Un autmata a pila no determinista.
(d). Una mquina de Turing.
Solucin: B. El lenguaje en cuestin controla que el nmero de a s sea igual a la primera
ristra de c s, y que la ristra de b s sea igual a la segunda ristra de c s. Como se controla en
dos estapas diferentes se puede controlar con una nica pila.
15 Sea el lenguaje L = {xn y m z n : con n y m > 0, y con n 6= m}. Cul es la mquina
ms simple que puede reconocer este lenguaje?.
(a). Un autmata finito.
(b). Un autmata a pila determinista.
(c). Un autmata a pila no determinista.
(d). Una mquina de Turing.
Solucin: D. El lenguaje en cuestin controla la cardinalidad de las ristras de x s, y s y z s,
y todas ellas dependiendo entre si. El lema del bombeo demuestra que no se puede
reconocer con un automata a pila.
16 El lema del bombeo aplicado a los lenguajes regulares nos demuestra que para todo
autmata finito no determinista existe un autmata finito determinista que reconoce el
mismo lenguaje.
(a). Verdadero.
(b). Falso.
Solucin: B. El lema del bombeo no trata este tema.
9

17 Dado el lenguaje L = {xn y n z m : n > 0

si, n=par
m=2
} Cul es la mquina ms
si, n=impar m=3

simple que puede reconocerlo?

(a). Un autmata finito
(b). Un autmata a pila determinista
(c). Un autmata a pila no determinista
(d). Ninguna de las anteriores
Solucin: B. El lenguaje tiene que controlar dos condiciones, una es la cardinalidad de la
ristra de x s e y s, lo cual se puede resolver con una pila, y la cardinalidad de z s en funcin
de si el nmero de x s y s es par. Esta condicin se puede controlar con un conjunto de
estados. Por lo tanto es reconocido con un autmata a pila determinista.
18 Es posible construir la forma normal de Chomsky de la gramtica siguiente?
S AB
A aAc
A
B bBc
B
(a). Si.
(b). No.
Solucin: B. El lenguaje contiene a la palabra vaca, es la nica limitacin que tenemos
para la construccin de la forma normal.
19 Dado el lenguaje L1 = {xn y n : n > 0} y el lenguaje L2 = {xn y 2n : n > 0}.
(a). El lenguaje L = L1 L2 no es reconocido por un autmata finito.
(b). El lenguaje L = L1 L2 no es reconocido por un autmata a pila determinista.
(c). El lenguaje L = L1 L2 no es reconocido por un autmata a pila no determinista.
10

(d). Ninguna de las anteriores.

Solucin: D. La interseccin de ambos conjuntos es el vaco, por lo tanto es un lenguaje
regular.
20 Sea el lenguaje L = {xn y m z n : con n > 0 y m par}. Cul es la mquina ms simple
que puede reconocer este lenguaje?.
(a). Un autmata finito.
(b). Un autmata a pila determinista.
(c). Un autmata a pila no determinista.
(d). Una mquina de Turing.
Solucin: B. El lenguaje tiene que cumplir dos condiciones, una es la cardinalidad de la
ristra de x s e y s, lo cual se puede resolver con una pila, y la cardinalidad de z s sea un
nmero par. Esta condicin se puede controlar con un conjunto de estados y por lo tanto, es
reconocido con un autmata a pila determinista.

11