changed representation of delta in nfa-2-dfa.stlx