1digraph "shift.y" 2{ 3 node [fontname=courier shape=box] 4 edge [fontname=courier] 5 6 3 [label="State 3\n 1 exp: a . \".\"\l"] 7 3 -> 6 [style=solid label="\".\""] 8 6 [label="State 6\n 1 exp: a \".\" .\l"] 9} 10