<?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.38.0 (20140413.2041)
 -->
<!-- Title: automata_0 Pages: 1 -->
<svg width="202pt" height="226pt"
 viewBox="0.00 0.00 202.00 226.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 222)">
<title>automata_0</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-222 198,-222 198,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="lightgrey" stroke="lightgrey" cx="80" cy="-200" rx="18" ry="18"/>
<text text-anchor="middle" x="80" y="-196.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="-109" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="22" cy="-109" rx="22" ry="22"/>
<text text-anchor="middle" x="22" y="-105.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.4225,-184.303C61.977,-171.344 49.4643,-152.143 39.2743,-136.507"/>
<polygon fill="black" stroke="black" points="41.9834,-134.254 33.5912,-127.787 36.1188,-138.076 41.9834,-134.254"/>
<text text-anchor="middle" x="62" y="-152.8" 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.5588,-181.919C81.1841,-159.952 81.9881,-120.626 81,-87 80.6051,-73.5602 79.7719,-58.6456 78.9678,-46.2171"/>
<polygon fill="black" stroke="black" points="82.446,-45.7761 78.2802,-36.0347 75.4619,-46.2478 82.446,-45.7761"/>
<text text-anchor="middle" x="97" y="-105.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.5808,-117.37C52.8447,-118.528 62,-115.738 62,-109 62,-104.683 58.2427,-101.987 52.8436,-100.911"/>
<polygon fill="black" stroke="black" points="52.6729,-97.405 42.5808,-100.63 52.4812,-104.402 52.6729,-97.405"/>
<text text-anchor="middle" x="67" y="-105.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.8645,-87.8217C13.8014,-77.1252 13.2764,-64.1389 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="-57.8" 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.1838,-35.3556C67.2743,-45.4213 61.6325,-58.3829 55,-69 51.6885,-74.3009 47.6997,-79.6386 43.6572,-84.5911"/>
<polygon fill="black" stroke="black" points="40.7461,-82.6105 36.9137,-92.4879 46.0693,-87.1563 40.7461,-82.6105"/>
<text text-anchor="middle" x="68" y="-57.8" 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.6641,-25.3828C103.625,-27.0234 113,-24.5625 113,-18 113,-13.7959 109.152,-11.2751 103.768,-10.4375"/>
<polygon fill="black" stroke="black" points="103.6,-6.93988 93.6641,-10.6172 103.725,-13.9388 103.6,-6.93988"/>
<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="-196.3" font-family="Times,serif" font-size="14.00">Machine: a</text>
</g>
</g>
</svg>