NFA

A transition graph represents a NFA.

Nodes represent states. There is a distinguished start state and one or more final states.
Edges represent state transitions.
An edge can be labeled by an alphabet or an empty symbol