images/my_awesome_automaton.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: %3 Pages: 1 -->
<svg width="94pt" height="299pt"
 viewBox="0.00 0.00 93.55 299.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 295)">
<title>%3</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-295 89.55,-295 89.55,4 -4,4"/>
<!-- fake -->
<g id="node1" class="node">
<title>fake</title>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<ellipse fill="none" stroke="black" cx="30.55" cy="-200" rx="27" ry="18"/>
<text text-anchor="middle" x="30.55" y="-196.3" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- fake&#45;&gt;3 -->
<g id="edge1" class="edge">
<title>fake&#45;&gt;3</title>
<path fill="none" stroke="black" stroke-width="2" d="M30.55,-254.81C30.55,-246.79 30.55,-237.05 30.55,-228.07"/>
<polygon fill="black" stroke="black" stroke-width="2" points="34.05,-228.03 30.55,-218.03 27.05,-228.03 34.05,-228.03"/>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<ellipse fill="none" stroke="black" cx="30.55" cy="-113" rx="27" ry="18"/>
<text text-anchor="middle" x="30.55" y="-109.3" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 1&#45;&gt;1 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;1</title>
<path fill="none" stroke="black" d="M55.08,-120.75C66.06,-121.49 75.55,-118.91 75.55,-113 75.55,-109.03 71.26,-106.56 65.12,-105.59"/>
<polygon fill="black" stroke="black" points="65.19,-102.09 55.08,-105.25 64.95,-109.09 65.19,-102.09"/>
<text text-anchor="middle" x="80.05" y="-109.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="black" cx="30.55" cy="-22" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="30.55" cy="-22" rx="22" ry="22"/>
<text text-anchor="middle" x="30.55" y="-18.3" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge5" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M30.55,-94.84C30.55,-83.44 30.55,-68.13 30.55,-54.58"/>
<polygon fill="black" stroke="black" points="34.05,-54.19 30.55,-44.19 27.05,-54.19 34.05,-54.19"/>
<text text-anchor="middle" x="34.55" y="-65.8" font-family="Times,serif" font-size="14.00">c</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge7" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="black" d="M30.55,-131.18C30.55,-142.81 30.55,-158.42 30.55,-171.73"/>
<polygon fill="black" stroke="black" points="27.05,-171.8 30.55,-181.8 34.05,-171.8 27.05,-171.8"/>
<text text-anchor="middle" x="35.55" y="-152.8" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- 2&#45;&gt;2 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;2</title>
<path fill="none" stroke="black" d="M51.13,-30.37C61.39,-31.53 70.55,-28.74 70.55,-22 70.55,-17.68 66.79,-14.99 61.39,-13.91"/>
<polygon fill="black" stroke="black" points="61.22,-10.41 51.13,-13.63 61.03,-17.4 61.22,-10.41"/>
<text text-anchor="middle" x="74.55" y="-18.3" font-family="Times,serif" font-size="14.00">c</text>
</g>
<!-- 3&#45;&gt;1 -->
<g id="edge6" class="edge">
<title>3&#45;&gt;1</title>
<path fill="none" stroke="black" d="M21.95,-182.71C19.35,-176.96 16.85,-170.35 15.55,-164 13.88,-155.89 15.32,-147.19 17.85,-139.37"/>
<polygon fill="black" stroke="black" points="21.12,-140.61 21.5,-130.03 14.6,-138.07 21.12,-140.61"/>
<text text-anchor="middle" x="20.05" y="-152.8" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 3&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>3&#45;&gt;3</title>
<path fill="none" stroke="black" d="M55.99,-206.69C66.58,-207.15 75.55,-204.92 75.55,-200 75.55,-196.77 71.68,-194.7 66.04,-193.79"/>
<polygon fill="black" stroke="black" points="66.15,-190.29 55.99,-193.31 65.81,-197.28 66.15,-190.29"/>
<text text-anchor="middle" x="80.55" y="-196.3" font-family="Times,serif" font-size="14.00">b</text>
</g>
</g>
</svg>