docs/user/images/finite-state-machine.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.38.0 (20140413.2041)
 -->
<!-- Title: %527 Pages: 1 -->
<svg width="480pt" height="186pt"
 viewBox="0.00 0.00 480.18 185.70" 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 181.697)">
<title>%527</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-181.697 476.18,-181.697 476.18,4 -4,4"/>
<!-- s0 -->
<g id="node1" class="node"><title>s0</title>
<ellipse fill="none" stroke="black" cx="18.8483" cy="-74.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="18.8483" y="-71.1483" font-family="Times New Roman,serif" font-size="14.00">s0</text>
</g>
<!-- s1 -->
<g id="node2" class="node"><title>s1</title>
<ellipse fill="none" stroke="black" cx="102.545" cy="-74.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="102.545" y="-71.1483" font-family="Times New Roman,serif" font-size="14.00">s1</text>
</g>
<!-- s0&#45;&#45;s1 -->
<g id="edge1" class="edge"><title>s0&#45;&#45;s1</title>
<path fill="none" stroke="black" d="M37.9795,-74.8483C51.518,-74.8483 69.9382,-74.8483 83.4645,-74.8483"/>
<text text-anchor="middle" x="60.6967" y="-78.6483" font-family="Times New Roman,serif" font-size="14.00">A</text>
</g>
<!-- s2 -->
<g id="node3" class="node"><title>s2</title>
<ellipse fill="none" stroke="black" cx="186.242" cy="-74.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="186.242" y="-71.1483" font-family="Times New Roman,serif" font-size="14.00">s2</text>
</g>
<!-- s1&#45;&#45;s2 -->
<g id="edge2" class="edge"><title>s1&#45;&#45;s2</title>
<path fill="none" stroke="black" d="M121.676,-74.8483C135.215,-74.8483 153.635,-74.8483 167.161,-74.8483"/>
<text text-anchor="middle" x="144.393" y="-78.6483" font-family="Times New Roman,serif" font-size="14.00">B</text>
</g>
<!-- s3 -->
<g id="node4" class="node"><title>s3</title>
<ellipse fill="none" stroke="black" cx="269.938" cy="-74.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="269.938" y="-71.1483" font-family="Times New Roman,serif" font-size="14.00">s3</text>
</g>
<!-- s2&#45;&#45;s3 -->
<g id="edge3" class="edge"><title>s2&#45;&#45;s3</title>
<path fill="none" stroke="black" d="M205.373,-74.8483C218.911,-74.8483 237.332,-74.8483 250.858,-74.8483"/>
<text text-anchor="middle" x="228.09" y="-78.6483" font-family="Times New Roman,serif" font-size="14.00">C</text>
</g>
<!-- s4 -->
<g id="node5" class="node"><title>s4</title>
<ellipse fill="none" stroke="black" cx="369.635" cy="-130.848" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="369.635" y="-127.148" font-family="Times New Roman,serif" font-size="14.00">s4</text>
</g>
<!-- s3&#45;&#45;s4 -->
<g id="edge4" class="edge"><title>s3&#45;&#45;s4</title>
<path fill="none" stroke="black" d="M286.635,-83.8457C304.866,-94.2959 334.763,-111.433 352.977,-121.873"/>
<text text-anchor="middle" x="319.787" y="-113.648" font-family="Times New Roman,serif" font-size="14.00">[a&#45;z]</text>
</g>
<!-- s5 -->
<g id="node6" class="node"><title>s5</title>
<ellipse fill="green" stroke="black" cx="369.635" cy="-74.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="369.635" y="-71.1483" font-family="Times New Roman,serif" font-size="14.00">s5</text>
</g>
<!-- s3&#45;&#45;s5 -->
<g id="edge5" class="edge"><title>s3&#45;&#45;s5</title>
<path fill="none" stroke="black" d="M288.857,-74.8483C306.375,-74.8483 332.907,-74.8483 350.499,-74.8483"/>
<text text-anchor="middle" x="319.787" y="-78.6483" font-family="Times New Roman,serif" font-size="14.00">A</text>
</g>
<!-- s6 -->
<g id="node7" class="node"><title>s6</title>
<ellipse fill="green" stroke="black" cx="369.635" cy="-18.8483" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="369.635" y="-15.1483" font-family="Times New Roman,serif" font-size="14.00">s6</text>
</g>
<!-- s3&#45;&#45;s6 -->
<g id="edge6" class="edge"><title>s3&#45;&#45;s6</title>
<path fill="none" stroke="black" d="M286.635,-65.851C304.866,-55.4008 334.763,-38.264 352.977,-27.8234"/>
<text text-anchor="middle" x="319.787" y="-57.6483" font-family="Times New Roman,serif" font-size="14.00">B</text>
</g>
<!-- s7 -->
<g id="node8" class="node"><title>s7</title>
<ellipse fill="green" stroke="black" cx="453.332" cy="-158.848" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="453.332" y="-155.148" font-family="Times New Roman,serif" font-size="14.00">s7</text>
</g>
<!-- s4&#45;&#45;s7 -->
<g id="edge7" class="edge"><title>s4&#45;&#45;s7</title>
<path fill="none" stroke="black" d="M387.961,-136.786C401.919,-141.57 421.435,-148.259 435.311,-153.015"/>
<text text-anchor="middle" x="411.483" y="-150.648" font-family="Times New Roman,serif" font-size="14.00">A</text>
</g>
<!-- s8 -->
<g id="node9" class="node"><title>s8</title>
<ellipse fill="green" stroke="black" cx="453.332" cy="-102.848" rx="18.6979" ry="18.6979"/>
<text text-anchor="middle" x="453.332" y="-99.1483" font-family="Times New Roman,serif" font-size="14.00">s8</text>
</g>
<!-- s4&#45;&#45;s8 -->
<g id="edge8" class="edge"><title>s4&#45;&#45;s8</title>
<path fill="none" stroke="black" d="M387.961,-124.91C401.919,-120.126 421.435,-113.438 435.311,-108.682"/>
<text text-anchor="middle" x="411.483" y="-122.648" font-family="Times New Roman,serif" font-size="14.00">B</text>
</g>
</g>
</svg>