| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" |
| "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> |
| <!-- Generated by graphviz version 2.41.20171026.1811 (20171026.1811) |
| --> |
| <!-- Title: reduce.y Pages: 1 --> |
| <svg width="184pt" height="148pt" |
| viewBox="0.00 0.00 184.00 148.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> |
| <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 144)"> |
| <title>reduce.y</title> |
| <polygon fill="white" stroke="transparent" points="-4,4 -4,-144 180,-144 180,4 -4,4"/> |
| <!-- 1 --> |
| <g id="node1" class="node"> |
| <title>1</title> |
| <polygon fill="none" stroke="black" points="176,-140 0,-140 0,-87 176,-87 176,-140"/> |
| <text text-anchor="middle" x="88" y="-124.8" font-family="Courier,monospace" font-size="14.00">State 1</text> |
| <text text-anchor="start" x="8" y="-109.8" font-family="Courier,monospace" font-size="14.00">  3 a: "0" •  ["."]</text> |
| <text text-anchor="start" x="8" y="-94.8" font-family="Courier,monospace" font-size="14.00">  4 b: "0" •  [";"]</text> |
| </g> |
| <!-- 1R3 --> |
| <g id="node2" class="node"> |
| <title>1R3</title> |
| <polygon fill="yellowgreen" stroke="black" points="49,-36 18.83,-18 49,0 79.17,-18 49,-36"/> |
| <text text-anchor="middle" x="49" y="-14.3" font-family="Courier,monospace" font-size="14.00">R3</text> |
| </g> |
| <!-- 1->1R3 --> |
| <g id="edge1" class="edge"> |
| <title>1->1R3</title> |
| <path fill="none" stroke="black" d="M77.34,-86.95C71.52,-72.99 64.36,-55.83 58.7,-42.25"/> |
| <polygon fill="black" stroke="black" points="61.78,-40.55 54.7,-32.67 55.32,-43.25 61.78,-40.55"/> |
| </g> |
| <!-- 1R4 --> |
| <g id="node3" class="node"> |
| <title>1R4</title> |
| <polygon fill="yellowgreen" stroke="black" points="128,-36 97.83,-18 128,0 158.17,-18 128,-36"/> |
| <text text-anchor="middle" x="128" y="-14.3" font-family="Courier,monospace" font-size="14.00">R4</text> |
| </g> |
| <!-- 1->1R4 --> |
| <g id="edge2" class="edge"> |
| <title>1->1R4</title> |
| <path fill="none" stroke="black" d="M98.93,-86.95C104.9,-72.99 112.24,-55.83 118.05,-42.25"/> |
| <polygon fill="black" stroke="black" points="121.44,-43.24 122.15,-32.67 115,-40.49 121.44,-43.24"/> |
| <text text-anchor="middle" x="133.5" y="-57.8" font-family="Courier,monospace" font-size="14.00">[";"]</text> |
| </g> |
| </g> |
| </svg> |