The -d option is used to determinize a finite state automaton.
Standard input consists of the
finite-state automaton to be determinized. The determinized
finite-state automaton is written to standard output. The
determinization algorithm uses a version of the subset construction
(Hopcroft and Ullman )
in which only those subsets are considered that
can be reached from an initial state. Example: