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:
milner committed 2026-09-18 16:27:30 +00:00
commit 3170b7b398
96 files changed
+39927
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

experiments/expr-final.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 (induced)</text>
<!-- nt_S -->
<g id="node1" class="node">
<title>nt_S</title>
<ellipse fill="none" stroke="black" stroke-width="2" cx="22" cy="-110" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" stroke-width="2" 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">S</text>
</g>
<!-- pr_1 -->
<g id="node7" class="node">
<title>pr_1</title>
<polygon fill="none" stroke="black" 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">b</text>
<text xml:space="preserve" text-anchor="middle" x="113.5" y="-185.5" font-family="Helvetica,sans-Serif" font-size="10.00">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="M36.93,-126.43C44.15,-134.66 53.27,-144.63 62,-153 67.83,-158.59 74.3,-164.3 80.61,-169.63"/>
<polygon fill="black" stroke="black" points="77.94,-171.97 87.87,-175.67 82.42,-166.58 77.94,-171.97"/>
</g>
<!-- pr_3 -->
<g id="node9" class="node">
<title>pr_3</title>
<polygon fill="none" stroke="black" 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">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">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="M43.31,-116.58C52.42,-119.53 63.48,-123.12 74.06,-126.54"/>
<polygon fill="black" stroke="black" points="72.78,-129.81 83.37,-129.56 74.93,-123.15 72.78,-129.81"/>
</g>
<!-- pr_6 -->
<g id="node12" class="node">
<title>pr_6</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.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.18,-94.39C51.52,-80.69 71.19,-60.46 86.95,-44.26"/>
<polygon fill="black" stroke="black" points="89.26,-46.91 93.72,-37.3 84.24,-42.03 89.26,-46.91"/>
</g>
<!-- pr_7 -->
<g id="node13" class="node">
<title>pr_7</title>
<polygon fill="none" stroke="black" 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">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">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="M41.74,-100.01C48.06,-96.87 55.24,-93.56 62,-91 66.23,-89.4 70.73,-87.89 75.23,-86.5"/>
<polygon fill="black" stroke="black" points="76.17,-89.87 84.8,-83.72 74.22,-83.14 76.17,-89.87"/>
</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="M140.82,-195C150.43,-195 161.47,-195 171.84,-195"/>
<polygon fill="black" stroke="black" points="171.63,-198.5 181.63,-195 171.63,-191.5 171.63,-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="M85,-140.7C77.39,-140.43 69.24,-139.42 62,-137 57.34,-135.44 52.74,-133.15 48.42,-130.54"/>
<polygon fill="black" stroke="black" points="50.44,-127.68 40.2,-124.95 46.5,-133.47 50.44,-127.68"/>
<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.09,-130.83C152.01,-127.89 163.34,-124.53 173.82,-121.42"/>
<polygon fill="black" stroke="black" points="174.71,-124.81 183.3,-118.61 172.72,-118.1 174.71,-124.81"/>
<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="M138.18,-120.62C144.81,-116.47 152.26,-112.66 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="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_7&#45;&gt;nt_S -->
<g id="edge18" class="edge">
<title>pr_7&#45;&gt;nt_S</title>
<path fill="none" stroke="black" d="M86.17,-72.42C78.19,-72.03 69.55,-72.64 62,-75.5 55.98,-77.78 50.29,-81.47 45.21,-85.59"/>
<polygon fill="black" stroke="black" points="42.92,-82.94 37.91,-92.28 47.65,-88.11 42.92,-82.94"/>
<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="M86.24,-86.68C75.95,-90.48 64.07,-94.86 53.41,-98.79"/>
<polygon fill="black" stroke="black" points="52.45,-95.41 44.28,-102.15 54.88,-101.98 52.45,-95.41"/>
<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="M140.75,-85.96C148.57,-88.66 157.14,-91.67 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