Files
2026-09-18 16:27:30 +00:00

308 lines
17 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="850pt" height="297pt"
viewBox="0.00 0.00 850.00 297.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 292.5)">
<title>grammar</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-292.5 846,-292.5 846,4 -4,4"/>
<text xml:space="preserve" text-anchor="middle" x="421" y="-271.2" font-family="Times,serif" font-size="14.00">shape step 4 before: merge S,X</text>
<!-- nt_S -->
<g id="node1" class="node">
<title>nt_S</title>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-190" rx="18" ry="18"/>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-190" rx="22" ry="22"/>
<text xml:space="preserve" text-anchor="middle" x="22" y="-186.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S</text>
</g>
<!-- pr_1 -->
<g id="node12" class="node">
<title>pr_1</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="160.75,-208 99.75,-208 99.75,-172 160.75,-172 160.75,-208"/>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-192.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_a X</text>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-180.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.205</text>
</g>
<!-- nt_S&#45;&gt;pr_1 -->
<g id="edge4" class="edge">
<title>nt_S&#45;&gt;pr_1</title>
<path fill="none" stroke="black" d="M45.02,-190C57.29,-190 72.99,-190 87.51,-190"/>
<polygon fill="black" stroke="black" points="87.29,-193.5 97.29,-190 87.29,-186.5 87.29,-193.5"/>
</g>
<!-- pr_6 -->
<g id="node17" class="node">
<title>pr_6</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="157.25,-264 103.25,-264 103.25,-228 157.25,-228 157.25,-264"/>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-248.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">X</text>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-236.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.718</text>
</g>
<!-- nt_S&#45;&gt;pr_6 -->
<g id="edge17" class="edge">
<title>nt_S&#45;&gt;pr_6</title>
<path fill="none" stroke="black" d="M42.49,-200.27C56.38,-207.59 75.48,-217.66 92.23,-226.49"/>
<polygon fill="black" stroke="black" points="90.47,-229.52 100.95,-231.08 93.73,-223.32 90.47,-229.52"/>
</g>
<!-- pr_8 -->
<g id="node19" class="node">
<title>pr_8</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="179.5,-95 81,-95 81,-59 179.5,-59 179.5,-95"/>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-79.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_a T_b T_a X</text>
<text xml:space="preserve" text-anchor="middle" x="130.25" y="-67.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.077</text>
</g>
<!-- nt_S&#45;&gt;pr_8 -->
<g id="edge21" class="edge">
<title>nt_S&#45;&gt;pr_8</title>
<path fill="none" stroke="black" d="M38.22,-173.81C55.24,-155.71 83.1,-126.09 103.51,-104.37"/>
<polygon fill="black" stroke="black" points="105.87,-106.97 110.17,-97.29 100.77,-102.18 105.87,-106.97"/>
</g>
<!-- nt_T_a -->
<g id="node2" class="node">
<title>nt_T_a</title>
<ellipse fill="none" stroke="black" cx="438.25" cy="-102" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="438.25" y="-98.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_a</text>
</g>
<!-- pr_3 -->
<g id="node14" class="node">
<title>pr_3</title>
<polygon fill="none" stroke="black" points="560.5,-142 506.5,-142 506.5,-106 560.5,-106 560.5,-142"/>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-126.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_c T_a</text>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.917</text>
</g>
<!-- nt_T_a&#45;&gt;pr_3 -->
<g id="edge10" class="edge">
<title>nt_T_a&#45;&gt;pr_3</title>
<path fill="none" stroke="black" d="M464.24,-107.9C473.75,-110.14 484.8,-112.75 495.2,-115.2"/>
<polygon fill="black" stroke="black" points="494.13,-118.54 504.66,-117.43 495.73,-111.73 494.13,-118.54"/>
</g>
<!-- pr_7 -->
<g id="node18" class="node">
<title>pr_7</title>
<polygon fill="none" stroke="black" points="560.5,-88 506.5,-88 506.5,-52 560.5,-52 560.5,-88"/>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-72.5" font-family="Helvetica,sans-Serif" font-size="10.00">a</text>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-60.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.083</text>
</g>
<!-- nt_T_a&#45;&gt;pr_7 -->
<g id="edge19" class="edge">
<title>nt_T_a&#45;&gt;pr_7</title>
<path fill="none" stroke="black" d="M462.78,-93.93C472.65,-90.54 484.38,-86.51 495.36,-82.74"/>
<polygon fill="black" stroke="black" points="496.26,-86.14 504.58,-79.58 493.99,-79.52 496.26,-86.14"/>
</g>
<!-- nt_T_b -->
<g id="node3" class="node">
<title>nt_T_b</title>
<ellipse fill="none" stroke="black" cx="247.75" cy="-18" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="247.75" y="-14.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_b</text>
</g>
<!-- pr_2 -->
<g id="node13" class="node">
<title>pr_2</title>
<polygon fill="none" stroke="black" points="370,-36 316,-36 316,0 370,0 370,-36"/>
<text xml:space="preserve" text-anchor="middle" x="343" y="-20.5" font-family="Helvetica,sans-Serif" font-size="10.00">b</text>
<text xml:space="preserve" text-anchor="middle" x="343" y="-8.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T_b&#45;&gt;pr_2 -->
<g id="edge8" class="edge">
<title>nt_T_b&#45;&gt;pr_2</title>
<path fill="none" stroke="black" d="M275.22,-18C284.26,-18 294.54,-18 304.29,-18"/>
<polygon fill="black" stroke="black" points="304.27,-21.5 314.27,-18 304.27,-14.5 304.27,-21.5"/>
</g>
<!-- nt_T_c -->
<g id="node4" class="node">
<title>nt_T_c</title>
<ellipse fill="none" stroke="black" cx="628.75" cy="-124" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="628.75" y="-120.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_c</text>
</g>
<!-- pr_4 -->
<g id="node15" class="node">
<title>pr_4</title>
<polygon fill="none" stroke="black" points="746.75,-142 692.75,-142 692.75,-106 746.75,-106 746.75,-142"/>
<text xml:space="preserve" text-anchor="middle" x="719.75" y="-126.5" font-family="Helvetica,sans-Serif" font-size="10.00">c</text>
<text xml:space="preserve" text-anchor="middle" x="719.75" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T_c&#45;&gt;pr_4 -->
<g id="edge13" class="edge">
<title>nt_T_c&#45;&gt;pr_4</title>
<path fill="none" stroke="black" d="M655.97,-124C663.87,-124 672.69,-124 681.18,-124"/>
<polygon fill="black" stroke="black" points="680.89,-127.5 690.89,-124 680.89,-120.5 680.89,-127.5"/>
</g>
<!-- nt_T_d -->
<g id="node5" class="node">
<title>nt_T_d</title>
<ellipse fill="none" stroke="black" cx="438.25" cy="-177" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="438.25" y="-173.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_d</text>
</g>
<!-- pr_5 -->
<g id="node16" class="node">
<title>pr_5</title>
<polygon fill="none" stroke="black" points="560.5,-196 506.5,-196 506.5,-160 560.5,-160 560.5,-196"/>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-180.5" font-family="Helvetica,sans-Serif" font-size="10.00">d</text>
<text xml:space="preserve" text-anchor="middle" x="533.5" y="-168.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T_d&#45;&gt;pr_5 -->
<g id="edge15" class="edge">
<title>nt_T_d&#45;&gt;pr_5</title>
<path fill="none" stroke="black" d="M465.72,-177.28C474.76,-177.38 485.04,-177.49 494.79,-177.6"/>
<polygon fill="black" stroke="black" points="494.73,-181.1 504.77,-177.7 494.81,-174.1 494.73,-181.1"/>
</g>
<!-- nt_X -->
<g id="node6" class="node">
<title>nt_X</title>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="247.75" cy="-170" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="247.75" y="-166.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">X</text>
</g>
<!-- pr_0 -->
<g id="node11" class="node">
<title>pr_0</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="370,-188 316,-188 316,-152 370,-152 370,-188"/>
<text xml:space="preserve" text-anchor="middle" x="343" y="-172.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_d T_a</text>
<text xml:space="preserve" text-anchor="middle" x="343" y="-160.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=1.000</text>
</g>
<!-- nt_X&#45;&gt;pr_0 -->
<g id="edge1" class="edge">
<title>nt_X&#45;&gt;pr_0</title>
<path fill="none" stroke="black" d="M275.72,-170C284.34,-170 294.07,-170 303.35,-170"/>
<polygon fill="black" stroke="black" points="303.25,-173.5 313.25,-170 303.25,-166.5 303.25,-173.5"/>
</g>
<!-- tm_a -->
<g id="node7" class="node">
<title>tm_a</title>
<text xml:space="preserve" text-anchor="middle" x="628.75" y="-66.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">a</text>
</g>
<!-- tm_b -->
<g id="node8" class="node">
<title>tm_b</title>
<text xml:space="preserve" text-anchor="middle" x="438.25" y="-14.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">b</text>
</g>
<!-- tm_c -->
<g id="node9" class="node">
<title>tm_c</title>
<text xml:space="preserve" text-anchor="middle" x="815" y="-120.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">c</text>
</g>
<!-- tm_d -->
<g id="node10" class="node">
<title>tm_d</title>
<text xml:space="preserve" text-anchor="middle" x="628.75" y="-174.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">d</text>
</g>
<!-- pr_0&#45;&gt;nt_T_a -->
<g id="edge3" class="edge">
<title>pr_0&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M369.98,-151.06C382.43,-141.98 397.35,-131.1 409.97,-121.9"/>
<polygon fill="black" stroke="black" points="411.85,-124.86 417.87,-116.14 407.72,-119.2 411.85,-124.86"/>
<text xml:space="preserve" text-anchor="middle" x="390.62" y="-137.95" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_0&#45;&gt;nt_T_d -->
<g id="edge2" class="edge">
<title>pr_0&#45;&gt;nt_T_d</title>
<path fill="none" stroke="black" d="M370.97,-172.02C379.92,-172.7 390.05,-173.46 399.65,-174.18"/>
<polygon fill="black" stroke="black" points="399.24,-177.66 409.47,-174.91 399.76,-170.68 399.24,-177.66"/>
<text xml:space="preserve" text-anchor="middle" x="390.62" y="-175.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_1&#45;&gt;nt_T_a -->
<g id="edge6" class="edge">
<title>pr_1&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M161.72,-195C207.42,-201.58 296.22,-210.78 370,-197 380.89,-194.97 385.13,-195.54 393.25,-188 406.94,-175.28 402.8,-166.67 411.25,-150 414.82,-142.96 418.82,-135.42 422.59,-128.45"/>
<polygon fill="black" stroke="black" points="425.43,-130.55 427.16,-120.09 419.29,-127.19 425.43,-130.55"/>
<text xml:space="preserve" text-anchor="middle" x="295.38" y="-205.99" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_1&#45;&gt;nt_T_b -->
<g id="edge5" class="edge">
<title>pr_1&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M161.93,-171.54C175.94,-161.83 191.82,-148.86 202.75,-134 222.15,-107.64 234.02,-71.71 240.47,-46.85"/>
<polygon fill="black" stroke="black" points="243.79,-47.97 242.77,-37.43 236.99,-46.31 243.79,-47.97"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-141.7" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_1&#45;&gt;nt_X -->
<g id="edge7" class="edge">
<title>pr_1&#45;&gt;nt_X</title>
<path fill="none" stroke="black" d="M161.9,-184.69C176.49,-182.17 194.07,-179.12 209.43,-176.46"/>
<polygon fill="black" stroke="black" points="209.91,-179.93 219.17,-174.78 208.72,-173.03 209.91,-179.93"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-180.16" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_2&#45;&gt;tm_b -->
<g id="edge9" class="edge">
<title>pr_2&#45;&gt;tm_b</title>
<path fill="none" stroke="black" d="M370.47,-18C379.68,-18 390.19,-18 400.11,-18"/>
<polygon fill="black" stroke="black" points="399.84,-21.5 409.84,-18 399.84,-14.5 399.84,-21.5"/>
<text xml:space="preserve" text-anchor="middle" x="390.62" y="-19.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_3&#45;&gt;nt_T_a -->
<g id="edge12" class="edge">
<title>pr_3&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M506.14,-117.78C496.59,-115.53 485.63,-112.94 475.39,-110.53"/>
<polygon fill="black" stroke="black" points="476.25,-107.13 465.71,-108.24 474.64,-113.95 476.25,-107.13"/>
<text xml:space="preserve" text-anchor="middle" x="485.88" y="-114.95" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_3&#45;&gt;nt_T_c -->
<g id="edge11" class="edge">
<title>pr_3&#45;&gt;nt_T_c</title>
<path fill="none" stroke="black" d="M560.97,-124C570.01,-124 580.29,-124 590.04,-124"/>
<polygon fill="black" stroke="black" points="590.02,-127.5 600.02,-124 590.02,-120.5 590.02,-127.5"/>
<text xml:space="preserve" text-anchor="middle" x="581.12" y="-125.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_4&#45;&gt;tm_c -->
<g id="edge14" class="edge">
<title>pr_4&#45;&gt;tm_c</title>
<path fill="none" stroke="black" d="M747.22,-124C756.43,-124 766.94,-124 776.86,-124"/>
<polygon fill="black" stroke="black" points="776.59,-127.5 786.59,-124 776.59,-120.5 776.59,-127.5"/>
<text xml:space="preserve" text-anchor="middle" x="767.38" y="-125.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_5&#45;&gt;tm_d -->
<g id="edge16" class="edge">
<title>pr_5&#45;&gt;tm_d</title>
<path fill="none" stroke="black" d="M560.97,-178C570.18,-178 580.69,-178 590.61,-178"/>
<polygon fill="black" stroke="black" points="590.34,-181.5 600.34,-178 590.34,-174.5 590.34,-181.5"/>
<text xml:space="preserve" text-anchor="middle" x="581.12" y="-179.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_6&#45;&gt;nt_X -->
<g id="edge18" class="edge">
<title>pr_6&#45;&gt;nt_X</title>
<path fill="none" stroke="black" d="M158.25,-230.22C165.23,-226.02 172.7,-221.42 179.5,-217 192.7,-208.43 207.03,-198.51 219.06,-189.99"/>
<polygon fill="black" stroke="black" points="220.8,-193.05 226.91,-184.4 216.74,-187.35 220.8,-193.05"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-206.44" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_7&#45;&gt;tm_a -->
<g id="edge20" class="edge">
<title>pr_7&#45;&gt;tm_a</title>
<path fill="none" stroke="black" d="M560.97,-70C570.18,-70 580.69,-70 590.61,-70"/>
<polygon fill="black" stroke="black" points="590.34,-73.5 600.34,-70 590.34,-66.5 590.34,-73.5"/>
<text xml:space="preserve" text-anchor="middle" x="581.12" y="-71.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_8&#45;&gt;nt_T_a -->
<g id="edge23" class="edge">
<title>pr_8&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M180.59,-71.15C213.83,-68.1 258.63,-65.71 298,-69.5 340.93,-73.63 351.47,-77.33 393.25,-88 396.38,-88.8 399.62,-89.69 402.85,-90.63"/>
<polygon fill="black" stroke="black" points="401.61,-93.92 412.2,-93.49 403.66,-87.22 401.61,-93.92"/>
<text xml:space="preserve" text-anchor="middle" x="295.38" y="-71.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_8&#45;&gt;nt_T_a -->
<g id="edge25" class="edge">
<title>pr_8&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M180.41,-81.02C241.64,-86.02 344.87,-94.45 399.97,-98.95"/>
<polygon fill="black" stroke="black" points="399.52,-102.43 409.77,-99.76 400.09,-95.45 399.52,-102.43"/>
<text xml:space="preserve" text-anchor="middle" x="295.38" y="-92.31" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_8&#45;&gt;nt_T_b -->
<g id="edge22" class="edge">
<title>pr_8&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M142.39,-57.96C153.75,-40.62 173.15,-16.13 197.5,-5.5 203.02,-3.09 209.09,-2.85 215.04,-3.8"/>
<polygon fill="black" stroke="black" points="214.1,-7.17 224.67,-6.43 215.94,-0.42 214.1,-7.17"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-7.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_8&#45;&gt;nt_T_b -->
<g id="edge24" class="edge">
<title>pr_8&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M163.57,-57.82C174.25,-51.72 186.27,-45.11 197.5,-39.5 202.79,-36.86 208.48,-34.21 214.04,-31.71"/>
<polygon fill="black" stroke="black" points="215.32,-34.97 223.07,-27.76 212.51,-28.56 215.32,-34.97"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-41.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_8&#45;&gt;nt_X -->
<g id="edge26" class="edge">
<title>pr_8&#45;&gt;nt_X</title>
<path fill="none" stroke="black" d="M164.07,-96.06C176.63,-103.93 190.81,-113.55 202.75,-123.5 210.73,-130.15 218.74,-138.14 225.71,-145.61"/>
<polygon fill="black" stroke="black" points="223.01,-147.84 232.32,-152.9 228.19,-143.14 223.01,-147.84"/>
<text xml:space="preserve" text-anchor="middle" x="200.12" y="-125.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
</g>
</svg>