← Chapter Five: Nondeterministic Finite Automata