The latex converter should probably be a priority now. When composing a text table output for automata with states labelled like {A,B,C} or (a, 1), the output gets quite messy because the columns are unaligned.