add spec files to 3-1-dfa/