State machines are so common that there are tools devoted to creating them by drawing circles and arts. There are simulators that will recognize your state machine ...