Converts a given non-deterministic finite automaton description into an equivalent deterministic finite automaton.