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:

 

Leave a Reply