Below is a sequential circuit and the skeleton of a state diagram.  You will reverse engineer the circuit to re-derive the state diagram by following the steps and answering the questions below.

Is the circuit above a Mealy or Moore machine?
 

What are the next state equations (for D1, D2, D3) and the output (Z)?
 

   D1 =

   D2 =

   D3 =

   Z =
 
 
 

Start at state 001 (Q1 = 0, Q2 = 0, Q3 = 1) and complete the state diagram below.  Show all state transitions from state 001 (for both X = 0 and X =1) and for each state reachable from 001.  Please put all the X = 1 transitions on the top and all the X = 0 transitions on the bottom.

Are there any unreachable states when the machine starts in state 001?  If so, which?

Is this a self-starting machine?  Why or why not?