preparations for DFA definition