sneeker/scfg-induction
1
16 Fork 3
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

initial

Browse Source
This commit is contained in:
sneeker committed 2026-09-18 16:27:30 +00:00
commit 100e5a8239
96 files changed
+39927
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

experiments/steps/expr-step003-after.svg
+230
View File
@@ -0,0 +1,230 @@
<?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="246pt"
viewBox="0.00 0.00 431.00 246.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 241.5)">
<title>grammar</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-241.5 427.25,-241.5 427.25,4 -4,4"/>
<text xml:space="preserve" text-anchor="middle" x="211.62" y="-220.2" font-family="Times,serif" font-size="14.00">expr step 3 after: merge S,T_b</text>
<!-- nt_S -->
<g id="node1" class="node">
<title>nt_S</title>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-110" rx="18" ry="18"/>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-110" rx="22" ry="22"/>
<text xml:space="preserve" text-anchor="middle" x="22" y="-106.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S</text>
</g>
<!-- pr_1 -->
<g id="node7" class="node">
<title>pr_1</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="140.5,-213 86.5,-213 86.5,-177 140.5,-177 140.5,-213"/>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">b</text>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-185.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.200</text>
</g>
<!-- nt_S&#45;&gt;pr_1 -->
<g id="edge3" class="edge">
<title>nt_S&#45;&gt;pr_1</title>
<path fill="none" stroke="black" d="M37.29,-126.84C44.46,-134.99 53.41,-144.77 62,-153 67.48,-158.25 73.52,-163.6 79.46,-168.66"/>
<polygon fill="black" stroke="black" points="76.93,-171.11 86.85,-174.83 81.42,-165.73 76.93,-171.11"/>
</g>
<!-- pr_3 -->
<g id="node9" class="node">
<title>pr_3</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="141.75,-157 85.25,-157 85.25,-121 141.75,-121 141.75,-157"/>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-141.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="-129.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.200</text>
</g>
<!-- nt_S&#45;&gt;pr_3 -->
<g id="edge7" class="edge">
<title>nt_S&#45;&gt;pr_3</title>
<path fill="none" stroke="black" d="M44.21,-116.87C53.02,-119.73 63.52,-123.13 73.63,-126.4"/>
<polygon fill="black" stroke="black" points="72.3,-129.65 82.89,-129.4 74.45,-122.99 72.3,-129.65"/>
</g>
<!-- pr_6 -->
<g id="node12" class="node">
<title>pr_6</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.200</text>
</g>
<!-- nt_S&#45;&gt;pr_6 -->
<g id="edge15" class="edge">
<title>nt_S&#45;&gt;pr_6</title>
<path fill="none" stroke="black" d="M38.59,-93.97C51.73,-80.47 70.8,-60.87 86.28,-44.95"/>
<polygon fill="black" stroke="black" points="88.48,-47.71 92.94,-38.11 83.46,-42.83 88.48,-47.71"/>
</g>
<!-- pr_7 -->
<g id="node13" class="node">
<title>pr_7</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="140.5,-95 86.5,-95 86.5,-59 140.5,-59 140.5,-95"/>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-79.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S T_* S</text>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-67.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.400</text>
</g>
<!-- nt_S&#45;&gt;pr_7 -->
<g id="edge17" class="edge">
<title>nt_S&#45;&gt;pr_7</title>
<path fill="none" stroke="black" d="M42.53,-99.62C48.66,-96.6 55.52,-93.45 62,-91 66.09,-89.45 70.43,-87.99 74.78,-86.64"/>
<polygon fill="black" stroke="black" points="75.4,-90.1 84.02,-83.94 73.44,-83.38 75.4,-90.1"/>
</g>
<!-- nt_T__ -->
<g id="node2" class="node">
<title>nt_T__</title>
<ellipse fill="none" stroke="black" cx="210" cy="-111" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="210" y="-107.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_*</text>
</g>
<!-- pr_0 -->
<g id="node6" class="node">
<title>pr_0</title>
<polygon fill="none" stroke="black" points="328,-210 274,-210 274,-174 328,-174 328,-210"/>
<text xml:space="preserve" text-anchor="middle" x="301" y="-194.5" font-family="Helvetica,sans-Serif" font-size="10.00">*</text>
<text xml:space="preserve" text-anchor="middle" x="301" y="-182.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.500</text>
</g>
<!-- nt_T__&#45;&gt;pr_0 -->
<g id="edge1" class="edge">
<title>nt_T__&#45;&gt;pr_0</title>
<path fill="none" stroke="black" d="M226.91,-125.48C239.28,-136.74 256.77,-152.65 271.53,-166.09"/>
<polygon fill="black" stroke="black" points="268.98,-168.5 278.73,-172.65 273.69,-163.33 268.98,-168.5"/>
</g>
<!-- pr_2 -->
<g id="node8" class="node">
<title>pr_2</title>
<polygon fill="none" stroke="black" points="328,-156 274,-156 274,-120 328,-120 328,-156"/>
<text xml:space="preserve" text-anchor="middle" x="301" y="-140.5" font-family="Helvetica,sans-Serif" font-size="10.00">)</text>
<text xml:space="preserve" text-anchor="middle" x="301" y="-128.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_2 -->
<g id="edge5" class="edge">
<title>nt_T__&#45;&gt;pr_2</title>
<path fill="none" stroke="black" d="M234.85,-118.24C243.44,-120.84 253.34,-123.84 262.79,-126.71"/>
<polygon fill="black" stroke="black" points="261.54,-129.99 272.13,-129.54 263.57,-123.29 261.54,-129.99"/>
</g>
<!-- pr_4 -->
<g id="node10" class="node">
<title>pr_4</title>
<polygon fill="none" stroke="black" points="328,-102 274,-102 274,-66 328,-66 328,-102"/>
<text xml:space="preserve" text-anchor="middle" x="301" y="-86.5" font-family="Helvetica,sans-Serif" font-size="10.00">+</text>
<text xml:space="preserve" text-anchor="middle" x="301" y="-74.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=0.500</text>
</g>
<!-- nt_T__&#45;&gt;pr_4 -->
<g id="edge11" class="edge">
<title>nt_T__&#45;&gt;pr_4</title>
<path fill="none" stroke="black" d="M234.85,-103.76C243.44,-101.16 253.34,-98.16 262.79,-95.29"/>
<polygon fill="black" stroke="black" points="263.57,-98.71 272.13,-92.46 261.54,-92.01 263.57,-98.71"/>
</g>
<!-- pr_5 -->
<g id="node11" class="node">
<title>pr_5</title>
<polygon fill="none" stroke="black" points="328,-48 274,-48 274,-12 328,-12 328,-48"/>
<text xml:space="preserve" text-anchor="middle" x="301" y="-32.5" font-family="Helvetica,sans-Serif" font-size="10.00">(</text>
<text xml:space="preserve" text-anchor="middle" x="301" y="-20.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_5 -->
<g id="edge13" class="edge">
<title>nt_T__&#45;&gt;pr_5</title>
<path fill="none" stroke="black" d="M226.91,-96.52C239.28,-85.26 256.77,-69.35 271.53,-55.91"/>
<polygon fill="black" stroke="black" points="273.69,-58.67 278.73,-49.35 268.98,-53.5 273.69,-58.67"/>
</g>
<!-- tm__ -->
<g id="node3" class="node">
<title>tm__</title>
<text xml:space="preserve" text-anchor="middle" x="396.25" y="-102.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>
<!-- tm_b -->
<g id="node5" class="node">
<title>tm_b</title>
<text xml:space="preserve" text-anchor="middle" x="210" y="-191.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">b</text>
</g>
<!-- pr_0&#45;&gt;tm__ -->
<g id="edge2" class="edge">
<title>pr_0&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M321.78,-173.76C335.09,-161.48 352.85,-145.11 367.56,-131.53"/>
<polygon fill="black" stroke="black" points="369.73,-134.3 374.71,-124.94 364.99,-129.15 369.73,-134.3"/>
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-150.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_1&#45;&gt;tm_b -->
<g id="edge4" class="edge">
<title>pr_1&#45;&gt;tm_b</title>
<path fill="none" stroke="black" d="M141.58,-195C150.99,-195 161.71,-195 171.79,-195"/>
<polygon fill="black" stroke="black" points="171.7,-198.5 181.7,-195 171.7,-191.5 171.7,-198.5"/>
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-196.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_2&#45;&gt;tm__ -->
<g id="edge6" class="edge">
<title>pr_2&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M328.47,-128.92C337.88,-125.69 348.65,-121.99 358.75,-118.52"/>
<polygon fill="black" stroke="black" points="359.6,-121.93 367.92,-115.38 357.33,-115.31 359.6,-121.93"/>
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-123.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_3&#45;&gt;nt_S -->
<g id="edge9" class="edge">
<title>pr_3&#45;&gt;nt_S</title>
<path fill="none" stroke="black" d="M84.21,-140.67C76.83,-140.35 68.99,-139.34 62,-137 57.64,-135.54 53.33,-133.44 49.26,-131.04"/>
<polygon fill="black" stroke="black" points="51.23,-128.15 40.97,-125.51 47.34,-133.97 51.23,-128.15"/>
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-140.43" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_3&#45;&gt;nt_T__ -->
<g id="edge8" class="edge">
<title>pr_3&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M142.85,-130.6C152.67,-127.69 163.8,-124.39 174.09,-121.34"/>
<polygon fill="black" stroke="black" points="174.77,-124.79 183.37,-118.59 172.79,-118.08 174.77,-124.79"/>
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-126.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_3&#45;&gt;nt_T__ -->
<g id="edge10" class="edge">
<title>pr_3&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M139.14,-120.03C145.52,-116.12 152.61,-112.56 159.75,-110.5 163.56,-109.4 167.61,-108.71 171.68,-108.33"/>
<polygon fill="black" stroke="black" points="171.67,-111.83 181.55,-108 171.43,-104.84 171.67,-111.83"/>
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-112.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_4&#45;&gt;tm__ -->
<g id="edge12" class="edge">
<title>pr_4&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M328.47,-90.25C337.78,-92.44 348.42,-94.95 358.43,-97.31"/>
<polygon fill="black" stroke="black" points="357.35,-100.65 367.88,-99.54 358.95,-93.84 357.35,-100.65"/>
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-96.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_5&#45;&gt;tm__ -->
<g id="edge14" class="edge">
<title>pr_5&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M324.57,-48.4C336.57,-58.18 351.5,-70.34 364.54,-80.97"/>
<polygon fill="black" stroke="black" points="362.07,-83.47 372.03,-87.08 366.49,-78.05 362.07,-83.47"/>
<text xml:space="preserve" text-anchor="middle" x="348.62" y="-69.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_6&#45;&gt;tm_a -->
<g id="edge16" class="edge">
<title>pr_6&#45;&gt;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>
<!-- pr_7&#45;&gt;nt_S -->
<g id="edge18" class="edge">
<title>pr_7&#45;&gt;nt_S</title>
<path fill="none" stroke="black" d="M85.39,-72.39C77.63,-72.07 69.3,-72.73 62,-75.5 56.08,-77.74 50.49,-81.34 45.48,-85.38"/>
<polygon fill="black" stroke="black" points="43.32,-82.61 38.27,-91.92 48.03,-87.79 43.32,-82.61"/>
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-77.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_7&#45;&gt;nt_S -->
<g id="edge20" class="edge">
<title>pr_7&#45;&gt;nt_S</title>
<path fill="none" stroke="black" d="M85.4,-86.99C75.58,-90.61 64.41,-94.73 54.26,-98.47"/>
<polygon fill="black" stroke="black" points="53.35,-95.08 45.18,-101.82 55.77,-101.65 53.35,-95.08"/>
<text xml:space="preserve" text-anchor="middle" x="64.62" y="-97.43" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_7&#45;&gt;nt_T__ -->
<g id="edge19" class="edge">
<title>pr_7&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M141.54,-86.23C149.14,-88.86 157.41,-91.76 165,-94.5 168.45,-95.75 172.05,-97.06 175.64,-98.39"/>
<polygon fill="black" stroke="black" points="174.19,-101.59 184.79,-101.8 176.64,-95.03 174.19,-101.59"/>
<text xml:space="preserve" text-anchor="middle" x="162.38" y="-96.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 13 KiB