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