all conversion from DFA to ... #5
conversion #5 completed