Specifications of DFA