1. Universidad Atlántida Argentina Facultad de Ingeniería
Teoría de Lenguajes y Computación - 2013
Trabajo Práctico N° 4
Autómatas de Pila y G.I.C.
(Fecha de entrega: ………………..)
1) Dados los siguientes lenguajes:
a) L1 = {an
bm
an
/ n > 2 y m > 1}
b) L2 = {cbn
c / n ≥ 0}
i) Obtener los autómatas de pila que los aceptan
ii) Obtener las GIC que los generan
2) Obtener los APD que aceptan cada uno de los siguientes lenguajes:
a) {ai
bj
| 0 <= i <= j}
b) {ai
cj
bi
| i,j >= 0}
c) {ai
bj
ck
| i+k = j}
d) {w | w ∈ {a,b}*
y w tiene el mismo número de a's que de b's}
e) {wcwr
| w ∈ {a, b}*}
3) Indicar si el autómata de la siguiente figura es determinista o no determinista.
x,λ; x
λ, x; λ
y,λ; y
x, x; λ
y, y; λ
λ, y; λ
4) Indicar si la cadena x3
y2
x4
pertenece al lenguaje que acepta el autómata del ejercicio
anterior.
5) Supongamos que el autómata de la siguiente figura ha llegado al estado de
aceptación después de procesar la cadena xy. ¿Cuál es el contenido de la pila?
a) La pila está vacía.
b) La pila contiene una x.
c) No existe una respuesta única
Cátedra: Ing. M. Gabriela Lema

2. Universidad Atlántida Argentina Facultad de Ingeniería
Teoría de Lenguajes y Computación - 2013
x, λ; λ
x, λ; x
λ, λ; λ y, λ; λ
y, x; λ
x, y; λ
6) Y si en el ejercicio anterior hubiéramos tenido la cadena xyxy en vez de xy, ¿cuál
hubiera sido la respuesta correcta?
a) La pila está vacía.
b) La pila contiene una x.
c) No existe una respuesta única.
7) Indicar si la cadena xyyx pertenece al lenguaje que acepta el siguiente autómata
λ,x;λ λ,λ;λ
x,λ;x
y,λ;x
x,λ;λ
y,x;λ
x,λ;x
λ,λ;x
8) ¿Cuáles son las cadenas que acepta el siguiente autómata vaciando su pila?
x, λ; x
y, x; λ
a) Las cadenas con tantas x’s como y’s
b) Las cadenas con más x’s que y’s
c) Ninguna de las respuestas anteriores
Cátedra: Ing. M. Gabriela Lema

3. Universidad Atlántida Argentina Facultad de Ingeniería
Teoría de Lenguajes y Computación - 2013
9) Obtener el AP que acepta el siguiente lenguaje xn
b2n
cn
10) Dada la siguiente gramática G:
S  aA
A  bA
A  b
a) Construir el AP M tal que L(G) = L(M)
b) Reconocer la cadena abbb usando el AP
11) Construir el AP M tal que L(G) = L(M) para la siguiente gramática G:
S  aAb | bBa
A  abA | ab
B  bB | λ
+0)*0 +
Cátedra: Ing. M. Gabriela Lema