blog/content/images/state-graph.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.40.1 (20161225.0304)
 -->
<!-- Title: G Pages: 1 -->
<svg width="131pt" height="273pt"
 viewBox="0.00 0.00 131.19 272.99" 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 268.9864)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-268.9864 127.1949,-268.9864 127.1949,4 -4,4"/>
<!-- q0 -->
<g id="node1" class="node">
<title>q0</title>
<ellipse fill="#000000" stroke="#000000" cx="66.1471" cy="-263.1864" rx="1.8" ry="1.8"/>
</g>
<!-- q1 -->
<g id="node2" class="node">
<title>q1</title>
<ellipse fill="none" stroke="#000000" cx="66.1471" cy="-205.8881" rx="19.4965" ry="19.4965"/>
<text text-anchor="middle" x="66.1471" y="-202.1881" font-family="Times,serif" font-size="14.00" fill="#000000">{}</text>
</g>
<!-- q0&#45;&gt;q1 -->
<g id="edge1" class="edge">
<title>q0&#45;&gt;q1</title>
<path fill="none" stroke="#000000" d="M66.1471,-261.28C66.1471,-257.0714 66.1471,-246.5001 66.1471,-235.7072"/>
<polygon fill="#000000" stroke="#000000" points="69.6472,-235.4917 66.1471,-225.4917 62.6472,-235.4918 69.6472,-235.4917"/>
</g>
<!-- q2 -->
<g id="node3" class="node">
<title>q2</title>
<ellipse fill="none" stroke="#000000" cx="33.1471" cy="-126.342" rx="24.0958" ry="24.0958"/>
<text text-anchor="middle" x="33.1471" y="-122.642" font-family="Times,serif" font-size="14.00" fill="#000000">{p}</text>
</g>
<!-- q1&#45;&gt;q2 -->
<g id="edge2" class="edge">
<title>q1&#45;&gt;q2</title>
<path fill="none" stroke="#000000" d="M58.6588,-187.8379C54.9985,-179.0146 50.4846,-168.134 46.2763,-157.9899"/>
<polygon fill="#000000" stroke="#000000" points="49.4378,-156.4765 42.373,-148.581 42.9721,-159.1589 49.4378,-156.4765"/>
</g>
<!-- q3 -->
<g id="node4" class="node">
<title>q3</title>
<ellipse fill="none" stroke="#000000" cx="99.1471" cy="-126.342" rx="24.0958" ry="24.0958"/>
<text text-anchor="middle" x="99.1471" y="-122.642" font-family="Times,serif" font-size="14.00" fill="#000000">{q}</text>
</g>
<!-- q1&#45;&gt;q3 -->
<g id="edge3" class="edge">
<title>q1&#45;&gt;q3</title>
<path fill="none" stroke="#000000" d="M73.6353,-187.8379C77.2956,-179.0146 81.8095,-168.134 86.0178,-157.9899"/>
<polygon fill="#000000" stroke="#000000" points="89.322,-159.1589 89.9211,-148.581 82.8563,-156.4765 89.322,-159.1589"/>
</g>
<!-- q4 -->
<g id="node5" class="node">
<title>q4</title>
<ellipse fill="none" stroke="#000000" cx="33.1471" cy="-33.1471" rx="33.2948" ry="33.2948"/>
<text text-anchor="middle" x="33.1471" y="-29.4471" font-family="Times,serif" font-size="14.00" fill="#000000">{p, q}</text>
</g>
<!-- q2&#45;&gt;q4 -->
<g id="edge4" class="edge">
<title>q2&#45;&gt;q4</title>
<path fill="none" stroke="#000000" d="M27.1947,-102.825C26.5811,-94.676 26.3216,-85.267 26.4159,-76.0519"/>
<polygon fill="#000000" stroke="#000000" points="29.9209,-75.8922 26.6729,-65.8076 22.9231,-75.7166 29.9209,-75.8922"/>
</g>
<!-- q3&#45;&gt;q4 -->
<g id="edge5" class="edge">
<title>q3&#45;&gt;q4</title>
<path fill="none" stroke="#000000" d="M85.1502,-106.5777C77.3281,-95.5326 67.3451,-81.4363 58.2213,-68.5531"/>
<polygon fill="#000000" stroke="#000000" points="61.0168,-66.4444 52.3811,-60.3064 55.3043,-70.49 61.0168,-66.4444"/>
</g>
<!-- q4&#45;&gt;q2 -->
<g id="edge6" class="edge">
<title>q4&#45;&gt;q2</title>
<path fill="none" stroke="#000000" d="M39.6212,-65.8076C39.9743,-74.4803 39.9884,-83.8624 39.6637,-92.592"/>
<polygon fill="#000000" stroke="#000000" points="36.1554,-92.6474 39.0995,-102.825 43.1448,-93.0329 36.1554,-92.6474"/>
</g>
</g>
</svg>