started building recursive dfa