A mealy sequential circuit has one input (x) and one output (z). Z = 1 iff and only if the most recent input, combined with the preceding 3 inputs, was not a valid BCD encoding of a decimal digit; otherwise, z = 0. Assume the BCD digits are received most significant bit first. Derive a state table for the circuit. (Seven states are sufficient.)