assets/exampleDFA.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: DFA Pages: 1 -->
<svg width="359pt" height="488pt"
 viewBox="0.00 0.00 358.99 487.66" 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 483.66)">
<title>DFA</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-483.66 354.99,-483.66 354.99,4 -4,4"/>
<!-- n0 -->
<g id="node1" class="node">
<title>n0</title>
<ellipse fill="none" stroke="black" cx="77.93" cy="-307.5" rx="18" ry="18"/>
<text text-anchor="middle" x="77.93" y="-302.82" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- n1 -->
<g id="node2" class="node">
<title>n1</title>
<ellipse fill="none" stroke="black" cx="23.45" cy="-159.65" rx="18" ry="18"/>
<text text-anchor="middle" x="23.45" y="-154.98" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- n0&#45;&gt;n1 -->
<g id="edge1" class="edge">
<title>n0&#45;&gt;n1</title>
<path fill="none" stroke="black" d="M75.97,-289.28C69.23,-263.17 51.83,-215.05 38.67,-185.34"/>
<polygon fill="black" stroke="black" points="41.87,-183.93 34.5,-176.32 35.51,-186.86 41.87,-183.93"/>
<text text-anchor="middle" x="31.44" y="-224.01" font-family="Times,serif" font-size="14.00">0x01&#45;w</text>
</g>
<!-- n0&#45;&gt;n1 -->
<g id="edge3" class="edge">
<title>n0&#45;&gt;n1</title>
<path fill="none" stroke="black" d="M67.6,-292.37C55.79,-268.12 37.81,-220.22 28.54,-189.07"/>
<polygon fill="black" stroke="black" points="31.93,-188.18 25.86,-179.5 25.19,-190.07 31.93,-188.18"/>
<text text-anchor="middle" x="28.19" y="-244.67" font-family="Times,serif" font-size="14.00">y&#45;0xff</text>
</g>
<!-- n2 -->
<g id="node3" class="node">
<title>n2</title>
<ellipse fill="none" stroke="black" cx="158.76" cy="-161" rx="18" ry="18"/>
<text text-anchor="middle" x="158.76" y="-156.32" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- n0&#45;&gt;n2 -->
<g id="edge2" class="edge">
<title>n0&#45;&gt;n2</title>
<path fill="none" stroke="black" d="M86.73,-291.54C100.64,-266.33 127.83,-217.06 144.53,-186.78"/>
<polygon fill="black" stroke="black" points="147.47,-188.71 149.23,-178.26 141.34,-185.33 147.47,-188.71"/>
<text text-anchor="middle" x="111.51" y="-243.11" font-family="Times,serif" font-size="14.00">x</text>
</g>
<!-- n1&#45;&gt;n1 -->
<g id="edge6" class="edge">
<title>n1&#45;&gt;n1</title>
<path fill="none" stroke="black" d="M40.49,-166.03C50.31,-167.33 59.45,-165.21 59.45,-159.65 59.45,-156.44 56.4,-154.38 51.92,-153.46"/>
<polygon fill="black" stroke="black" points="52.06,-149.96 42,-153.3 51.94,-156.96 52.06,-149.96"/>
<text text-anchor="middle" x="65.45" y="-154.98" font-family="Times,serif" font-size="14.00">w</text>
</g>
<!-- n3 -->
<g id="node4" class="node">
<title>n3</title>
<ellipse fill="none" stroke="black" cx="142" cy="-22" rx="18" ry="18"/>
<text text-anchor="middle" x="142" y="-17.32" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- n1&#45;&gt;n3 -->
<g id="edge4" class="edge">
<title>n1&#45;&gt;n3</title>
<path fill="none" stroke="black" d="M35.47,-145.7C55.97,-121.89 97.88,-73.23 122.58,-44.55"/>
<polygon fill="black" stroke="black" points="125.09,-47 128.96,-37.14 119.78,-42.43 125.09,-47"/>
<text text-anchor="middle" x="68.9" y="-99.07" font-family="Times,serif" font-size="14.00">a&#45;c</text>
</g>
<!-- n4 -->
<g id="node5" class="node">
<title>n4</title>
<ellipse fill="none" stroke="black" cx="22" cy="-22" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="22" cy="-22" rx="22" ry="22"/>
<text text-anchor="middle" x="22" y="-17.32" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- n1&#45;&gt;n4 -->
<g id="edge5" class="edge">
<title>n1&#45;&gt;n4</title>
<path fill="none" stroke="black" d="M23.26,-141.37C23.03,-119.59 22.64,-82.74 22.36,-55.73"/>
<polygon fill="black" stroke="black" points="25.86,-55.95 22.25,-45.98 18.86,-56.02 25.86,-55.95"/>
<text text-anchor="middle" x="16.06" y="-102.5" font-family="Times,serif" font-size="14.00">f&#45;i</text>
</g>
<!-- n2&#45;&gt;n1 -->
<g id="edge9" class="edge">
<title>n2&#45;&gt;n1</title>
<path fill="none" stroke="black" d="M140.51,-160.82C118.11,-160.59 79.84,-160.21 53.18,-159.95"/>
<polygon fill="black" stroke="black" points="53.39,-156.45 43.36,-159.85 53.32,-163.45 53.39,-156.45"/>
<text text-anchor="middle" x="90.84" y="-164.33" font-family="Times,serif" font-size="14.00">w</text>
</g>
<!-- n2&#45;&gt;n3 -->
<g id="edge7" class="edge">
<title>n2&#45;&gt;n3</title>
<path fill="none" stroke="black" d="M156.57,-142.83C153.77,-119.62 148.89,-79.17 145.56,-51.51"/>
<polygon fill="black" stroke="black" points="149.04,-51.19 144.37,-41.68 142.09,-52.03 149.04,-51.19"/>
<text text-anchor="middle" x="140.94" y="-101.12" font-family="Times,serif" font-size="14.00">a&#45;c</text>
</g>
<!-- n2&#45;&gt;n4 -->
<g id="edge8" class="edge">
<title>n2&#45;&gt;n4</title>
<path fill="none" stroke="black" d="M145.89,-147.92C122.89,-124.55 74.43,-75.29 45.41,-45.79"/>
<polygon fill="black" stroke="black" points="47.99,-43.43 38.48,-38.75 43,-48.33 47.99,-43.43"/>
<text text-anchor="middle" x="88.9" y="-100.81" font-family="Times,serif" font-size="14.00">f&#45;i</text>
</g>
<!-- n5 -->
<g id="node6" class="node">
<title>n5</title>
<ellipse fill="none" stroke="black" cx="328.99" cy="-159.65" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="328.99" cy="-159.65" rx="22" ry="22"/>
<text text-anchor="middle" x="328.99" y="-154.98" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- n2&#45;&gt;n5 -->
<g id="edge10" class="edge">
<title>n2&#45;&gt;n5</title>
<path fill="none" stroke="black" d="M176.69,-165.2C204.93,-167.75 260.23,-167.69 295.85,-165.39"/>
<polygon fill="black" stroke="black" points="295.9,-168.9 305.6,-164.64 295.36,-161.92 295.9,-168.9"/>
<text text-anchor="middle" x="232.14" y="-169.24" font-family="Times,serif" font-size="14.00">y</text>
</g>
<!-- n2&#45;&gt;n5 -->
<g id="edge11" class="edge">
<title>n2&#45;&gt;n5</title>
<path fill="none" stroke="black" d="M176.62,-156.52C204.82,-153.52 260.11,-152.7 295.77,-154.44"/>
<polygon fill="black" stroke="black" points="295.33,-157.92 305.52,-155.03 295.76,-150.93 295.33,-157.92"/>
<text text-anchor="middle" x="232.44" y="-142.18" font-family="Times,serif" font-size="14.00">z</text>
</g>
<!-- n3&#45;&gt;n3 -->
<g id="edge12" class="edge">
<title>n3&#45;&gt;n3</title>
<path fill="none" stroke="black" d="M159.04,-28.38C168.86,-29.68 178,-27.55 178,-22 178,-18.79 174.94,-16.72 170.47,-15.8"/>
<polygon fill="black" stroke="black" points="170.61,-12.31 160.55,-15.65 170.49,-19.3 170.61,-12.31"/>
<text text-anchor="middle" x="188.13" y="-17.32" font-family="Times,serif" font-size="14.00">a&#45;c</text>
</g>
<!-- n3&#45;&gt;n4 -->
<g id="edge13" class="edge">
<title>n3&#45;&gt;n4</title>
<path fill="none" stroke="black" d="M123.51,-22C105.54,-22 77.82,-22 55.89,-22"/>
<polygon fill="black" stroke="black" points="55.91,-18.5 45.91,-22 55.91,-25.5 55.91,-18.5"/>
<text text-anchor="middle" x="82.95" y="-25.95" font-family="Times,serif" font-size="14.00">f&#45;i</text>
</g>
<!-- n6 -->
<!-- n6&#45;&gt;n0 -->
<g id="edge14" class="edge">
<title>n6&#45;&gt;n0</title>
<path fill="none" stroke="black" d="M43.11,-443.98C49.84,-417.61 62.57,-367.71 70.63,-336.1"/>
<polygon fill="black" stroke="black" points="74.01,-337 73.09,-326.44 67.23,-335.27 74.01,-337"/>
</g>
</g>
</svg>