Chapter 5. - Redundant States and The Implication Table
|Next Page of this Chapter|
How do we know if a state diagram is optimized?
What are redundant states?
Two states which appear numerically different, can in actual fact be
Statement 2, simply means that if the next states are compared together and are found to be equal (or reference the states we are looking at) then we can consider them equal to each other. See the diagrams below.
The last diagram is the difficult one to understand. It is quite easy to see wether two (or more) states are redundant or not in the first two diagrams as the outputs are different. The third diagram demonstrates that if the next states are different and those next states are not equivalent to each other, then the two states cannot be considered redundant. However the last diagram demonstrates that if the outputs are equal and the next states are equivalent to each other (i.e. state 1 is equivalent to state 2 if state 2 is equivalent to state 1.) then the two states can be considered equivalent and therefore eliminate one of them.
Re-read the last passage several times and try to work through the above diagrams until it all makes sense as this is quite an abstract stage.