Actividad de aprendizaje 2

Taller diseño de autómatas finitos y autómatas pila

Integrantes

Patricia Franco Ruiz

José Alejandro Metaute González

José Daniel Suarez Plata

Profesor:

Julio Cesar Castaño Bustos

IU Digital de Antioquia

Tecnología de Desarrollo de Software

Autómatas, Gramática y Lenguajes

Fecha de Entrega:

05/07/2021
Para cada uno de los problemas a continuación, diseñe un autómata de Pila y
realice lo siguiente:
• 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
 Taller: diseño

finitos y

Tabla de traza, pila vacía (abbccc)

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

Q: {Q0,Q1,Q2,Q3}
Σ: {a,b}
Γ: {Z,x, λ}
δ:
q: {Q0}
Z ϵ Γ: {Z}
F: {Q3}
 A

Tabla de traza, pila vacía (aabaaccca)

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

Q: {Q0,Q1,Q2,Q3,Q4,Q5}
Σ: {a,b,c}
Γ: {Z,x, λ}
δ:
q: {Q0}
Z Γ: ϵ {Z}
F: {Q5}
 atas

Tabla de traza, pila vacía (aaaaaabb)

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)

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

a n+2 b m c f para f=n+m; n,m , p=¿0

Tabla de traza, pila vacía (aaabbccccc)
Septupla A = (Q,Σ, Γ ,δ, q, Z,F)

Q: {Q0,Q1,Q2}
Σ: {a,b,c}
Γ: {Z,x, λ}
δ:
q: {Q0}
Z Γ: ϵ {Z}
F: {Q2}