afd.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 2.40.1 (20161225.0304)
 -->
<!-- Title: DFA Pages: 1 -->
<svg width="352pt" height="266pt"
 viewBox="0.00 0.00 352.39 265.70" 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 261.6967)">
<title>DFA</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-261.6967 348.3866,-261.6967 348.3866,4 -4,4"/>
<text text-anchor="middle" x="172.1933" y="-7.8" font-family="Times,serif" font-size="14.00" fill="#000000">regex=a(a|b)*</text>
<!-- initial -->
<g id="node1" class="node">
<title>initial</title>
<ellipse fill="#000000" stroke="#000000" cx="1.8" cy="-104.8483" rx="1.8" ry="1.8"/>
</g>
<!-- s0 -->
<g id="node2" class="node">
<title>s0</title>
<ellipse fill="none" stroke="#000000" cx="59.4483" cy="-104.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="59.4483" y="-101.1483" font-family="Times,serif" font-size="14.00" fill="#000000">s0</text>
</g>
<!-- initial&#45;&gt;s0 -->
<g id="edge1" class="edge">
<title>initial&#45;&gt;s0</title>
<path fill="none" stroke="#000000" d="M3.7181,-104.8483C8.0858,-104.8483 19.2647,-104.8483 30.4739,-104.8483"/>
<polygon fill="#000000" stroke="#000000" points="30.5821,-108.3484 40.5821,-104.8483 30.582,-101.3484 30.5821,-108.3484"/>
</g>
<!-- s1 -->
<g id="node3" class="node">
<title>s1</title>
<ellipse fill="none" stroke="#000000" cx="144.145" cy="-167.8483" rx="18.724" ry="18.724"/>
<ellipse fill="none" stroke="#000000" cx="144.145" cy="-167.8483" rx="22.6977" ry="22.6977"/>
<text text-anchor="middle" x="144.145" y="-164.1483" font-family="Times,serif" font-size="14.00" fill="#000000">s1</text>
</g>
<!-- s0&#45;&gt;s1 -->
<g id="edge2" class="edge">
<title>s0&#45;&gt;s1</title>
<path fill="none" stroke="#000000" d="M74.5904,-116.1115C86.4114,-124.9043 103.1371,-137.3454 117.2244,-147.824"/>
<polygon fill="#000000" stroke="#000000" points="115.4748,-150.8846 125.5874,-154.0446 119.6526,-145.268 115.4748,-150.8846"/>
<text text-anchor="middle" x="99.7967" y="-139.6483" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- s2 -->
<g id="node4" class="node">
<title>s2</title>
<ellipse fill="none" stroke="#000000" cx="144.145" cy="-41.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="144.145" y="-38.1483" font-family="Times,serif" font-size="14.00" fill="#000000">s2</text>
</g>
<!-- s0&#45;&gt;s2 -->
<g id="edge3" class="edge">
<title>s0&#45;&gt;s2</title>
<path fill="none" stroke="#000000" d="M74.5904,-93.5852C87.398,-84.0585 105.9631,-70.2492 120.6921,-59.2933"/>
<polygon fill="#000000" stroke="#000000" points="122.9136,-62.003 128.8484,-53.2264 118.7358,-56.3864 122.9136,-62.003"/>
<text text-anchor="middle" x="99.7967" y="-81.6483" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
<!-- s3 -->
<g id="node5" class="node">
<title>s3</title>
<ellipse fill="none" stroke="#000000" cx="232.8416" cy="-201.8483" rx="18.724" ry="18.724"/>
<ellipse fill="none" stroke="#000000" cx="232.8416" cy="-201.8483" rx="22.6977" ry="22.6977"/>
<text text-anchor="middle" x="232.8416" y="-198.1483" font-family="Times,serif" font-size="14.00" fill="#000000">s3</text>
</g>
<!-- s1&#45;&gt;s3 -->
<g id="edge4" class="edge">
<title>s1&#45;&gt;s3</title>
<path fill="none" stroke="#000000" d="M165.616,-176.0788C176.4306,-180.2244 189.7448,-185.328 201.6632,-189.8967"/>
<polygon fill="#000000" stroke="#000000" points="200.6707,-193.2646 211.261,-193.5758 203.1763,-186.7283 200.6707,-193.2646"/>
<text text-anchor="middle" x="188.4933" y="-189.6483" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- s4 -->
<g id="node6" class="node">
<title>s4</title>
<ellipse fill="none" stroke="#000000" cx="321.5383" cy="-178.8483" rx="18.724" ry="18.724"/>
<ellipse fill="none" stroke="#000000" cx="321.5383" cy="-178.8483" rx="22.6977" ry="22.6977"/>
<text text-anchor="middle" x="321.5383" y="-175.1483" font-family="Times,serif" font-size="14.00" fill="#000000">s4</text>
</g>
<!-- s1&#45;&gt;s4 -->
<g id="edge5" class="edge">
<title>s1&#45;&gt;s4</title>
<path fill="none" stroke="#000000" d="M166.4788,-161.4469C189.0782,-155.8587 224.9706,-149.4246 255.69,-154.8483 267.6161,-156.954 280.2223,-161.0501 291.177,-165.2708"/>
<polygon fill="#000000" stroke="#000000" points="290.1236,-168.6202 300.7063,-169.1283 292.7503,-162.1316 290.1236,-168.6202"/>
<text text-anchor="middle" x="232.8416" y="-158.6483" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
<!-- s2&#45;&gt;s2 -->
<g id="edge6" class="edge">
<title>s2&#45;&gt;s2</title>
<path fill="none" stroke="#000000" d="M140.165,-60.4288C139.5527,-70.0363 140.8794,-78.6967 144.145,-78.6967 146.186,-78.6967 147.4696,-75.3137 147.9958,-70.4309"/>
<polygon fill="#000000" stroke="#000000" points="151.4955,-70.4732 148.125,-60.4288 144.496,-70.3827 151.4955,-70.4732"/>
<text text-anchor="middle" x="144.145" y="-82.4967" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- s2&#45;&gt;s2 -->
<g id="edge7" class="edge">
<title>s2&#45;&gt;s2</title>
<path fill="none" stroke="#000000" d="M137.6478,-59.5423C133.9441,-77.1858 136.1098,-96.6967 144.145,-96.6967 150.6735,-96.6967 153.3274,-83.8165 152.1065,-69.5228"/>
<polygon fill="#000000" stroke="#000000" points="155.5568,-68.9283 150.6422,-59.5423 148.6309,-69.9444 155.5568,-68.9283"/>
<text text-anchor="middle" x="144.145" y="-100.4967" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
<!-- s3&#45;&gt;s3 -->
<g id="edge8" class="edge">
<title>s3&#45;&gt;s3</title>
<path fill="none" stroke="#000000" d="M224.7931,-223.2843C223.7994,-233.5949 226.4823,-242.6967 232.8416,-242.6967 236.9156,-242.6967 239.4807,-238.9613 240.537,-233.5657"/>
<polygon fill="#000000" stroke="#000000" points="244.0447,-233.3986 240.8902,-223.2843 237.0489,-233.1582 244.0447,-233.3986"/>
<text text-anchor="middle" x="232.8416" y="-246.4967" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- s3&#45;&gt;s4 -->
<g id="edge9" class="edge">
<title>s3&#45;&gt;s4</title>
<path fill="none" stroke="#000000" d="M255.9348,-199.5511C263.8617,-198.4781 272.7375,-196.9579 280.69,-194.8483 283.9291,-193.9891 287.2615,-192.9526 290.5594,-191.8251"/>
<polygon fill="#000000" stroke="#000000" points="292.0541,-195.0042 300.2219,-188.256 289.6286,-188.4378 292.0541,-195.0042"/>
<text text-anchor="middle" x="277.19" y="-199.6483" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
<!-- s4&#45;&gt;s3 -->
<g id="edge10" class="edge">
<title>s4&#45;&gt;s3</title>
<path fill="none" stroke="#000000" d="M298.7916,-174.2711C290.7304,-173.4695 281.6812,-173.5208 273.69,-175.8483 268.8978,-177.2441 264.1312,-179.391 259.6361,-181.8656"/>
<polygon fill="#000000" stroke="#000000" points="257.5455,-179.0427 250.8693,-187.2695 261.2186,-185.0016 257.5455,-179.0427"/>
<text text-anchor="middle" x="277.19" y="-179.6483" font-family="Times,serif" font-size="14.00" fill="#000000">a</text>
</g>
<!-- s4&#45;&gt;s4 -->
<g id="edge11" class="edge">
<title>s4&#45;&gt;s4</title>
<path fill="none" stroke="#000000" d="M313.4897,-200.2843C312.4961,-210.5949 315.1789,-219.6967 321.5383,-219.6967 325.6123,-219.6967 328.1774,-215.9613 329.2337,-210.5657"/>
<polygon fill="#000000" stroke="#000000" points="332.7414,-210.3986 329.5869,-200.2843 325.7455,-210.1582 332.7414,-210.3986"/>
<text text-anchor="middle" x="321.5383" y="-223.4967" font-family="Times,serif" font-size="14.00" fill="#000000">b</text>
</g>
</g>
</svg>