Application to construct, determinize and minimize (eliminate dead and unreachable) states from Nondeterministic finite automaton.