a dfa regex