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 1
a
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 2
a
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)
1
Nacional Original 1
a
Semana
1 Existe algn lenguaje independiente del contexto no regular compuesto por un nmero
nito de palabras?.
(a). Si
(b). No
Solucin: B. Todos los lenguajes nitos son regulares
2 Dado el lenguaje L
1
reconocido por el autmata
I F
x
y
y
y el lenguaje L
2
denido por la gramtica
S xSy
S
Podemos armar:
(a). L
1
= L
2
(b). L
1
= L
2
(c). L
1
L
2
(d). L
2
L
1
Solucin: B. El lenguaje L
1
contiene a la palabra y que no est contenida en el lenguaje L
2
.
El lenguaje L
2
contiene la palabra vaca que est contenida en el lenguaje L
1
.
3 Dado el lenguaje L denido por la gramtica
S xS
2
S Sy
S xy
y la siguiente mquina de Turing que reconoce el lenguaje L:
I M
1
M
2 F
x, ,
x, ,
y, ,
y, ,
, ,
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 = {x
n
y
m
: n + m es un numero par}. Cul de las siguientes
armaciones 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 nito 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 = {x
n
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 = {x
n
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 nito.
(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
A a
B Bb
B b
(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 L
2
= {x
n
y
n
z
n
: n > 0} y sea L
1
el lenguaje reconocido por la siguiente mquina de
Turing.
q
0
q
1
q
2
q
3
q
4
q
5
Y ; Y,
Z; Z,
X; X,
Y ; Y,
Z; Z,
X; X,
Z; Z,
X; X,
Y ; Y,
Z; Z,
X; X,
Y ; Y,
X; X, ; ,
Y ; Y,
; ,
Z; Z,
5
Cul de las siguientes armaciones es correcta?
(a). L
1
= L
2
(b). L
1
= L
2
(c). L
1
L
2
(d). L
2
L
1
Solucin: D. El lenguaje L
1
est formado por cadenas que tienen al menos una x, una y y
una z, no pone condiciones sobre rdenes ni cantidades. El lenguaje L
2
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 L
2
cumplen las condiciones del lenguaje L
1
.
10 Sea L
1
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
B b
cb bc
y el lenguaje L
2
= {a
n
b
n
c
n
: con n > 0}. Podemos armar que:
(a). L
1
= L
2
(b). L
1
L
2
(c). L
2
L
1
(d). L
1
= L
2
Solucin: C. El lenguaje L
1
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 L

2
. El orden est
asegurado por la produccin cb bc.
6
Nacional Original 2
a
Semana
11 Dado el lenguaje L denido por la siguiente gramtica:
S xS
S Sy
S xy
L es reconocido por el siguiente automta a pila:
I M F
x, ; a
x, ;
y, a;
y, ;
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 = {x
n
y
m
: n, m > 0} denido 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
A x
B y
13 Sea el lenguaje L = {x
n
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 nito.
(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 denido 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 nito.
(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 = {x
n
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 nito.
(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 nito no determinista existe un autmata nito 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 = {x
n
y
n
z
m
: n > 0
si, n=par m=2
si, n=impar m=3
} Cul es la mquina ms
simple que puede reconocerlo?
(a). Un autmata nito
(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 L
1
= {x
n
y
n
: n > 0} y el lenguaje L
2
= {x
n
y
2n
: n > 0}.
(a). El lenguaje L = L
1
L
2
no es reconocido por un autmata nito.
(b). El lenguaje L = L
1
L
2
no es reconocido por un autmata a pila determinista.
(c). El lenguaje L = L
1
L
2
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 = {x
n
y
m
z
n
: con n > 0 y m par}. Cul es la mquina ms simple
que puede reconocer este lenguaje?.
(a). Un autmata nito.
(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