This example demonstrates the shorthand "separator" operator
| which is used to separate groups of transitions using the same action.
In this example, the notation is written like so:
Without separation, states
c, and states
d would be treated as
array notation, and would fail (as you can't go to two states at once).