Equivalencia de autómatas

Estados a b c{}

> q0*q1*q2

*q0,q1*q0,q2*q1,q2

*q0,q1,q2

q0,q1,q2 q1,q2 q2 - - -

- q1,q2 q2 - - q2q0,q1,q2 q1,q2 q2q0,q1,q2 q1,q2 q2 - q1,q2 q2q0,q1,q2 q1,q2 q2

Equivalencia de autómatas

q0

q1

q3q2

ab

a

a

Estados a b{} {} {}

> {q0} - -{q1} *{q2,q3} -*{q2} - -{q3} *{q2} {q1}

{q0,q1} *{q2,q3} - *{q0,q2} - -{q0,q3} *{q2} {q1}*{q1,q2} *{q2,q3} {q1}{q1,q3} *{q2,q3} {q1}*{q2,q3} *{q2} {q1}

*{q0,q1,q2} *{q2,q3} {q1}{q0,q1,q3} *{q2,q3} {q1}

*{q0,q2,q3} *{q2} {q1}*{q1,q2,q3} *{q2,q3} {q1}

*{q0,q1,q2,q3} *{q2,q3} {q1}

q2

aq0,q1

q2,q3

q1

ab

aEl vacío no es un símbolo procesable (no se agrega esa columna en la tabla) y sólo se tiene en cuenta cuando está en el camino de otro símbolo que sea

procesable