Section 15.3

Nondeterministic Finite Automata