generic subset construction added, #5
converting NFA -> DFA