Shorthand transition notation
This example demonstrates advanced assignment of actions and states via shorthand notation.
In this example, the notation is written like so:
- Sequential states for "next" and "back"
- Array assignment for "restart" and "exit"
- An exit to a terminating state for "x".