Theory of Computation: Nondeterminism & Nondeterministic Finite Automata (NFA); Epsilon Closure; NFA with & w/o Epsilon Transitions; NFA vs. DFA, Subset Construction