Post on 06-Feb-2016
description
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