Pretty-Printing of DFA