An introductory section for nondeterministic finite state automata is coming...
The Theory of Computing
Finite State Automata, Rebular Languages, and Regular Expressions
Pushdown Automata and Context Free Languages
Where We Are
Finite State Automata
Nondeterministic Finite State Automata
Regular Expressions
Regular Grammars
Closure Properties of Regular Languages
Nondeterminiism
Our First NFSA
Our Second NFSA