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