Taller de Autómatas de Pila
Descripción:
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
SOLUCIÓN
Tabla
ESTADO LECTURA PILA
Q0 abbccc Z
Q1 bbccc XZ
Q2 bccc xxZ
Q3 ccc xxxZ
Q3 cc xxZ
Q3 λ. Z
Q3 λ. λ.
séptupla A = (Q, ∑, r, &, q, Z, F)
Q: {Q0, Q1, Q2, Q3}
∑: {a .b}
R: {Z, x, λ.}
&:
Q: {q0}
Z ∈ r:{Z}
F: {Q3}
Tabla
ESTADO LECTURA 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 λ. λ.
Septupla A = (Q, ∑, r, &, q, Z, F)
Q: {Q0, Q1, Q2, Q3, Q4, Q5}
∑: {a, b, c}
r: {Z, x, λ.}
&;
q: {Q0}
Z ∈ r: {Z}
F: {Q5}
Tabla
ESTADO LECTURA 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 λ λ
Septupla A = (Q, ∑, r, &, q, Z, F)
Q: {Q0, Q1, Q2, Q3, Q4, Q5}
∑: {a, b, c}
r: {Z, x, λ.}
&;
q: {Q0}
Z ∈ r: {Z}
F: {Q2}
Tabla
Estado Lectura pila
Q0 Abbccc Z
Q0 bbcccc x
Q1 bccc XxZ
Q1 Cccc xxxZ
Q2 cCc xxZ
Q2 Cc xZ
Q2 C Z
Q3 λ λ
Septupla A = (Q, ∑, r, &, q, Z, F)
Q: {Q0, Q1, Q2, Q3, Q4, Q5}
∑: {a, b, c}
r: {Z, x, λ.}
&;
q: {Q0}
Z ∈ r: {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.
estado Lectura pila
Q0 aaabbccccc z
Q0 aabbcccc xz
Q0 abbccc xxz
Q0 bbccc xxxz
Q1 cccccc xxxxz
Q1 cccc xxxxxz
Q2 ccc xxxxz
Q2 cc xxxz
Q2 c xxz
Q2 λ z
Q2 λ λ