save the execution DFA to dot file