Ok. Done for now. I'm sure Dr. Salamy has a special sequence designed to trip up common mistakes in the moore machine, but i'm reasonably confident that my state machine is correct.