Pattern recognition
A synchronous sequential machine is to generate 1 on output z after the next clock pulse whenever the bit sequence on input x has exactly two 0's in the last three input bits.
Steps:
1) Draw a State Diagram (Mealy) and check for redundancies
2) Then assign binary State Identifiers.
3) Make a Next State Truth Table (NSTT)
4) Select a bistable type
5) Determine expressions for the bistable inputs
6) Determine expressions for the outputs
7) Implement and check your design.