assets/exampleEpsNFA.svg

<?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 10.0.1 (0)
 -->
<!-- Title: NFA Pages: 1 -->
<svg width="525pt" height="676pt"
 viewBox="0.00 0.00 525.34 676.43" 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 672.43)">
<title>NFA</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-672.43 521.34,-672.43 521.34,4 -4,4"/>
<!-- n0 -->
<g id="node1" class="node">
<title>n0</title>
<ellipse fill="none" stroke="black" cx="461.09" cy="-171.52" rx="18" ry="18"/>
<text text-anchor="middle" x="461.09" y="-166.85" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- n0&#45;&gt;n0 -->
<g id="edge1" class="edge">
<title>n0&#45;&gt;n0</title>
<path fill="none" stroke="black" d="M478.12,-177.9C487.94,-179.2 497.09,-177.07 497.09,-171.52 497.09,-168.31 494.03,-166.24 489.56,-165.32"/>
<polygon fill="black" stroke="black" points="489.69,-161.83 479.64,-165.17 489.58,-168.82 489.69,-161.83"/>
<text text-anchor="middle" x="507.21" y="-166.85" font-family="Times,serif" font-size="14.00">a&#45;c</text>
</g>
<!-- n9 -->
<g id="node2" class="node">
<title>n9</title>
<ellipse fill="none" stroke="black" cx="359.33" cy="-50.87" rx="18" ry="18"/>
<text text-anchor="middle" x="359.33" y="-46.19" font-family="Times,serif" font-size="14.00">9</text>
</g>
<!-- n0&#45;&gt;n9 -->
<g id="edge2" class="edge">
<title>n0&#45;&gt;n9</title>
<path fill="none" stroke="black" d="M449.41,-157.68C432.1,-137.15 399.42,-98.4 378.55,-73.65"/>
<polygon fill="black" stroke="black" points="381.28,-71.46 372.16,-66.07 375.93,-75.97 381.28,-71.46"/>
<text text-anchor="middle" x="407.23" y="-119.62" font-family="Times,serif" font-size="14.00">f&#45;i</text>
</g>
<!-- n15 -->
<g id="node11" class="node">
<title>n15</title>
<ellipse fill="none" stroke="black" cx="203.29" cy="-27.85" rx="23.85" ry="23.85"/>
<ellipse fill="none" stroke="black" cx="203.29" cy="-27.85" rx="27.85" ry="27.85"/>
<text text-anchor="middle" x="203.29" y="-23.18" font-family="Times,serif" font-size="14.00">15</text>
</g>
<!-- n9&#45;&gt;n15 -->
<g id="edge6" class="edge">
<title>n9&#45;&gt;n15</title>
<path fill="none" stroke="black" d="M341.13,-48.18C317,-44.62 273.79,-38.25 242.16,-33.58"/>
<polygon fill="black" stroke="black" points="242.99,-30.17 232.59,-32.17 241.97,-37.09 242.99,-30.17"/>
<text text-anchor="middle" x="287.9" y="-44.83" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- n1 -->
<g id="node3" class="node">
<title>n1</title>
<ellipse fill="none" stroke="black" cx="294" cy="-363" rx="18" ry="18"/>
<text text-anchor="middle" x="294" y="-358.33" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- n2 -->
<g id="node4" class="node">
<title>n2</title>
<ellipse fill="none" stroke="black" cx="464.84" cy="-328.96" rx="18" ry="18"/>
<text text-anchor="middle" x="464.84" y="-324.29" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- n2&#45;&gt;n0 -->
<g id="edge3" class="edge">
<title>n2&#45;&gt;n0</title>
<path fill="none" stroke="black" d="M464.41,-310.6C463.76,-283.69 462.56,-233.29 461.79,-201.12"/>
<polygon fill="black" stroke="black" points="465.3,-201.2 461.56,-191.29 458.3,-201.37 465.3,-201.2"/>
<text text-anchor="middle" x="459.35" y="-259.81" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- n2&#45;&gt;n2 -->
<g id="edge4" class="edge">
<title>n2&#45;&gt;n2</title>
<path fill="none" stroke="black" d="M481.88,-335.34C491.7,-336.65 500.84,-334.52 500.84,-328.96 500.84,-325.75 497.79,-323.69 493.31,-322.77"/>
<polygon fill="black" stroke="black" points="493.45,-319.27 483.39,-322.61 493.34,-326.27 493.45,-319.27"/>
<text text-anchor="middle" x="506.84" y="-324.29" font-family="Times,serif" font-size="14.00">w</text>
</g>
<!-- n3 -->
<g id="node5" class="node">
<title>n3</title>
<ellipse fill="none" stroke="black" cx="294" cy="-294" rx="18" ry="18"/>
<text text-anchor="middle" x="294" y="-289.33" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- n4 -->
<g id="node6" class="node">
<title>n4</title>
<ellipse fill="none" stroke="black" cx="368.96" cy="-452.61" rx="18" ry="18"/>
<text text-anchor="middle" x="368.96" y="-447.94" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- n4&#45;&gt;n2 -->
<g id="edge5" class="edge">
<title>n4&#45;&gt;n2</title>
<path fill="none" stroke="black" d="M379.95,-438.43C396.27,-417.39 427.06,-377.68 446.74,-352.31"/>
<polygon fill="black" stroke="black" points="449.39,-354.61 452.75,-344.56 443.86,-350.32 449.39,-354.61"/>
<text text-anchor="middle" x="400.6" y="-399.32" font-family="Times,serif" font-size="14.00">any</text>
</g>
<!-- n5 -->
<g id="node7" class="node">
<title>n5</title>
<ellipse fill="none" stroke="black" cx="363" cy="-294" rx="18" ry="18"/>
<text text-anchor="middle" x="363" y="-289.33" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- n6 -->
<g id="node8" class="node">
<title>n6</title>
<ellipse fill="none" stroke="black" cx="363" cy="-363" rx="18" ry="18"/>
<text text-anchor="middle" x="363" y="-358.33" font-family="Times,serif" font-size="14.00">6</text>
</g>
<!-- n7 -->
<g id="node9" class="node">
<title>n7</title>
<ellipse fill="none" stroke="black" cx="294" cy="-432" rx="18" ry="18"/>
<text text-anchor="middle" x="294" y="-427.33" font-family="Times,serif" font-size="14.00">7</text>
</g>
<!-- n8 -->
<g id="node10" class="node">
<title>n8</title>
<ellipse fill="none" stroke="black" cx="225" cy="-432" rx="18" ry="18"/>
<text text-anchor="middle" x="225" y="-427.33" font-family="Times,serif" font-size="14.00">8</text>
</g>
<!-- n10 -->
<g id="node12" class="node">
<title>n10</title>
<ellipse fill="none" stroke="black" cx="23.85" cy="-265.16" rx="23.85" ry="23.85"/>
<text text-anchor="middle" x="23.85" y="-260.49" font-family="Times,serif" font-size="14.00">10</text>
</g>
<!-- n11 -->
<g id="node13" class="node">
<title>n11</title>
<ellipse fill="none" stroke="black" cx="71.59" cy="-115.05" rx="23.85" ry="23.85"/>
<text text-anchor="middle" x="71.59" y="-110.37" font-family="Times,serif" font-size="14.00">11</text>
</g>
<!-- n10&#45;&gt;n11 -->
<g id="edge7" class="edge">
<title>n10&#45;&gt;n11</title>
<path fill="none" stroke="black" d="M35.75,-244.2C45.67,-219.85 58.82,-179.32 66.43,-150.14"/>
<polygon fill="black" stroke="black" points="69.77,-151.21 68.79,-140.66 62.98,-149.52 69.77,-151.21"/>
<text text-anchor="middle" x="46.96" y="-201.12" font-family="Times,serif" font-size="14.00">y</text>
</g>
<!-- n10&#45;&gt;n11 -->
<g id="edge8" class="edge">
<title>n10&#45;&gt;n11</title>
<path fill="none" stroke="black" d="M26.25,-241.18C32.21,-215.57 44.89,-174.89 55.53,-146.67"/>
<polygon fill="black" stroke="black" points="58.7,-148.16 59.08,-137.57 52.18,-145.61 58.7,-148.16"/>
<text text-anchor="middle" x="37.14" y="-197.88" font-family="Times,serif" font-size="14.00">z</text>
</g>
<!-- n11&#45;&gt;n15 -->
<g id="edge9" class="edge">
<title>n11&#45;&gt;n15</title>
<path fill="none" stroke="black" d="M91.88,-101.61C112.9,-87.7 146.07,-65.73 170.76,-49.39"/>
<polygon fill="black" stroke="black" points="172.42,-52.48 178.83,-44.05 168.56,-46.65 172.42,-52.48"/>
<text text-anchor="middle" x="127.57" y="-79.45" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- n12 -->
<g id="node14" class="node">
<title>n12</title>
<ellipse fill="none" stroke="black" cx="80.19" cy="-411.18" rx="23.85" ry="23.85"/>
<text text-anchor="middle" x="80.19" y="-406.51" font-family="Times,serif" font-size="14.00">12</text>
</g>
<!-- n12&#45;&gt;n10 -->
<g id="edge10" class="edge">
<title>n12&#45;&gt;n10</title>
<path fill="none" stroke="black" d="M71.51,-388.69C62.18,-364.5 47.25,-325.8 36.59,-298.17"/>
<polygon fill="black" stroke="black" points="39.86,-296.93 32.99,-288.86 33.33,-299.45 39.86,-296.93"/>
<text text-anchor="middle" x="49.92" y="-347.38" font-family="Times,serif" font-size="14.00">x</text>
</g>
<!-- n13 -->
<g id="node15" class="node">
<title>n13</title>
<ellipse fill="none" stroke="black" cx="207.85" cy="-345.85" rx="23.85" ry="23.85"/>
<text text-anchor="middle" x="207.85" y="-341.18" font-family="Times,serif" font-size="14.00">13</text>
</g>
<!-- n14 -->
<g id="node16" class="node">
<title>n14</title>
<ellipse fill="none" stroke="black" cx="214.91" cy="-499.15" rx="23.85" ry="23.85"/>
<text text-anchor="middle" x="214.91" y="-494.47" font-family="Times,serif" font-size="14.00">14</text>
</g>
<!-- n14&#45;&gt;n4 -->
<g id="edge11" class="edge">
<title>n14&#45;&gt;n4</title>
<path fill="none" stroke="black" d="M237.98,-492.18C265.39,-483.9 311.14,-470.08 340.66,-461.16"/>
<polygon fill="black" stroke="black" points="341.48,-464.57 350.04,-458.33 339.45,-457.87 341.48,-464.57"/>
<text text-anchor="middle" x="285.57" y="-480.62" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- n14&#45;&gt;n12 -->
<g id="edge12" class="edge">
<title>n14&#45;&gt;n12</title>
<path fill="none" stroke="black" d="M194.74,-485.98C172.32,-471.34 135.88,-447.54 110.13,-430.73"/>
<polygon fill="black" stroke="black" points="112.05,-427.8 101.76,-425.27 108.22,-433.67 112.05,-427.8"/>
<text text-anchor="middle" x="148.69" y="-462.3" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- n16 -->
<!-- n16&#45;&gt;n14 -->
<g id="edge13" class="edge">
<title>n16&#45;&gt;n14</title>
<path fill="none" stroke="black" d="M196.85,-632.18C200.13,-608 205.99,-564.84 210.15,-534.24"/>
<polygon fill="black" stroke="black" points="213.57,-535.07 211.45,-524.69 206.63,-534.13 213.57,-535.07"/>
</g>
</g>
</svg>