Moore Model State Diagram