DISEÑO DE AUTOMATAS Ejercicios Resueltos
DISEÑO DE AUTOMATAS Ejercicios Resueltos
DISEÑO DE AUTOMATAS Ejercicios Resueltos
EJERCICIO A TRABAJAR
s Corresponde al estadoinicial
K {q 0 }
a b c
q0 q1q2 q0 ∅
q1 ∅ ∅ q2
q2 ∅ q1 ∅
Eliminando q 2
Transición Final
EJERCICIO A TRABAJAR
s Corresponde al estadoinicial
K {q 0 }
a b c
q0 q1q2 ∅ ∅
q1 ∅ q1q0 q2
q2 ∅ q1 ∅
a b c
q0 {q 1 }∪ {q2 } ∅ ∅
q1 ∅ {q 1 }∪ {q0 } {q 2 }
q2 ∅ {q 1 } ∅
Los nuevos estados gestados en la tabla de transición son
a b c
{q 1 }∪ {q2 } {q 0 } ∪ {q1 } ∪ {q 2 } {q 0 } ∪ {q2 } {q 2 }
{q 1 }∪ {q0 } {q 0 } ∪ {q1 } ∪ {q 2 } ∅ ∅
Así, se crea la nueva tabla de transición
a b c
q0 {q 1 }∪ {q2 } ∅ ∅
q1 ∅ {q 1 }∪ {q0 } {q 2 }
q2 ∅ {q 1 } ∅
{q 1 }∪ {q2 } {q 1 }∪ {q2 } {q 1 }∪ {q0 } {q 2 }
{q 1 }∪ {q0 } {q 1 }∪ {q2 } ∅ ∅
Autómata Final
convertido
Practicar y Verificar lo
aprendido