Since NFAs and DFAs have been put into separate modules, there's no need to prefix their attribute functions with 'nfa' or 'dfa' any more.