* a dfa ?.