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 a + c, and states c + d would be treated as array notation, and would fail (as you can't go to two states at once).