State machine generation failure

This screen shot shows that one of the state transitions is invalid (it is actually invalid because it does not connect two states). The error is shown by highlighting the curve in red while all the other curves are shown in blue, indicating that they are valid.

This screen shot shows that one of the events is invalid (it is actually invalid because it does not provide the name of a valid state transition function). The error is shown by highlighting the event text in red while all the other events are shown in blue, indicating that they are valid