digraph Automaton { } \n -> . /* empty */ [ ] , dotted solid dashed [label=" "] -> [style= label=" " ]