Simplificao pelo Mtodo de Diviso Classes of Indistinguishable States

Exemplo !"#
Usando o mtodo de diviso encontre os estados equivalentes mnimos para a tabela de
estados abaixo:
q
v
x
v
= 0 x
v
= 1
1 2 , 0 3 , 0
2 4 , 0 5 , 0
3 6 , 0 , 0
4 ! , 0 " , 0
5 10 , 0 11 , 0
6 4 , 0 12 , 0
10 , 0 12 , 0
! ! , 0 1 , 0
" 10 , 1 1 , 0
10 4 , 0 1 , 0
11 2 , 0 1 , 0
12 2 , 0 1 , 0
q
v#1
, $
%ode&se iniciar reali$ando&se a simpli'ica()o visual, con'orme 'eito no m*todo usando
+tabela de implica()o,, mas n)o vamos 'a$-&lo neste exemplo para compararmos os resultados
obtidos.
%rimeiro vamos dividir em classes que apresentem um con/unto de sadas di'erentes para
todas as entradas apresentadas, deste modo obtemos classes com as mesmas sadas para todas as
entradas.
0lasse 1 : $ =0 para x
v
= 0 e $ = 0 para x
v
= 1
2s estados 1, 2, 3, 4, 5 ,6, , !, 10, 11 e 12 pertencem a esta classe.
0lasse 3 : $ =1 para x
v
= 0 e $ = 0 para x
v
= 1
1penas o estado " pertence a esta classe.
4onta&se o dia5rama abaixo relacionando as classes, os estados e as pr6ximas classes.
classes 1 3
estados 1 2 3 4 5 6 ! 10 11 12 "
prox. classe 1 1 1 1 1 1 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2bserva&se que o estado 4 da classe 1 'orma uma nova classe 0, ou se/a, apresenta pr6ximas
classes di'erentes da classe 1:
0lasse 1 : 1, 2, 3, 5, 6, , !, 10, 11 e 127
0lasse 3 : "7
0lasse 0 : 47
2 m*todo deve ser repetido at* todas as classes apresentarem as mesmas pr6ximas classes
para todas as entradas.
8emonta&se o dia5rama relacionando as classes, os estados e as pr6ximas classes.
classes 1 3 0
estados 1 2 3 5 6 ! 10 11 12 " 4
prox. classe 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 3
2bserva&se que os estados 2, 6 e 10 da classe 1 'ormam uma nova classe 9, ou se/a,
apresentam pr6ximas classes di'erentes da classe 1:
0lasse 1 : 1, 3, 5, , !, 11 e 127
0lasse 3 : "7
0lasse 0 : 47
0lasse 9 : 2, 6 e 10
8emonta&se o dia5rama relacionando as classes, os estados e as pr6ximas classes.
classes 1 3 0 9
estados 1 3 5 ! 11 12 " 4 2 6 10
prox. classe 9 1 9 1 9 1 9 1 1 1 9 1 9 1 9 1 1 3 0 1 0 1 0 1
2bserva&se que os estado ! da classe 1 'orma uma nova classe :, ou se/a, apresenta
pr6ximas classes di'erentes da classe 1:
0lasse 1 : 1, 3, 5, , 11 e 12
0lasse 3 : "
0lasse 0 : 4
0lasse 9 : 2, 6 e 10
0lasse : : !
8emonta&se o dia5rama relacionando as classes, os estados e as pr6ximas classes.
classes 1 3 0 9 :
estados 1 3 5 11 12 " 4 2 6 10 !
prox. classe 9 1 9 1 9 1 9 1 9 1 9 1 9 1 : 3 0 1 0 1 0 1 : 3
2bserva&se que n)o ;< mais a necessidade de 'ormar novas classes, todos as classes s)o
'ormadas por estados que apresentam as mesmas sadas e os mesmos pr6ximos estados para todas
as entradas.
4onta&se a partir do =ltimo dia5rama a tabela de estados mnimos.
q
v
x
v
= 0 x
v
= 1 :stados equivalentes
1 9 , 0 1 , 0 1, 3, 5, , 11 e 12
3 9 , 1 1 , 0 "
0 : , 0 3 , 0 4
9 0 , 0 1 , 0 2, 6 e 10
: : , 0 3 , 0 !
q
v#1
, $
>a solu()o usando +tabela de implica()o, 'oi usado o m*todo de minimi$a()o visual antes
do al5ortimo veri'icando previamente que os estados ? 11 e 12 @ e os estados ? 5 e @ s)o
equivalentes. %ode&se veri'icar que os resultados obtidos por ambos os m*todos s)o equivalentes,
tabela de estados mnimos obtida pelo m*todo da +tabela de implica()o, repetida abaixo para
compara()o, sendo:
o estado 12 equivalente ao estado 11
o estado equivalente ao estado 5
classe a equivalente A classe 1
classe b equivalente A classe 9
classe c equivalente A classe 0
classe d equivalente A classe :
classe e equivalente A classe 3
q
v
x
v
= 0 x
v
= 1 :stados equivalentes
a b , 0 a , 0 1, 3, 5 e 11
b c , 0 a , 0 2, 6 e 10
c d , 0 e , 0 4
d d , 0 a , 0 !
e b , 1 a , 0 "
q
v#1
, $