DFA minimization Usage: dfa-minimization SOURCE DEST Minimize automaton from SOURCE and write result in DEST