An asynchronous state machine that has two inputs X1 and X2. The output Z must go to 1 at the end of the input sequence (00, 10, 11). This output must be maintained for all input changes until the...

Extracted text: An asynchronous state machine that has two inputs X1 and X2. The output Z must go to 1 at the end of the input sequence (00, 10, 11). This output must be maintained for all input changes until the sequence (00, 01, 11) occurs, then the output must go 0. This output must be maintained for all input changes until the first sequence occurs, then the output must go to 1 and so on. Give the state diagram with minimum number of states.