Formal Description Of Dfa