Professional Documents
Culture Documents
/ X X
BD BD
CG
X X CG
EH
X AD / X X
AD AD AB
CF X X CF FG
X
CD CD BC AC
AC X X AC AG X AF
EG GH GH
X AH DH
X X X X
DH
X
CD
AC X X X
CD
AC
BC
/
AG X X
AC
AF
X X
EG
AH X
GH
DH
X X X
GH
DH
X X
Reduction by
Implication:
4 states
CoE 23: Lecture 2
Incompletely Specified Machines
Input sequences that cannot occur will introduce dont
care conditions in state tables
2 = 3, therefore...