Definición de Autómata no determinístico:
A = (Q, alfabeto, f, q0, F)
f: alfabeto x Q → P(Q)
Convertir un AFND a AFD
a b
→ q0 {q0, q1} {q0}
q1 {q2} -
*q2 {q2} {q2}
El método consiste en unir el conjunto de estados que aparecen en la tabla en un
único estado, por ejemplo {q0, q1} = q01, y de ahora en adelante, se lo trata como un
estado.
a b
→ q0 q01 q0
q1 q2 -
*q2 q2 q2
q01 {q01,q2}= q012 {q0} = q0
*q012 q012 q02
*q02 q012 q02
A = (Q, alfabeto, f, q0, F)
f: alfabeto x Q → P(Q)
Convertir un AFND a AFD
a b
→ q0 {q0, q1} {q0}
q1 {q2} -
*q2 {q2} {q2}
El método consiste en unir el conjunto de estados que aparecen en la tabla en un
único estado, por ejemplo {q0, q1} = q01, y de ahora en adelante, se lo trata como un
estado.
a b
→ q0 q01 q0
q1 q2 -
*q2 q2 q2
q01 {q01,q2}= q012 {q0} = q0
*q012 q012 q02
*q02 q012 q02
