assets/dfa1.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="428pt" height="165pt"
 viewBox="0.00 0.00 427.92 164.95" 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 160.9533)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-160.9533 423.9158,-160.9533 423.9158,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<ellipse fill="#000000" stroke="#000000" cx="1.8" cy="-37.4767" rx="1.8" ry="1.8"/>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<ellipse fill="none" stroke="#000000" cx="72.4198" cy="-37.4767" rx="31.6406" ry="37.4533"/>
<text text-anchor="middle" x="72.4198" y="-48.7767" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
<text text-anchor="middle" x="72.4198" y="-33.7767" font-family="Times,serif" font-size="14.00" fill="#000000">&#45;&#45;&#45;</text>
<text text-anchor="middle" x="72.4198" y="-18.7767" font-family="Times,serif" font-size="14.00" fill="#000000">False</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M3.8374,-37.4767C8.1052,-37.4767 18.5445,-37.4767 30.0258,-37.4767"/>
<polygon fill="#000000" stroke="#000000" points="30.2549,-40.9768 40.2549,-37.4767 30.2548,-33.9768 30.2549,-40.9768"/>
</g>
<!-- 1&#45;&gt;1 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M63.0591,-73.493C63.2937,-84.4155 66.4139,-92.9533 72.4198,-92.9533 76.3612,-92.9533 79.0598,-89.2764 80.5156,-83.6615"/>
<polygon fill="#000000" stroke="#000000" points="84.0193,-83.8486 81.7805,-73.493 77.0728,-82.9844 84.0193,-83.8486"/>
<text text-anchor="middle" x="72.4198" y="-96.7533" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="#000000" cx="179.0594" cy="-86.4767" rx="31.6406" ry="37.4533"/>
<text text-anchor="middle" x="179.0594" y="-97.7767" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
<text text-anchor="middle" x="179.0594" y="-82.7767" font-family="Times,serif" font-size="14.00" fill="#000000">&#45;&#45;&#45;</text>
<text text-anchor="middle" x="179.0594" y="-67.7767" font-family="Times,serif" font-size="14.00" fill="#000000">False</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M102.1249,-51.1259C113.8131,-56.4965 127.3986,-62.7389 139.8719,-68.4703"/>
<polygon fill="#000000" stroke="#000000" points="138.5958,-71.7357 149.1438,-72.7307 141.5185,-65.375 138.5958,-71.7357"/>
<text text-anchor="middle" x="125.7396" y="-66.2767" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 2&#45;&gt;2 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M169.3189,-122.2261C169.5157,-133.2761 172.7625,-141.9533 179.0594,-141.9533 183.1917,-141.9533 186.0105,-138.2163 187.5157,-132.5242"/>
<polygon fill="#000000" stroke="#000000" points="191.0355,-132.5824 188.7999,-122.2261 184.0893,-131.7161 191.0355,-132.5824"/>
<text text-anchor="middle" x="179.0594" y="-145.7533" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<ellipse fill="none" stroke="#000000" cx="285.699" cy="-86.4767" rx="31.6406" ry="37.4533"/>
<text text-anchor="middle" x="285.699" y="-97.7767" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
<text text-anchor="middle" x="285.699" y="-82.7767" font-family="Times,serif" font-size="14.00" fill="#000000">&#45;&#45;&#45;</text>
<text text-anchor="middle" x="285.699" y="-67.7767" font-family="Times,serif" font-size="14.00" fill="#000000">False</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge5" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M211.0548,-86.4767C221.2831,-86.4767 232.7647,-86.4767 243.5991,-86.4767"/>
<polygon fill="#000000" stroke="#000000" points="243.7262,-89.9768 253.7262,-86.4767 243.7262,-82.9768 243.7262,-89.9768"/>
<text text-anchor="middle" x="232.3792" y="-90.2767" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 3&#45;&gt;3 -->
<g id="edge6" class="edge">
<title>3&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M275.9585,-122.2261C276.1553,-133.2761 279.4022,-141.9533 285.699,-141.9533 289.8313,-141.9533 292.6501,-138.2163 294.1554,-132.5242"/>
<polygon fill="#000000" stroke="#000000" points="297.6751,-132.5824 295.4395,-122.2261 290.7289,-131.7161 297.6751,-132.5824"/>
<text text-anchor="middle" x="285.699" y="-145.7533" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<ellipse fill="none" stroke="#000000" cx="390.2173" cy="-37.4767" rx="29.8983" ry="37.4533"/>
<text text-anchor="middle" x="390.2173" y="-48.7767" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
<text text-anchor="middle" x="390.2173" y="-33.7767" font-family="Times,serif" font-size="14.00" fill="#000000">&#45;&#45;&#45;</text>
<text text-anchor="middle" x="390.2173" y="-18.7767" font-family="Times,serif" font-size="14.00" fill="#000000">True</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge7" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="#000000" d="M315.3702,-72.5663C327.1049,-67.0649 340.7211,-60.6813 353.0975,-54.8791"/>
<polygon fill="#000000" stroke="#000000" points="354.6998,-57.9935 362.2684,-50.5796 351.7283,-51.6555 354.6998,-57.9935"/>
<text text-anchor="middle" x="339.0188" y="-65.2767" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 4&#45;&gt;1 -->
<g id="edge9" class="edge">
<title>4&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M360.1771,-37.4767C303.3191,-37.4767 179.8443,-37.4767 114.668,-37.4767"/>
<polygon fill="#000000" stroke="#000000" points="114.3465,-33.9768 104.3465,-37.4767 114.3465,-40.9768 114.3465,-33.9768"/>
<text text-anchor="middle" x="232.3792" y="-41.2767" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 4&#45;&gt;4 -->
<g id="edge8" class="edge">
<title>4&#45;&gt;4</title>
<path fill="none" stroke="#000000" d="M380.8515,-73.2261C381.0407,-84.2761 384.1626,-92.9533 390.2173,-92.9533 394.1907,-92.9533 396.9011,-89.2163 398.3484,-83.5242"/>
<polygon fill="#000000" stroke="#000000" points="401.8677,-83.5717 399.5832,-73.2261 394.9175,-82.7383 401.8677,-83.5717"/>
<text text-anchor="middle" x="390.2173" y="-96.7533" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
</g>
</g>
</svg>