Section 15.4

Determinization of Finite Automata