sized DFA