| digraph "reduce.y" | |
| { | |
| node [fontname=courier shape=box] | |
| edge [fontname=courier] | |
| 1 [label="State 1\n 3 a: \"0\" . [\".\"]\l 4 b: \"0\" . [\";\"]\l"] | |
| 1 -> "1R3" [label="" style=solid] | |
| "1R3" [style=filled shape=diamond fillcolor=yellowgreen label="R3"] | |
| 1 -> "1R4" [label="[\";\"]" style=solid] | |
| "1R4" [style=filled shape=diamond fillcolor=yellowgreen label="R4"] | |
| } |