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