159 lines
8.7 KiB
XML
159 lines
8.7 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 (induced)</text>
|
|
<!-- nt_S -->
|
|
<g id="node1" class="node">
|
|
<title>nt_S</title>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-93" rx="18" ry="18"/>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" 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">S</text>
|
|
</g>
|
|
<!-- pr_0 -->
|
|
<g id="node5" class="node">
|
|
<title>pr_0</title>
|
|
<polygon fill="none" stroke="black" 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">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">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="M29.82,-114.06C35.79,-128.7 46.04,-147.11 62,-156 66,-158.23 70.41,-159.1 74.9,-159.06"/>
|
|
<polygon fill="black" stroke="black" points="75.2,-162.56 84.56,-157.59 74.15,-155.64 75.2,-162.56"/>
|
|
</g>
|
|
<!-- pr_2 -->
|
|
<g id="node7" class="node">
|
|
<title>pr_2</title>
|
|
<polygon fill="none" stroke="black" 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">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">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="M43.76,-88.83C52.78,-87.01 63.66,-84.82 74.07,-82.73"/>
|
|
<polygon fill="black" stroke="black" points="74.47,-86.22 83.59,-80.82 73.09,-79.36 74.47,-86.22"/>
|
|
</g>
|
|
<!-- pr_4 -->
|
|
<g id="node9" class="node">
|
|
<title>pr_4</title>
|
|
<polygon fill="none" stroke="black" 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">a</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-8.5" font-family="Helvetica,sans-Serif" font-size="10.00">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.42,-79.24C51.28,-69.3 67.67,-55.57 81.92,-43.63"/>
|
|
<polygon fill="black" stroke="black" points="83.88,-46.55 89.3,-37.45 79.38,-41.19 83.88,-46.55"/>
|
|
</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="M86.25,-133.91C78.28,-130.49 69.61,-126.41 62,-122 57.53,-119.41 52.96,-116.39 48.6,-113.31"/>
|
|
<polygon fill="black" stroke="black" points="50.84,-110.62 40.72,-107.48 46.68,-116.25 50.84,-110.62"/>
|
|
<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="M91.3,-125.78C83.99,-120.08 75.55,-114.08 67.25,-109.5 63.05,-107.18 58.46,-105.06 53.88,-103.17"/>
|
|
<polygon fill="black" stroke="black" points="55.38,-100 44.79,-99.72 52.9,-106.55 55.38,-100"/>
|
|
<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.94,-69.09C77.41,-68.41 69.31,-68.54 62,-70.5 58.11,-71.54 54.2,-73.08 50.44,-74.87"/>
|
|
<polygon fill="black" stroke="black" points="48.8,-71.77 41.71,-79.64 52.16,-77.91 48.8,-71.77"/>
|
|
<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.09,-77.63C151.33,-78.51 161.79,-79.5 171.65,-80.44"/>
|
|
<polygon fill="black" stroke="black" points="171.05,-83.9 181.33,-81.36 171.71,-76.93 171.05,-83.9"/>
|
|
<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.05,-65.94C149.5,-64.54 157.57,-64 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="M140.82,-18C150.43,-18 161.47,-18 171.84,-18"/>
|
|
<polygon fill="black" stroke="black" points="171.63,-21.5 181.63,-18 171.63,-14.5 171.63,-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>
|