Converting a Non-deterministic Finite Automaton to a Deterministic Finite Automaton

Procedure