So, while I was grinding on my EE 316, I came across this very delightful problem:

14.8) A sequential circuit has two inputs and two outputs. The inputs (X1 and X2) represent a 2-bit binary number, N. If the present value of N is greater than the previous value, then Z1 is 1. If the present value of N is less than the previous value, then Z2 is 1. Otherwise, Z1 and Z2 are 0. When the first pair of inputs is received, there is no previous value of N, so we cannot determine whether the present N is greater than or less than the previous one; therefore, the “otherwise” category applies.

a) Find a Mealy state table or graph for the circuit (minimum number of states, including starting state, is five).
b) Find a Moore state table for the circuit (minimum number of states is 11).

Answer