A circuit must detect a 01 sequence. The sequence sets z = 1, which is reset only by a 00 sequence. For all other cases, z = 0. For example, for input sequence as follows, the corresponding output sequence would be:
x = 010100100
z = 011110110
Model the behavior of this circuit using both a state diagram and a state table.