doc/figs/example-reduce.gv

   1 digraph "reduce.y"
   2 {
   3   node [fontname=courier shape=box]
   4   edge [fontname=courier]
   5
   6   1 [label="State 1\n  3 a: \"0\" •  [\".\"]\l  4 b: \"0\" •  [\";\"]\l"]
   7   1 -> "1R3" [label="" style=solid]
   8  "1R3" [style=filled shape=diamond fillcolor=yellowgreen label="R3"]
   9   1 -> "1R4" [label="[\";\"]" style=solid]
  10  "1R4" [style=filled shape=diamond fillcolor=yellowgreen label="R4"]
  11 }