EOD, developing post2nfa algo