291 lines
16 KiB
XML
291 lines
16 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="341pt"
|
|
viewBox="0.00 0.00 431.00 341.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 336.5)">
|
|
<title>grammar</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-336.5 427.25,-336.5 427.25,4 -4,4"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="211.62" y="-315.2" font-family="Times,serif" font-size="14.00">expr step 2 before: merge T_*,T_+</text>
|
|
<!-- nt_S -->
|
|
<g id="node1" class="node">
|
|
<title>nt_S</title>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-175" rx="18" ry="18"/>
|
|
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-175" rx="22" ry="22"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="22" y="-171.5" font-family="Helvetica,sans-Serif" font-size="10.00">S</text>
|
|
</g>
|
|
<!-- pr_3 -->
|
|
<g id="node10" class="node">
|
|
<title>pr_3</title>
|
|
<polygon fill="none" stroke="black" points="141.75,-146 85.25,-146 85.25,-110 141.75,-110 141.75,-146"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-130.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="-118.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.053</text>
|
|
</g>
|
|
<!-- nt_S->pr_3 -->
|
|
<g id="edge7" class="edge">
|
|
<title>nt_S->pr_3</title>
|
|
<path fill="none" stroke="black" d="M41.98,-165.03C51.57,-160 63.55,-153.71 74.89,-147.75"/>
|
|
<polygon fill="black" stroke="black" points="76.49,-150.86 83.71,-143.12 73.23,-144.67 76.49,-150.86"/>
|
|
</g>
|
|
<!-- pr_4 -->
|
|
<g id="node11" class="node">
|
|
<title>pr_4</title>
|
|
<polygon fill="none" stroke="black" points="140.5,-90 86.5,-90 86.5,-54 140.5,-54 140.5,-90"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_b</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-62.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.789</text>
|
|
</g>
|
|
<!-- nt_S->pr_4 -->
|
|
<g id="edge11" class="edge">
|
|
<title>nt_S->pr_4</title>
|
|
<path fill="none" stroke="black" d="M36.59,-158.32C49.03,-143.17 68.07,-120.32 85.25,-101 85.93,-100.23 86.63,-99.46 87.33,-98.67"/>
|
|
<polygon fill="black" stroke="black" points="89.84,-101.12 94.02,-91.38 84.68,-96.38 89.84,-101.12"/>
|
|
</g>
|
|
<!-- pr_5 -->
|
|
<g id="node12" class="node">
|
|
<title>pr_5</title>
|
|
<polygon fill="none" stroke="black" points="140.5,-286 86.5,-286 86.5,-250 140.5,-250 140.5,-286"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-270.5" font-family="Helvetica,sans-Serif" font-size="10.00">S T_+ S</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-258.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.053</text>
|
|
</g>
|
|
<!-- nt_S->pr_5 -->
|
|
<g id="edge13" class="edge">
|
|
<title>nt_S->pr_5</title>
|
|
<path fill="none" stroke="black" d="M25.57,-197.14C29.41,-219 38.87,-251.35 62,-267 65.81,-269.58 70.19,-271.14 74.73,-272"/>
|
|
<polygon fill="black" stroke="black" points="74.41,-275.49 84.64,-272.73 74.93,-268.5 74.41,-275.49"/>
|
|
</g>
|
|
<!-- pr_7 -->
|
|
<g id="node14" class="node">
|
|
<title>pr_7</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.053</text>
|
|
</g>
|
|
<!-- nt_S->pr_7 -->
|
|
<g id="edge19" class="edge">
|
|
<title>nt_S->pr_7</title>
|
|
<path fill="none" stroke="black" d="M30.3,-154.45C39.62,-129.66 57.29,-87.03 85.65,-45.76"/>
|
|
<polygon fill="black" stroke="black" points="88.46,-47.84 91.39,-37.66 82.75,-43.8 88.46,-47.84"/>
|
|
</g>
|
|
<!-- pr_9 -->
|
|
<g id="node16" class="node">
|
|
<title>pr_9</title>
|
|
<polygon fill="none" stroke="black" points="140.5,-208 86.5,-208 86.5,-172 140.5,-172 140.5,-208"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-192.5" font-family="Helvetica,sans-Serif" font-size="10.00">S T_* S</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-180.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.053</text>
|
|
</g>
|
|
<!-- nt_S->pr_9 -->
|
|
<g id="edge23" class="edge">
|
|
<title>nt_S->pr_9</title>
|
|
<path fill="none" stroke="black" d="M44.21,-178.55C53.47,-180.11 64.62,-181.97 75.19,-183.75"/>
|
|
<polygon fill="black" stroke="black" points="74.39,-187.16 84.83,-185.36 75.55,-180.26 74.39,-187.16"/>
|
|
</g>
|
|
<!-- nt_T__ -->
|
|
<g id="node2" class="node">
|
|
<title>nt_T__</title>
|
|
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="210" cy="-184" rx="27" ry="18"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="210" y="-180.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_+</text>
|
|
</g>
|
|
<!-- pr_0 -->
|
|
<g id="node7" class="node">
|
|
<title>pr_0</title>
|
|
<polygon fill="none" stroke="red" stroke-width="2.5" points="328,-200 274,-200 274,-164 328,-164 328,-200"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-184.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">*</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-172.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_0 -->
|
|
<g id="edge1" class="edge">
|
|
<title>nt_T__->pr_0</title>
|
|
<path fill="none" stroke="black" d="M238.19,-183.39C245.61,-183.22 253.78,-183.04 261.7,-182.86"/>
|
|
<polygon fill="black" stroke="black" points="261.55,-186.37 271.47,-182.64 261.39,-179.37 261.55,-186.37"/>
|
|
</g>
|
|
<!-- pr_1 -->
|
|
<g id="node8" class="node">
|
|
<title>pr_1</title>
|
|
<polygon fill="none" stroke="black" points="328,-146 274,-146 274,-110 328,-110 328,-146"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-130.5" font-family="Helvetica,sans-Serif" font-size="10.00">)</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-118.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_1 -->
|
|
<g id="edge3" class="edge">
|
|
<title>nt_T__->pr_1</title>
|
|
<path fill="none" stroke="black" d="M231.2,-171.29C240.95,-165.15 252.96,-157.6 264.2,-150.53"/>
|
|
<polygon fill="black" stroke="black" points="265.92,-153.58 272.52,-145.29 262.19,-147.66 265.92,-153.58"/>
|
|
</g>
|
|
<!-- pr_6 -->
|
|
<g id="node13" class="node">
|
|
<title>pr_6</title>
|
|
<polygon fill="none" stroke="black" points="328,-308 274,-308 274,-272 328,-272 328,-308"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-292.5" font-family="Helvetica,sans-Serif" font-size="10.00">(</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-280.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_6 -->
|
|
<g id="edge17" class="edge">
|
|
<title>nt_T__->pr_6</title>
|
|
<path fill="none" stroke="black" d="M223.59,-200.71C236.01,-216.95 255.73,-242.16 274,-263 274.08,-263.09 274.16,-263.18 274.23,-263.27"/>
|
|
<polygon fill="black" stroke="black" points="271.52,-265.48 280.84,-270.51 276.69,-260.76 271.52,-265.48"/>
|
|
</g>
|
|
<!-- pr_8 -->
|
|
<g id="node15" class="node">
|
|
<title>pr_8</title>
|
|
<polygon fill="none" stroke="red" stroke-width="2.5" points="328,-254 274,-254 274,-218 328,-218 328,-254"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-238.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">+</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-226.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T__->pr_8 -->
|
|
<g id="edge21" class="edge">
|
|
<title>nt_T__->pr_8</title>
|
|
<path fill="none" stroke="black" d="M231.64,-196.06C241.08,-201.57 252.55,-208.27 263.37,-214.6"/>
|
|
<polygon fill="black" stroke="black" points="261.35,-217.47 271.75,-219.49 264.88,-211.43 261.35,-217.47"/>
|
|
</g>
|
|
<!-- nt_T_b -->
|
|
<g id="node3" class="node">
|
|
<title>nt_T_b</title>
|
|
<ellipse fill="none" stroke="black" cx="210" cy="-72" rx="27" ry="18"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="210" y="-68.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_b</text>
|
|
</g>
|
|
<!-- pr_2 -->
|
|
<g id="node9" class="node">
|
|
<title>pr_2</title>
|
|
<polygon fill="none" stroke="black" points="328,-90 274,-90 274,-54 328,-54 328,-90"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">b</text>
|
|
<text xml:space="preserve" text-anchor="middle" x="301" y="-62.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
|
|
</g>
|
|
<!-- nt_T_b->pr_2 -->
|
|
<g id="edge5" class="edge">
|
|
<title>nt_T_b->pr_2</title>
|
|
<path fill="none" stroke="black" d="M237.22,-72C245.12,-72 253.94,-72 262.43,-72"/>
|
|
<polygon fill="black" stroke="black" points="262.14,-75.5 272.14,-72 262.14,-68.5 262.14,-75.5"/>
|
|
</g>
|
|
<!-- tm__ -->
|
|
<g id="node4" class="node">
|
|
<title>tm__</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="396.25" y="-205.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">+</text>
|
|
</g>
|
|
<!-- tm_a -->
|
|
<g id="node5" 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>
|
|
<!-- tm_b -->
|
|
<g id="node6" class="node">
|
|
<title>tm_b</title>
|
|
<text xml:space="preserve" text-anchor="middle" x="396.25" y="-68.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">b</text>
|
|
</g>
|
|
<!-- pr_0->tm__ -->
|
|
<g id="edge2" class="edge">
|
|
<title>pr_0->tm__</title>
|
|
<path fill="none" stroke="black" d="M328.97,-189.81C338.19,-192.48 348.67,-195.51 358.53,-198.37"/>
|
|
<polygon fill="black" stroke="black" points="357.27,-201.65 367.85,-201.07 359.22,-194.92 357.27,-201.65"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-197.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_1->tm__ -->
|
|
<g id="edge4" class="edge">
|
|
<title>pr_1->tm__</title>
|
|
<path fill="none" stroke="black" d="M323.16,-146.38C335.98,-157.51 352.49,-171.86 366.49,-184.01"/>
|
|
<polygon fill="black" stroke="black" points="363.83,-186.34 373.67,-190.26 368.42,-181.06 363.83,-186.34"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-170.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_2->tm_b -->
|
|
<g id="edge6" class="edge">
|
|
<title>pr_2->tm_b</title>
|
|
<path fill="none" stroke="black" d="M328.47,-72C337.68,-72 348.19,-72 358.11,-72"/>
|
|
<polygon fill="black" stroke="black" points="357.84,-75.5 367.84,-72 357.84,-68.5 357.84,-75.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-73.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_3->nt_S -->
|
|
<g id="edge9" class="edge">
|
|
<title>pr_3->nt_S</title>
|
|
<path fill="none" stroke="black" d="M84.84,-130.94C77.15,-132.5 68.99,-134.87 62,-138.5 55.99,-141.62 50.23,-145.93 45.08,-150.5"/>
|
|
<polygon fill="black" stroke="black" points="42.88,-147.75 38.11,-157.21 47.74,-152.79 42.88,-147.75"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-140.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_3->nt_T__ -->
|
|
<g id="edge8" class="edge">
|
|
<title>pr_3->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M142.09,-144.35C153.55,-151.14 166.89,-159.04 178.63,-166"/>
|
|
<polygon fill="black" stroke="black" points="176.75,-168.96 187.14,-171.05 180.32,-162.94 176.75,-168.96"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-159.63" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_3->nt_T__ -->
|
|
<g id="edge10" class="edge">
|
|
<title>pr_3->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M142.22,-132.73C149.91,-134.75 158.05,-137.57 165,-141.5 173.32,-146.2 181.23,-152.85 187.99,-159.5"/>
|
|
<polygon fill="black" stroke="black" points="185.39,-161.85 194.83,-166.67 190.46,-157.02 185.39,-161.85"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-143.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
|
|
</g>
|
|
<!-- pr_4->nt_T_b -->
|
|
<g id="edge12" class="edge">
|
|
<title>pr_4->nt_T_b</title>
|
|
<path fill="none" stroke="black" d="M140.82,-72C150.35,-72 161.29,-72 171.58,-72"/>
|
|
<polygon fill="black" stroke="black" points="171.3,-75.5 181.3,-72 171.3,-68.5 171.3,-75.5"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-73.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_5->nt_S -->
|
|
<g id="edge14" class="edge">
|
|
<title>pr_5->nt_S</title>
|
|
<path fill="none" stroke="black" d="M94.93,-249.74C80.86,-235.12 61.02,-214.5 45.73,-198.62"/>
|
|
<polygon fill="black" stroke="black" points="48.28,-196.23 38.83,-191.45 43.24,-201.08 48.28,-196.23"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-220.66" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_5->nt_S -->
|
|
<g id="edge16" class="edge">
|
|
<title>pr_5->nt_S</title>
|
|
<path fill="none" stroke="black" d="M86.1,-283.53C77.86,-286.31 69.08,-286.96 62,-282 38.37,-265.46 29,-233.02 25.32,-208.18"/>
|
|
<polygon fill="black" stroke="black" points="28.83,-208.04 24.15,-198.54 21.88,-208.89 28.83,-208.04"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-286.41" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
|
|
</g>
|
|
<!-- pr_5->nt_T__ -->
|
|
<g id="edge15" class="edge">
|
|
<title>pr_5->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M135.01,-249.77C149.34,-237.03 168.58,-219.93 183.85,-206.36"/>
|
|
<polygon fill="black" stroke="black" points="186.03,-209.1 191.18,-199.84 181.38,-203.87 186.03,-209.1"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-227.95" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
<!-- pr_6->tm__ -->
|
|
<g id="edge18" class="edge">
|
|
<title>pr_6->tm__</title>
|
|
<path fill="none" stroke="black" d="M323.16,-271.62C335.98,-260.49 352.49,-246.14 366.49,-233.99"/>
|
|
<polygon fill="black" stroke="black" points="368.42,-236.94 373.67,-227.74 363.83,-231.66 368.42,-236.94"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-251.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_7->tm_a -->
|
|
<g id="edge20" class="edge">
|
|
<title>pr_7->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>
|
|
<!-- pr_8->tm__ -->
|
|
<g id="edge22" class="edge">
|
|
<title>pr_8->tm__</title>
|
|
<path fill="none" stroke="black" d="M328.97,-228.19C338.19,-225.52 348.67,-222.49 358.53,-219.63"/>
|
|
<polygon fill="black" stroke="black" points="359.22,-223.08 367.85,-216.93 357.27,-216.35 359.22,-223.08"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-224.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_9->nt_S -->
|
|
<g id="edge24" class="edge">
|
|
<title>pr_9->nt_S</title>
|
|
<path fill="none" stroke="black" d="M86.47,-174.53C80.37,-171.63 73.74,-169.02 67.25,-167.5 63.14,-166.53 58.79,-166.31 54.48,-166.57"/>
|
|
<polygon fill="black" stroke="black" points="54.28,-163.06 44.87,-167.94 55.27,-169.99 54.28,-163.06"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-169.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
|
|
</g>
|
|
<!-- pr_9->nt_S -->
|
|
<g id="edge26" class="edge">
|
|
<title>pr_9->nt_S</title>
|
|
<path fill="none" stroke="black" d="M86.06,-196.75C78.23,-197.78 69.71,-197.94 62,-196 58.35,-195.08 54.66,-193.74 51.09,-192.18"/>
|
|
<polygon fill="black" stroke="black" points="52.73,-189.09 42.23,-187.7 49.58,-195.33 52.73,-189.09"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-198.77" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
|
|
</g>
|
|
<!-- pr_9->nt_T__ -->
|
|
<g id="edge25" class="edge">
|
|
<title>pr_9->nt_T__</title>
|
|
<path fill="none" stroke="black" d="M140.82,-188.33C150.09,-187.74 160.7,-187.07 170.74,-186.43"/>
|
|
<polygon fill="black" stroke="black" points="170.89,-189.93 180.65,-185.8 170.45,-182.94 170.89,-189.93"/>
|
|
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-188.95" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
