doc/figs/example-shift.gv

   1 digraph "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 }