EJERCICIO A

TRABAJAR Ejercicio 2

Caracterizació Un autómata a pila es una séptupla:

n del autómata
a pila
AP= (Σ, Γ, Q, A0 , q 0 , f, F) donde :

1. Σ es el alfabeto de entrada

2. Γ es el alfabeto de la pila

3. Q es un conjunto finito de estados

4. A0 ∈ Γ es el símbolo inicial de la pila

5. q0 ∈ Q el estado inicial del autómata

6. F ⊆ Q es el subconjunto de estados finales

7. f es una aplicación denominada función de transición de

ternas (estado, símbolo de entrada o λ, símbolo de pila) en el
conjunto de las partes Q×Γ*
 f : Q×{Σ∪{λ}}× Γ → 2 Q×Γ* (subconjunto finito)

Un AP comienza su funcionamiento en la configuración inicial:

● en el estado inicial (q0)

● con sólo un símbolo en la pila (A0)
● con la cabeza lectora en el primer símbolo de la entrada

Procedimiento
de paso a paso
del recorrido - Paso 1: cuando el autómata se encuentra en el estado q 0 ,
de una cadena lee el símbolo de entrada a y la pila inicial es Z, entonces leerá
la transición a,Z;A

- Paso 2: El autómata sigue en el estado q 0 , lee el símbolo de

entrada a y la pila inicial ya es A, entonces leerá la transición
a,A;B

- Paso 3: El autómata sigue en el estado q 0 , lee el símbolo de

entrada a y la pila inicial ya es B entonces leerá la transición
a,B;AB
- Paso 4: El autómata sigue en el estado q 0 , lee el símbolo de
entrada a y la pila inicial ya es AB entonces leerá la transición
a,A;B

- Paso 5: El autómata sigue en el estado q 0 , lee el símbolo de

entrada a y la pila inicial ya es BB entonces leerá la transición
a,B;AB

- Paso 6: El autómata sigue en el estado q 0 , lee el símbolo de

entrada a y la pila inicial ya es ABB entonces leerá la transición
a,A;B
- Paso 7: El autómata sigue en el estado q 0 , lee el símbolo de
entrada a y la pila inicial ya es BBB entonces leerá la transición
b,B; ʎ

- Paso 8: El autómata ahora pasara al estado q1 , lee el

símbolo de entrada b y la pila inicial ya es BB entonces leerá la
transición b,B; ʎ

- Paso 9: El autómata termina en el estado q1 , lee el símbolo

de entrada b y la pila inicial quedando en la cabeza es B.
Gráfico 1

a a a a a a b b

ass
sss E L P
0o

Gráfico 2

a a a a a a b b
A

ass
E Por leer Pilasss
0o
aaaaaabb
Gráfico 3

a a a a a a b b B

ass
E Por leer Pilasss
0o
aaaaaabb

aaaaabb

Gráfico 4

AB

a a a a a a b b B

ass
E Por leer Pilasss
0o
aaaaaabb

aaaaabb

aaaabb B
Gráfico 5

BB

AB

a a a a a a b b B

E Por leer Pila

aaaaaabb

aaaaabb

aaaabb B

aaabb AB

Gráfico 6
ABB

BB
AB

a a a a a a b b B

E Por leer Pila

aaaaaabb

aaaaabb

aaaabb B

aaabb AB

aabb BB
 BBB
Gráfico 7
ABB

BB
AB

a a a a a a b b B

E Por leer Pila

aaaaaabb

aaaaabb

aaaabb B

aaabb AB

aabb BB

abb ABB

Gráfico 8

BB
AB

a a a a a a b b B

E Por leer Pila

aaaaaabb

aaaaabb

aaaabb B

aaabb AB

aabb BB

abb ABB

bb BBB
Gráfico 9

a a a a a a b b B

E Por leer Pila

Z0 aaaaaabb

aaaaabb

aaaabb B

aaabb AB

aabb BB

abb ABB

bb BBB
q0 b BB

q0 λ B
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo
verificar lo menos cinco cadenas válidas y 5 cadenas rechadas por el
aprendido autómata. En este espacio adjunta la imagen.
 BIBLIOGRAFIA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).

Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes formales. (pp.
7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62). Recuperado
de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18317