INIT (next STATE1, output is zero)
STATE0 (next STATE1, output is one)
STATE1 (next STATE2, output is zero)
STATE2 (next STATE3, output is zero)
STATE3 (next STATE4, output is zero)
STATE4 (next STATE0, output is zero)
an input on x causes the machine to go tot he next state