Finish post2nfa, but contains error of sintax