Actividad de aprendizaje 2

Taller diseño de autómatas de Pila

Alexandra Ramos Casarrubia

CC 1003594618

alexandra.ramos@est.iudigital.edu.
co

Docente: Julio

César Castaño

IU Digital de Antioquia

Tecnología en Desarrollo de Software

Autónamtas, Gramáticas y Lenguajes

Noviembre 2021
 Actividad de aprendizaje 2

Taller diseño de autómatas de Pila

Para cada uno de los problemas a continuación, diseñe un automata de Pila y realice losiguiente:

• Grafique el autómata y realice pruebas correspondientes tanto de estado final como de pila.

• Desarrollo una tabla de traza de ejecución del autómata que contiene (estado, cadena por leer,

pila)

• Indique la séptupla del autómata

Tabla de traza, pila vacía (abbccc)

Estado Por leer Pila

Q0 abbccc Z

Q1 bbccc xZ

Q2 bccc xxZ

Q2 ccc xxxZ

Q3 cc xxZ

Q3 c xZ

Q3  Z

Q3  

Séptupla autómata #1

Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2,Q3}

Σ: {a,b}

Γ: {Z,x, }

δ:

q: {Q0}

Z ϵ Γ: {Z}

F: {Q3}
Tabla de traza, pila vacía (aabaaccca)

Estado Por leer Pila

Q0 aabaaccca Z
Q1 abaaccca Z
Q2 baaccca Z
Q2 aaccca xZ
Q3 accca xxZ
Q4 ccca xxxZ
Q4 cca xxZ
Q4 ca xZ
Q4 a Z
Q5  Z
Q5  

Séptupla autómata #2

Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2,Q3,Q4,Q5}

Σ: {a,b,c}

Γ: {Z,x, }

δ:

q: {Q0}

Z ϵ Γ: {Z}

F: {Q5}
Tabla de traza, pila vacía (aaaaaabb)

Estado Por leer Pila

Q0 aaaaaabb Z
Q1 aaaaabb xZ
Q0 aaaabb xxZ
Q1 aaabb xxxZ
Q0 aabb xxxxZ
Q1 abb xxxxxZ
Q0 bb xxxxxxZ
Q3 b xxxxxZ
Q2  xxxxZ
Q3  xxxZ
Q2  xxZ
Q2  xZ
Q2  Z
Q2  

Séptupla autómata #3

Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2,Q3,Q4,Q5}

Σ: {a,b}

Γ: {Z,x, }

δ:

q: {Q0}

Z ϵ Γ: {Z}

F: {Q2}
Tabla de traza, pila vacía (abbcccc)

Estado Por leer Pila

Q0 abbcccc Z
Q0 bbcccc xZ
Q1 bcccc xxZ
Q1 cccc xxxZ
Q2 ccc xxZ
Q2 cc xZ
Q2 c Z
Q3  

Séptupla autómata #4

Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2,Q3}

Σ: {a,b,c}

Γ: {Z,x, }

δ:

q: {Q0}

Z ϵ Γ: {Z}

F: {Q3}
5. Cree un enunciado propio que se pueda desarrollar en autómata de pila y que incluye mínimo

dos exponentes diferentes

#$ (
=
+ ; , , => 0
Tabla de traza, pila vacía (aaabbccccc)

Estado Por leer Pila

Q0 aaabbccccc Z
Q0 aabbccccc xZ
Q0 abbccccc xxZ
Q0 bbccccc xxxZ
Q1 bccccc xxxxZ
Q1 ccccc xxxxxZ
Q2 cccc xxxxZ
Q2 ccc xxxZ
Q2 cc xxZ
Q2 c xZ
Q2  Z
Q2  

Séptupla autómata #5

Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2}

Σ: {a,b,c}

Γ: {Z,x, }

δ:

q: {Q0}

Z ϵ Γ: {Z}

F: {Q2}