Dfa Formal Description Of A Dfa