renamed some of the dfa creation functions