119 lines
6.2 KiB
XML
119 lines
6.2 KiB
XML
<?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.50.0 (0)
|
|
-->
|
|
<!-- Title: finite_state_machine Pages: 1 -->
|
|
<svg width="447pt" height="155pt"
|
|
viewBox="0.00 0.00 447.00 155.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 151)">
|
|
<title>finite_state_machine</title>
|
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-151 443,-151 443,4 -4,4"/>
|
|
<!-- 4 -->
|
|
<g id="node1" class="node">
|
|
<title>4</title>
|
|
<ellipse fill="none" stroke="black" cx="322" cy="-77" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="322" y="-73.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">4</text>
|
|
</g>
|
|
<!-- 5 -->
|
|
<g id="node2" class="node">
|
|
<title>5</title>
|
|
<ellipse fill="none" stroke="black" cx="421" cy="-108" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="421" y="-104.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">5</text>
|
|
</g>
|
|
<!-- 4->5 -->
|
|
<g id="edge1" class="edge">
|
|
<title>4->5</title>
|
|
<path fill="none" stroke="black" d="M339.45,-82.26C354.37,-87.02 376.59,-94.13 393.92,-99.66"/>
|
|
<polygon fill="black" stroke="black" points="392.87,-103.01 403.46,-102.72 395,-96.34 392.87,-103.01"/>
|
|
<text text-anchor="middle" x="371.5" y="-99.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/14</text>
|
|
</g>
|
|
<!-- 1 -->
|
|
<g id="node3" class="node">
|
|
<title>1</title>
|
|
<ellipse fill="none" stroke="black" cx="223" cy="-129" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="223" y="-125.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">1</text>
|
|
</g>
|
|
<!-- 1->4 -->
|
|
<g id="edge3" class="edge">
|
|
<title>1->4</title>
|
|
<path fill="none" stroke="black" d="M238.35,-118.9C244.57,-114.7 252.02,-109.9 259,-106 270.79,-99.41 284.34,-92.95 295.76,-87.81"/>
|
|
<polygon fill="black" stroke="black" points="297.42,-90.91 305.15,-83.66 294.58,-84.51 297.42,-90.91"/>
|
|
<text text-anchor="middle" x="272.5" y="-109.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/1</text>
|
|
</g>
|
|
<!-- 1->5 -->
|
|
<g id="edge2" class="edge">
|
|
<title>1->5</title>
|
|
<path fill="none" stroke="black" d="M240.99,-128.14C270.43,-126.52 332.78,-122.47 385,-115 387.72,-114.61 390.56,-114.15 393.38,-113.64"/>
|
|
<polygon fill="black" stroke="black" points="394.17,-117.05 403.33,-111.73 392.85,-110.18 394.17,-117.05"/>
|
|
<text text-anchor="middle" x="322" y="-126.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/21</text>
|
|
</g>
|
|
<!-- 3 -->
|
|
<g id="node4" class="node">
|
|
<title>3</title>
|
|
<ellipse fill="none" stroke="black" cx="124" cy="-72" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="124" y="-68.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">3</text>
|
|
</g>
|
|
<!-- 3->4 -->
|
|
<g id="edge6" class="edge">
|
|
<title>3->4</title>
|
|
<path fill="none" stroke="black" d="M142.05,-72.43C176.08,-73.3 252.66,-75.26 293.74,-76.3"/>
|
|
<polygon fill="black" stroke="black" points="293.76,-79.81 303.85,-76.56 293.94,-72.81 293.76,-79.81"/>
|
|
<text text-anchor="middle" x="223" y="-77.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/5</text>
|
|
</g>
|
|
<!-- 3->1 -->
|
|
<g id="edge4" class="edge">
|
|
<title>3->1</title>
|
|
<path fill="none" stroke="black" d="M140.22,-79.91C152.89,-86.6 171.33,-96.57 187,-106 190.96,-108.38 195.12,-111 199.12,-113.59"/>
|
|
<polygon fill="black" stroke="black" points="197.24,-116.54 207.52,-119.11 201.09,-110.7 197.24,-116.54"/>
|
|
<text text-anchor="middle" x="173.5" y="-109.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/11</text>
|
|
</g>
|
|
<!-- 2 -->
|
|
<g id="node5" class="node">
|
|
<title>2</title>
|
|
<ellipse fill="none" stroke="black" cx="223" cy="-18" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="223" y="-14.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">2</text>
|
|
</g>
|
|
<!-- 3->2 -->
|
|
<g id="edge5" class="edge">
|
|
<title>3->2</title>
|
|
<path fill="none" stroke="black" d="M137.57,-59.96C143.94,-54.3 152,-47.77 160,-43 171.26,-36.29 184.65,-30.63 196.1,-26.41"/>
|
|
<polygon fill="black" stroke="black" points="197.29,-29.7 205.56,-23.07 194.96,-23.1 197.29,-29.7"/>
|
|
<text text-anchor="middle" x="173.5" y="-46.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/2</text>
|
|
</g>
|
|
<!-- 2->4 -->
|
|
<g id="edge7" class="edge">
|
|
<title>2->4</title>
|
|
<path fill="none" stroke="black" d="M240.64,-22.76C253.63,-26.92 271.8,-33.76 286,-43 291.78,-46.76 297.42,-51.57 302.43,-56.37"/>
|
|
<polygon fill="black" stroke="black" points="300.2,-59.1 309.7,-63.77 305.19,-54.19 300.2,-59.1"/>
|
|
<text text-anchor="middle" x="272.5" y="-46.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/12</text>
|
|
</g>
|
|
<!-- 0 -->
|
|
<g id="node6" class="node">
|
|
<title>0</title>
|
|
<ellipse fill="none" stroke="black" cx="18" cy="-72" rx="18" ry="18"/>
|
|
<text text-anchor="middle" x="18" y="-68.3" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0</text>
|
|
</g>
|
|
<!-- 0->1 -->
|
|
<g id="edge8" class="edge">
|
|
<title>0->1</title>
|
|
<path fill="none" stroke="black" d="M33.98,-81.08C40.04,-84.5 47.21,-88.24 54,-91 99.35,-109.46 112.03,-111.17 160,-121 171.32,-123.32 183.96,-125.09 194.85,-126.37"/>
|
|
<polygon fill="black" stroke="black" points="194.73,-129.88 205.05,-127.49 195.49,-122.92 194.73,-129.88"/>
|
|
<text text-anchor="middle" x="124" y="-120.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/7</text>
|
|
</g>
|
|
<!-- 0->3 -->
|
|
<g id="edge9" class="edge">
|
|
<title>0->3</title>
|
|
<path fill="none" stroke="black" d="M36.17,-72C52.36,-72 76.87,-72 95.73,-72"/>
|
|
<polygon fill="black" stroke="black" points="95.8,-75.5 105.8,-72 95.8,-68.5 95.8,-75.5"/>
|
|
<text text-anchor="middle" x="71" y="-75.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">10/10</text>
|
|
</g>
|
|
<!-- 0->2 -->
|
|
<g id="edge10" class="edge">
|
|
<title>0->2</title>
|
|
<path fill="none" stroke="black" d="M33.77,-62.89C50.59,-53 79.22,-37.6 106,-30 135.56,-21.61 170.84,-18.95 194.67,-18.18"/>
|
|
<polygon fill="black" stroke="black" points="194.83,-21.67 204.75,-17.94 194.67,-14.68 194.83,-21.67"/>
|
|
<text text-anchor="middle" x="124" y="-33.8" font-family="Helvetica,Arial,sans-serif" font-size="14.00">0/8</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
