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