<?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: finite_state_machine Pages: 1 -->
<svg width="727pt" height="328pt"
 viewBox="0.00 0.00 726.57 328.09" 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 324.095)">
<title>finite_state_machine</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-324.095 722.567,-324.095 722.567,4 -4,4"/>
<!-- LR_0 -->
<g id="node1" class="node"><title>LR_0</title>
<ellipse fill="none" stroke="black" cx="34.5473" cy="-104.547" rx="30.5892" ry="30.5892"/>
<ellipse fill="none" stroke="black" cx="34.5473" cy="-104.547" rx="34.5946" ry="34.5946"/>
<text text-anchor="middle" x="34.5473" y="-100.847" font-family="Times,serif" font-size="14.00">LR_0</text>
</g>
<!-- LR_2 -->
<g id="node5" class="node"><title>LR_2</title>
<ellipse fill="none" stroke="black" cx="169.642" cy="-143.547" rx="30.5947" ry="30.5947"/>
<text text-anchor="middle" x="169.642" y="-139.847" font-family="Times,serif" font-size="14.00">LR_2</text>
</g>
<!-- LR_0&#45;&gt;LR_2 -->
<g id="edge1" class="edge"><title>LR_0&#45;&gt;LR_2</title>
<path fill="none" stroke="black" d="M68.1059,-114.088C86.9347,-119.605 110.726,-126.576 130.437,-132.352"/>
<polygon fill="black" stroke="black" points="129.454,-135.711 140.035,-135.165 131.423,-128.994 129.454,-135.711"/>
<text text-anchor="middle" x="104.095" y="-133.347" font-family="Times,serif" font-size="14.00">SS(B)</text>
</g>
<!-- LR_1 -->
<g id="node6" class="node"><title>LR_1</title>
<ellipse fill="none" stroke="black" cx="169.642" cy="-54.5473" rx="30.5947" ry="30.5947"/>
<text text-anchor="middle" x="169.642" y="-50.8473" font-family="Times,serif" font-size="14.00">LR_1</text>
</g>
<!-- LR_0&#45;&gt;LR_1 -->
<g id="edge2" class="edge"><title>LR_0&#45;&gt;LR_1</title>
<path fill="none" stroke="black" d="M67.0888,-92.698C86.2465,-85.501 110.815,-76.2713 130.988,-68.6929"/>
<polygon fill="black" stroke="black" points="132.364,-71.9146 140.495,-65.1214 129.903,-65.3618 132.364,-71.9146"/>
<text text-anchor="middle" x="104.095" y="-88.3473" font-family="Times,serif" font-size="14.00">SS(S)</text>
</g>
<!-- LR_3 -->
<g id="node2" class="node"><title>LR_3</title>
<ellipse fill="none" stroke="black" cx="313.736" cy="-34.5473" rx="30.5892" ry="30.5892"/>
<ellipse fill="none" stroke="black" cx="313.736" cy="-34.5473" rx="34.5946" ry="34.5946"/>
<text text-anchor="middle" x="313.736" y="-30.8473" font-family="Times,serif" font-size="14.00">LR_3</text>
</g>
<!-- LR_4 -->
<g id="node3" class="node"><title>LR_4</title>
<ellipse fill="none" stroke="black" cx="313.736" cy="-285.547" rx="30.5892" ry="30.5892"/>
<ellipse fill="none" stroke="black" cx="313.736" cy="-285.547" rx="34.5946" ry="34.5946"/>
<text text-anchor="middle" x="313.736" y="-281.847" font-family="Times,serif" font-size="14.00">LR_4</text>
</g>
<!-- LR_8 -->
<g id="node4" class="node"><title>LR_8</title>
<ellipse fill="none" stroke="black" cx="684.02" cy="-149.547" rx="30.5892" ry="30.5892"/>
<ellipse fill="none" stroke="black" cx="684.02" cy="-149.547" rx="34.5946" ry="34.5946"/>
<text text-anchor="middle" x="684.02" y="-145.847" font-family="Times,serif" font-size="14.00">LR_8</text>
</g>
<!-- LR_6 -->
<g id="node7" class="node"><title>LR_6</title>
<ellipse fill="none" stroke="black" cx="313.736" cy="-169.547" rx="30.5947" ry="30.5947"/>
<text text-anchor="middle" x="313.736" y="-165.847" font-family="Times,serif" font-size="14.00">LR_6</text>
</g>
<!-- LR_8&#45;&gt;LR_6 -->
<g id="edge13" class="edge"><title>LR_8&#45;&gt;LR_6</title>
<path fill="none" stroke="black" d="M650.006,-156.318C598.364,-166.162 495.267,-182.815 407.284,-178.547 389.957,-177.707 370.869,-175.986 354.552,-174.272"/>
<polygon fill="black" stroke="black" points="354.595,-170.756 344.276,-173.156 353.839,-177.715 354.595,-170.756"/>
<text text-anchor="middle" x="498.378" y="-181.347" font-family="Times,serif" font-size="14.00">S(b)</text>
</g>
<!-- LR_5 -->
<g id="node8" class="node"><title>LR_5</title>
<ellipse fill="none" stroke="black" cx="437.831" cy="-105.547" rx="30.5947" ry="30.5947"/>
<text text-anchor="middle" x="437.831" y="-101.847" font-family="Times,serif" font-size="14.00">LR_5</text>
</g>
<!-- LR_8&#45;&gt;LR_5 -->
<g id="edge14" class="edge"><title>LR_8&#45;&gt;LR_5</title>
<path fill="none" stroke="black" d="M649.552,-144.138C610.366,-137.718 543.544,-126.497 486.378,-115.547 483.582,-115.012 480.697,-114.444 477.795,-113.861"/>
<polygon fill="black" stroke="black" points="478.465,-110.425 467.966,-111.848 477.061,-117.283 478.465,-110.425"/>
<text text-anchor="middle" x="558.926" y="-138.347" font-family="Times,serif" font-size="14.00">S(a)</text>
</g>
<!-- LR_2&#45;&gt;LR_4 -->
<g id="edge6" class="edge"><title>LR_2&#45;&gt;LR_4</title>
<path fill="none" stroke="black" d="M191.915,-164.806C215.551,-188.427 253.958,-226.808 281.117,-253.949"/>
<polygon fill="black" stroke="black" points="278.91,-256.691 288.457,-261.284 283.858,-251.74 278.91,-256.691"/>
<text text-anchor="middle" x="239.689" y="-234.347" font-family="Times,serif" font-size="14.00">S(A)</text>
</g>
<!-- LR_2&#45;&gt;LR_6 -->
<g id="edge4" class="edge"><title>LR_2&#45;&gt;LR_6</title>
<path fill="none" stroke="black" d="M199.74,-148.872C220.958,-152.754 249.954,-158.06 273.26,-162.324"/>
<polygon fill="black" stroke="black" points="272.723,-165.784 283.189,-164.141 273.983,-158.898 272.723,-165.784"/>
<text text-anchor="middle" x="239.689" y="-164.347" font-family="Times,serif" font-size="14.00">SS(b)</text>
</g>
<!-- LR_2&#45;&gt;LR_5 -->
<g id="edge5" class="edge"><title>LR_2&#45;&gt;LR_5</title>
<path fill="none" stroke="black" d="M198.867,-134.306C220.577,-127.616 251.455,-118.996 279.189,-114.547 318.827,-108.189 364.703,-106.16 396.708,-105.588"/>
<polygon fill="black" stroke="black" points="397.05,-109.084 407.001,-105.446 396.953,-102.084 397.05,-109.084"/>
<text text-anchor="middle" x="313.736" y="-118.347" font-family="Times,serif" font-size="14.00">SS(a)</text>
</g>
<!-- LR_1&#45;&gt;LR_3 -->
<g id="edge3" class="edge"><title>LR_1&#45;&gt;LR_3</title>
<path fill="none" stroke="black" d="M200.084,-50.4033C220.104,-47.5854 246.93,-43.8097 269.381,-40.6496"/>
<polygon fill="black" stroke="black" points="269.934,-44.1064 279.349,-39.2467 268.958,-37.1747 269.934,-44.1064"/>
<text text-anchor="middle" x="239.689" y="-51.3473" font-family="Times,serif" font-size="14.00">S($end)</text>
</g>
<!-- LR_6&#45;&gt;LR_6 -->
<g id="edge9" class="edge"><title>LR_6&#45;&gt;LR_6</title>
<path fill="none" stroke="black" d="M301.783,-197.971C301.252,-208.96 305.236,-218.095 313.736,-218.095 319.447,-218.095 323.12,-213.971 324.754,-207.932"/>
<polygon fill="black" stroke="black" points="328.239,-208.254 325.69,-197.971 321.27,-207.6 328.239,-208.254"/>
<text text-anchor="middle" x="313.736" y="-221.895" font-family="Times,serif" font-size="14.00">S(b)</text>
</g>
<!-- LR_6&#45;&gt;LR_5 -->
<g id="edge10" class="edge"><title>LR_6&#45;&gt;LR_5</title>
<path fill="none" stroke="black" d="M341.229,-155.66C358.829,-146.435 382.141,-134.215 401.339,-124.152"/>
<polygon fill="black" stroke="black" points="403.158,-127.15 410.39,-119.407 399.908,-120.95 403.158,-127.15"/>
<text text-anchor="middle" x="377.784" y="-145.347" font-family="Times,serif" font-size="14.00">S(a)</text>
</g>
<!-- LR_5&#45;&gt;LR_5 -->
<g id="edge8" class="edge"><title>LR_5&#45;&gt;LR_5</title>
<path fill="none" stroke="black" d="M426.625,-133.971C426.127,-144.96 429.862,-154.095 437.831,-154.095 443.185,-154.095 446.628,-149.971 448.16,-143.932"/>
<polygon fill="black" stroke="black" points="451.646,-144.239 449.037,-133.971 444.673,-143.625 451.646,-144.239"/>
<text text-anchor="middle" x="437.831" y="-157.895" font-family="Times,serif" font-size="14.00">S(a)</text>
</g>
<!-- LR_7 -->
<g id="node9" class="node"><title>LR_7</title>
<ellipse fill="none" stroke="black" cx="558.926" cy="-82.5473" rx="30.5947" ry="30.5947"/>
<text text-anchor="middle" x="558.926" y="-78.8473" font-family="Times,serif" font-size="14.00">LR_7</text>
</g>
<!-- LR_5&#45;&gt;LR_7 -->
<g id="edge7" class="edge"><title>LR_5&#45;&gt;LR_7</title>
<path fill="none" stroke="black" d="M467.965,-99.9209C483.248,-96.9693 502.185,-93.3121 518.736,-90.1156"/>
<polygon fill="black" stroke="black" points="519.525,-93.5281 528.68,-88.1954 518.198,-86.6551 519.525,-93.5281"/>
<text text-anchor="middle" x="498.378" y="-100.347" font-family="Times,serif" font-size="14.00">S(b)</text>
</g>
<!-- LR_7&#45;&gt;LR_8 -->
<g id="edge11" class="edge"><title>LR_7&#45;&gt;LR_8</title>
<path fill="none" stroke="black" d="M586.51,-96.471C600.018,-103.595 616.664,-112.451 631.473,-120.547 635.752,-122.887 640.218,-125.357 644.655,-127.828"/>
<polygon fill="black" stroke="black" points="643.213,-131.032 653.649,-132.861 646.631,-124.924 643.213,-131.032"/>
<text text-anchor="middle" x="619.473" y="-124.347" font-family="Times,serif" font-size="14.00">S(b)</text>
</g>
<!-- LR_7&#45;&gt;LR_5 -->
<g id="edge12" class="edge"><title>LR_7&#45;&gt;LR_5</title>
<path fill="none" stroke="black" d="M529.598,-73.6132C516.261,-70.759 500.268,-69.3085 486.378,-73.5473 480.906,-75.2172 475.493,-77.7514 470.39,-80.6773"/>
<polygon fill="black" stroke="black" points="468.156,-77.9497 461.59,-86.2649 471.908,-83.859 468.156,-77.9497"/>
<text text-anchor="middle" x="498.378" y="-77.3473" font-family="Times,serif" font-size="14.00">S(a)</text>
</g>
</g>
</svg>