Dfa Formal Description