Incompletely Specified Circuits
Next states and/or outputs are not specified for all states
Applicable input sequences: an input sequence is applicable to state, Si, of an incompletely specified circuit if and only if when the circuit is in state Si and the input sequence is applied, all next states are specified except for possible the last input of the sequence.
Compatible states: two states Si and Sj are compatible if and only if for each input sequence applicable to both states the same output sequence will be produced when the outputs are specified.
Compatible states: two states Si and Sj are compatible if and only if the following conditions are satisfied for any possible input Ip
- The outputs produced by Si and Sj are the same, when both are specified
- The next states Sk and Sl are compatible, when both are specified.
Incompatible states: two states are said to be incompatible if they are not compatible.