159 lines
8.9 KiB
XML
159 lines
8.9 KiB
XML
<?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 16.0.0 (0)
|
|
-->
|
|
<!-- Title: grammar Pages: 1 -->
|
|
<svg width="431pt" height="195pt"
|
|
viewBox="0.00 0.00 431.00 195.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 190.5)">
|
|
<title>grammar</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-190.5 427.25,-190.5 427.25,4 -4,4"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="211.62" y="-169.2" font-family="Times,serif" font-size="14.00">nested_parens step 1 after: merge S,T_a</text>
|
|
<!-- nt_S -->
|
|
<g id="node1" class="node">
|
|
<title>nt_S</title>
|
|
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-93" rx="18" ry="18"/>
|
|
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-93" rx="22" ry="22"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="22" y="-89.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S</text>
|
|
</g>
|
|
<!-- pr_0 -->
|
|
<g id="node5" class="node">
|
|
<title>pr_0</title>
|
|
<polygon fill="none" stroke="red" stroke-width="2.5" points="140.5,-162 86.5,-162 86.5,-126 140.5,-126 140.5,-162"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-146.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S S</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-134.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.300</text>
|
|
</g>
|
|
<!-- nt_S->pr_0 -->
|
|
<g id="edge1" class="edge">
|
|
<title>nt_S->pr_0</title>
|
|
<path fill="none" stroke="black" d="M30.07,-114.68C36.08,-129.22 46.27,-147.24 62,-156 65.76,-158.1 69.88,-158.99 74.09,-159.06"/>
|
|
<polygon fill="black" stroke="black" points="74.32,-162.56 83.77,-157.77 73.4,-155.62 74.32,-162.56"/>
|
|
</g>
|
|
<!-- pr_2 -->
|
|
<g id="node7" class="node">
|
|
<title>pr_2</title>
|
|
<polygon fill="none" stroke="red" stroke-width="2.5" points="141.75,-93 85.25,-93 85.25,-57 141.75,-57 141.75,-93"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-77.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( S T_)</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-65.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.600</text>
|
|
</g>
|
|
<!-- nt_S->pr_2 -->
|
|
<g id="edge6" class="edge">
|
|
<title>nt_S->pr_2</title>
|
|
<path fill="none" stroke="black" d="M44.67,-88.64C53.22,-86.92 63.32,-84.89 73.08,-82.93"/>
|
|
<polygon fill="black" stroke="black" points="73.66,-86.38 82.78,-80.98 72.28,-79.52 73.66,-86.38"/>
|
|
</g>
|
|
<!-- pr_4 -->
|
|
<g id="node9" class="node">
|
|
<title>pr_4</title>
|
|
<polygon fill="none" stroke="red" stroke-width="2.5" points="140.5,-36 86.5,-36 86.5,0 140.5,0 140.5,-36"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-20.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">a</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-8.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.100</text>
|
|
</g>
|
|
<!-- nt_S->pr_4 -->
|
|
<g id="edge12" class="edge">
|
|
<title>nt_S->pr_4</title>
|
|
<path fill="none" stroke="black" d="M39.83,-78.89C51.38,-69.22 67.06,-56.08 80.9,-44.48"/>
|
|
<polygon fill="black" stroke="black" points="83.08,-47.22 88.5,-38.11 78.59,-41.85 83.08,-47.22"/>
|
|
</g>
|
|
<!-- nt_T__ -->
|
|
<g id="node2" class="node">
|
|
<title>nt_T__</title>
|
|
<ellipse fill="none" stroke="black" cx="210" cy="-84" rx="27" ry="18"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="210" y="-80.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_)</text>
|
|
</g>
|
|
<!-- pr_1 -->
|
|
<g id="node6" class="node">
|
|
<title>pr_1</title>
|
|
<polygon fill="none" stroke="black" points="328,-126 274,-126 274,-90 328,-90 328,-126"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-110.5" font-family="Helvetica,sans-Serif" font-size="10.00">)</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-98.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_1 -->
|
|
<g id="edge4" class="edge">
|
|
<title>nt_T__->pr_1</title>
|
|
<path fill="none" stroke="black" d="M235.32,-90.56C243.74,-92.83 253.37,-95.43 262.59,-97.91"/>
|
|
<polygon fill="black" stroke="black" points="261.5,-101.24 272.06,-100.47 263.32,-94.48 261.5,-101.24"/>
|
|
</g>
|
|
<!-- pr_3 -->
|
|
<g id="node8" class="node">
|
|
<title>pr_3</title>
|
|
<polygon fill="none" stroke="black" points="328,-72 274,-72 274,-36 328,-36 328,-72"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-56.5" font-family="Helvetica,sans-Serif" font-size="10.00">(</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-44.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_3 -->
|
|
<g id="edge10" class="edge">
|
|
<title>nt_T__->pr_3</title>
|
|
<path fill="none" stroke="black" d="M234.38,-76.12C243.14,-73.17 253.32,-69.74 263,-66.47"/>
|
|
<polygon fill="black" stroke="black" points="263.84,-69.88 272.2,-63.37 261.6,-63.25 263.84,-69.88"/>
|
|
</g>
|
|
<!-- tm__ -->
|
|
<g id="node3" class="node">
|
|
<title>tm__</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="396.25" y="-77.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">)</text>
|
|
</g>
|
|
<!-- tm_a -->
|
|
<g id="node4" class="node">
|
|
<title>tm_a</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="210" y="-14.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">a</text>
|
|
</g>
|
|
<!-- pr_0->nt_S -->
|
|
<g id="edge2" class="edge">
|
|
<title>pr_0->nt_S</title>
|
|
<path fill="none" stroke="black" d="M85.47,-133.58C77.71,-130.23 69.36,-126.27 62,-122 57.81,-119.57 53.54,-116.78 49.44,-113.9"/>
|
|
<polygon fill="black" stroke="black" points="51.63,-111.17 41.5,-108.07 47.48,-116.81 51.63,-111.17"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-126.84" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_0->nt_S -->
|
|
<g id="edge3" class="edge">
|
|
<title>pr_0->nt_S</title>
|
|
<path fill="none" stroke="black" d="M90.38,-125.07C83.29,-119.58 75.21,-113.89 67.25,-109.5 63.32,-107.33 59.06,-105.34 54.77,-103.54"/>
|
|
<polygon fill="black" stroke="black" points="56.27,-100.37 45.68,-100.05 53.76,-106.91 56.27,-100.37"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-111.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_1->tm__ -->
|
|
<g id="edge5" class="edge">
|
|
<title>pr_1->tm__</title>
|
|
<path fill="none" stroke="black" d="M328.47,-100.34C337.78,-97.64 348.42,-94.56 358.43,-91.66"/>
|
|
<polygon fill="black" stroke="black" points="359.27,-95.06 367.9,-88.92 357.32,-88.34 359.27,-95.06"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-96.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_2->nt_S -->
|
|
<g id="edge8" class="edge">
|
|
<title>pr_2->nt_S</title>
|
|
<path fill="none" stroke="black" d="M84.15,-69.02C76.85,-68.42 69.06,-68.61 62,-70.5 58.38,-71.47 54.74,-72.87 51.22,-74.5"/>
|
|
<polygon fill="black" stroke="black" points="49.66,-71.37 42.5,-79.18 52.97,-77.54 49.66,-71.37"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-72.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_2->nt_T__ -->
|
|
<g id="edge7" class="edge">
|
|
<title>pr_2->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M142.85,-77.7C151.9,-78.56 162.05,-79.53 171.63,-80.44"/>
|
|
<polygon fill="black" stroke="black" points="171.13,-83.91 181.42,-81.37 171.8,-76.94 171.13,-83.91"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-81.72" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_2->nt_T__ -->
|
|
<g id="edge9" class="edge">
|
|
<title>pr_2->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M142.84,-65.8C150.07,-64.51 157.83,-64.05 165,-65.5 169.14,-66.34 173.38,-67.57 177.51,-69.02"/>
|
|
<polygon fill="black" stroke="black" points="176.07,-72.21 186.65,-72.64 178.65,-65.7 176.07,-72.21"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-67.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
|
|
</g>
|
|
<!-- pr_3->tm__ -->
|
|
<g id="edge11" class="edge">
|
|
<title>pr_3->tm__</title>
|
|
<path fill="none" stroke="black" d="M328.47,-61.66C337.78,-64.36 348.42,-67.44 358.43,-70.34"/>
|
|
<polygon fill="black" stroke="black" points="357.32,-73.66 367.9,-73.08 359.27,-66.94 357.32,-73.66"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-69.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_4->tm_a -->
|
|
<g id="edge13" class="edge">
|
|
<title>pr_4->tm_a</title>
|
|
<path fill="none" stroke="black" d="M141.58,-18C150.99,-18 161.71,-18 171.79,-18"/>
|
|
<polygon fill="black" stroke="black" points="171.7,-21.5 181.7,-18 171.7,-14.5 171.7,-21.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-19.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|