added contruction of the DFA (10.2)