DFA use {List -> Set}
NFASimulation#toDFA added.