[next] [prev] [prev-tail] [tail] [up]
A single literal symbol σ in a regular expression is represented by a state machine with two state u1,u2 such that T(u1,σ) = u2. In this case, u1 serves as the local start state, and u2 serves as the local accept state.
[next] [prev] [prev-tail] [front] [up]