Ps2Q32++++.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.44.0 (20200408.0750)
 -->
<!-- Title: G Pages: 1 -->
<svg width="379pt" height="103pt"
 viewBox="0.00 0.00 379.00 103.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 99)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-99 375,-99 375,4 -4,4"/>
<!-- start -->
<g id="node1" class="node">
<title>start</title>
<ellipse fill="black" stroke="black" cx="0" cy="-33" rx="0" ry="0"/>
</g>
<!-- S -->
<g id="node2" class="node">
<title>S</title>
<ellipse fill="none" stroke="black" cx="66" cy="-33" rx="29" ry="29"/>
<text text-anchor="middle" x="66" y="-29.3" font-family="Times,serif" font-size="14.00">S</text>
</g>
<!-- start&#45;&gt;S -->
<g id="edge1" class="edge">
<title>start&#45;&gt;S</title>
<path fill="none" stroke="black" d="M1.05,-33C1.87,-33 13.45,-33 26.55,-33"/>
<polygon fill="black" stroke="black" points="26.7,-36.5 36.7,-33 26.7,-29.5 26.7,-36.5"/>
</g>
<!-- q1 -->
<g id="node4" class="node">
<title>q1</title>
<ellipse fill="none" stroke="black" cx="169" cy="-33" rx="29" ry="29"/>
<text text-anchor="start" x="163.5" y="-30.3" font-family="Times,serif" font-size="14.00">q</text>
<text text-anchor="start" x="170.5" y="-30.3" font-family="Times,serif" baseline-shift="sub" font-size="9.00">1</text>
</g>
<!-- S&#45;&gt;q1 -->
<g id="edge2" class="edge">
<title>S&#45;&gt;q1</title>
<path fill="none" stroke="black" d="M95.13,-33C105.77,-33 118.06,-33 129.49,-33"/>
<polygon fill="black" stroke="black" points="129.67,-36.5 139.67,-33 129.67,-29.5 129.67,-36.5"/>
<text text-anchor="middle" x="117.5" y="-36.8" font-family="Times,serif" font-size="14.00">ℇ</text>
</g>
<!-- a -->
<g id="node3" class="node">
<title>a</title>
<ellipse fill="none" stroke="black" cx="338" cy="-33" rx="29" ry="29"/>
<ellipse fill="none" stroke="black" cx="338" cy="-33" rx="33" ry="33"/>
<text text-anchor="middle" x="338" y="-29.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- q1&#45;&gt;a -->
<g id="edge3" class="edge">
<title>q1&#45;&gt;a</title>
<path fill="none" stroke="black" d="M198.33,-33C224.72,-33 264.41,-33 294.58,-33"/>
<polygon fill="black" stroke="black" points="294.81,-36.5 304.81,-33 294.81,-29.5 294.81,-36.5"/>
<text text-anchor="middle" x="251.5" y="-36.8" font-family="Times,serif" font-size="14.00">ab*(a∪b)∪ℇ</text>
</g>
<!-- q1&#45;&gt;q1 -->
<g id="edge4" class="edge">
<title>q1&#45;&gt;q1</title>
<path fill="none" stroke="black" d="M159.66,-60.52C159.25,-71.16 162.36,-80 169,-80 173.36,-80 176.2,-76.19 177.52,-70.57"/>
<polygon fill="black" stroke="black" points="181.01,-70.77 178.34,-60.52 174.03,-70.2 181.01,-70.77"/>
<text text-anchor="middle" x="169" y="-83.8" font-family="Times,serif" font-size="14.00">ab*(a∪b)a∪a</text>
</g>
</g>
</svg>