<?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.34.0 (20131125.0033)
 -->
<!-- Title: automata_0 Pages: 1 -->
<svg width="202pt" height="228pt"
 viewBox="0.00 0.00 202.00 228.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 224)">
<title>automata_0</title>
<polygon fill="white" stroke="white" points="-4,4 -4,-224 198,-224 198,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="lightgrey" stroke="lightgrey" cx="80" cy="-202" rx="18" ry="18"/>
<text text-anchor="middle" x="80" y="-198.3" font-family="Times,serif" font-size="14.00">0</text>
</g>
<!-- 2 -->
<g id="node2" class="node"><title>2</title>
<ellipse fill="none" stroke="black" cx="22" cy="-110" rx="17.5909" ry="18"/>
<ellipse fill="none" stroke="black" cx="22" cy="-110" rx="21.5" ry="22"/>
<text text-anchor="middle" x="22" y="-106.3" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 0&#45;&gt;2 -->
<g id="edge1" class="edge"><title>0&#45;&gt;2</title>
<path fill="none" stroke="black" d="M70.6813,-186.54C62.1434,-173.292 49.2963,-153.356 38.9433,-137.291"/>
<polygon fill="black" stroke="black" points="41.8505,-135.341 33.4914,-128.832 35.9665,-139.133 41.8505,-135.341"/>
<text text-anchor="middle" x="62" y="-154.3" font-family="Times,serif" font-size="14.00">a </text>
</g>
<!-- 1 -->
<g id="node3" class="node"><title>1</title>
<ellipse fill="none" stroke="black" cx="77" cy="-18" rx="18" ry="18"/>
<text text-anchor="middle" x="77" y="-14.3" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge2" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M80.557,-183.766C81.1804,-161.604 81.9825,-121.926 81,-88 80.6024,-74.2703 79.7606,-59.0233 78.9514,-46.3608"/>
<polygon fill="black" stroke="black" points="82.4183,-45.7466 78.2606,-36.0017 75.4338,-46.2125 82.4183,-45.7466"/>
<text text-anchor="middle" x="97" y="-106.3" font-family="Times,serif" font-size="14.00">other </text>
</g>
<!-- 2&#45;&gt;2 -->
<g id="edge5" class="edge"><title>2&#45;&gt;2</title>
<path fill="none" stroke="black" d="M42.0663,-118.734C52.0736,-119.943 61,-117.031 61,-110 61,-105.496 57.3366,-102.682 52.0725,-101.559"/>
<polygon fill="black" stroke="black" points="52.1646,-98.0605 42.0663,-101.266 51.9594,-105.057 52.1646,-98.0605"/>
<text text-anchor="middle" x="66" y="-106.3" font-family="Times,serif" font-size="14.00">a </text>
</g>
<!-- 2&#45;&gt;1 -->
<g id="edge6" class="edge"><title>2&#45;&gt;1</title>
<path fill="none" stroke="black" d="M15.831,-88.7107C13.7012,-77.7664 13.1237,-64.4094 19,-54 25.7753,-41.9982 38.5014,-33.6502 50.3104,-28.1258"/>
<polygon fill="black" stroke="black" points="51.9878,-31.2181 59.8635,-24.1312 49.2873,-24.76 51.9878,-31.2181"/>
<text text-anchor="middle" x="35" y="-58.3" font-family="Times,serif" font-size="14.00">other </text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge"><title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M71.4102,-35.2248C67.5148,-45.558 61.8062,-59.0164 55,-70 51.7078,-75.3129 47.7276,-80.6559 43.6876,-85.61"/>
<polygon fill="black" stroke="black" points="40.7765,-83.6291 36.943,-93.5061 46.0992,-88.1755 40.7765,-83.6291"/>
<text text-anchor="middle" x="68" y="-58.3" font-family="Times,serif" font-size="14.00">a </text>
</g>
<!-- 1&#45;&gt;1 -->
<g id="edge4" class="edge"><title>1&#45;&gt;1</title>
<path fill="none" stroke="black" d="M93.2903,-25.6679C103.389,-27.5169 113,-24.9609 113,-18 113,-13.5406 109.056,-10.8891 103.566,-10.0454"/>
<polygon fill="black" stroke="black" points="103.189,-6.55441 93.2903,-10.3321 103.384,-13.5517 103.189,-6.55441"/>
<text text-anchor="middle" x="129" y="-14.3" font-family="Times,serif" font-size="14.00">other </text>
</g>
<!-- Machine: a -->
<g id="node4" class="node"><title>Machine: a</title>
<text text-anchor="middle" x="155" y="-198.3" font-family="Times,serif" font-size="14.00">Machine: a</text>
</g>
</g>
</svg>