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