add some spec files for 3-2-nfa/