New Features: Not Response, Not Precedence

In the picture above:

• |> is always followed by q.0 and e, and is never preceded by a or u.
• a is always preceded by |>, does never occur with u, and is always followed by q.0 and e.
• u is always preceded by |>, does never occur with a, and is always followed by q.0 and e.
• q.0 and e are always preceded by |> and are never followed by a or u.

Note that I have dropped the dots from the edges, as they would be on all edges containing other symbols, hence they would have no meaning.

The following picture then speaks for itself:

Or, with hyper arcs: