nfa -> dfa transform write(?).