img/graph6_nfa.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.43.0 (0)
 -->
<!-- Title: FSM Pages: 1 -->
<svg width="347pt" height="133pt"
 viewBox="0.00 0.00 346.60 133.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 129)">
<title>FSM</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-129 342.6,-129 342.6,4 -4,4"/>
<!-- null -->
<g id="node1" class="node">
<title>null</title>
<ellipse fill="black" stroke="black" cx="1.8" cy="-18" rx="1.8" ry="1.8"/>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<ellipse fill="none" stroke="black" cx="58.6" cy="-18" rx="18" ry="18"/>
<text text-anchor="middle" x="58.6" y="-14.3" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- null&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>null&#45;&gt;1</title>
<path fill="none" stroke="black" d="M3.75,-18C7.11,-18 18.87,-18 30.55,-18"/>
<polygon fill="black" stroke="black" points="30.58,-21.5 40.58,-18 30.58,-14.5 30.58,-21.5"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="black" cx="140.6" cy="-48" rx="18" ry="18"/>
<text text-anchor="middle" x="140.6" y="-44.3" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M75.79,-24.07C86.74,-28.18 101.44,-33.69 113.97,-38.39"/>
<polygon fill="black" stroke="black" points="112.84,-41.7 123.43,-41.94 115.3,-35.15 112.84,-41.7"/>
<text text-anchor="middle" x="99.6" y="-38.8" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<ellipse fill="none" stroke="black" cx="316.6" cy="-64" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="316.6" cy="-64" rx="22" ry="22"/>
<text text-anchor="middle" x="316.6" y="-60.3" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="black" d="M76.88,-17.29C96.72,-16.76 130.2,-16.74 158.6,-21 203.8,-27.78 254.54,-43.15 285.79,-53.56"/>
<polygon fill="black" stroke="black" points="285.01,-56.99 295.61,-56.87 287.25,-50.36 285.01,-56.99"/>
<text text-anchor="middle" x="181.6" y="-29.8" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- 2&#45;&gt;2 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;2</title>
<path fill="none" stroke="black" d="M133.57,-64.66C132.01,-74.62 134.35,-84 140.6,-84 144.6,-84 147,-80.15 147.8,-74.77"/>
<polygon fill="black" stroke="black" points="151.3,-74.6 147.63,-64.66 144.3,-74.72 151.3,-74.6"/>
<text text-anchor="middle" x="140.6" y="-87.8" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<ellipse fill="none" stroke="black" cx="226.6" cy="-103" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="226.6" cy="-103" rx="22" ry="22"/>
<text text-anchor="middle" x="226.6" y="-99.3" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge5" class="edge">
<title>2&#45;&gt;4</title>
<path fill="none" stroke="black" d="M156.23,-57.58C168.07,-65.33 185.03,-76.44 199.22,-85.73"/>
<polygon fill="black" stroke="black" points="197.35,-88.69 207.63,-91.23 201.18,-82.83 197.35,-88.69"/>
<text text-anchor="middle" x="181.6" y="-80.8" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 3&#45;&gt;2 -->
<g id="edge6" class="edge">
<title>3&#45;&gt;2</title>
<path fill="none" stroke="black" d="M294.49,-61.68C281.3,-60.26 263.97,-58.45 248.6,-57 221.45,-54.44 190.39,-51.87 168.75,-50.13"/>
<polygon fill="black" stroke="black" points="168.9,-46.63 158.66,-49.33 168.35,-53.61 168.9,-46.63"/>
<text text-anchor="middle" x="226.6" y="-60.8" font-family="Times,serif" font-size="14.00">ε</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge7" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M295.32,-70.72C286.39,-73.87 275.86,-77.83 266.6,-82 262.73,-83.74 258.73,-85.7 254.81,-87.72"/>
<polygon fill="black" stroke="black" points="253.17,-84.63 245.98,-92.41 256.45,-90.81 253.17,-84.63"/>
<text text-anchor="middle" x="271.6" y="-85.8" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- 4&#45;&gt;3 -->
<g id="edge8" class="edge">
<title>4&#45;&gt;3</title>
<path fill="none" stroke="black" d="M248.8,-103.06C257.7,-102.41 267.96,-100.78 276.6,-97 282.57,-94.39 288.33,-90.56 293.51,-86.42"/>
<polygon fill="black" stroke="black" points="295.86,-89.01 301.1,-79.8 291.26,-83.73 295.86,-89.01"/>
<text text-anchor="middle" x="271.6" y="-103.8" font-family="Times,serif" font-size="14.00">0</text>
</g>
</g>
</svg>