<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN"
 "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd" [
 <!ATTLIST svg xmlns:xlink CDATA #FIXED "http://www.w3.org/1999/xlink">
]>
<!-- Generated by Graphviz version 2.21.0 (Wed Aug &#160;6 18:38:10 UTC 2008)
     For user: (yifanhu) Yifan Hu -->
<!-- Title: g Pages: 1 -->
<svg width="1272pt" height="556pt"
 viewBox="0.00 0.00 1272.00 556.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 552)">
<title>g</title>
<polygon style="fill:white;stroke:white;" points="-4,4 -4,-552 1268,-552 1268,4 -4,4"/>
<!-- state0 -->
<g id="node1" class="node"><title>state0</title>
<polygon style="fill:white;stroke:white;stroke-width:5;" points="12,-72 204,-72 216,-84 216,-224 204,-236 12,-236 0,-224 0,-84 12,-72"/>
<path style="fill:white;stroke:white;stroke-width:5;" d="M204,-72C210,-72 216,-78 216,-84"/>
<path style="fill:white;stroke:white;stroke-width:5;" d="M216,-224C216,-230 210,-236 204,-236"/>
<path style="fill:white;stroke:white;stroke-width:5;" d="M12,-236C6,-236 0,-230 0,-224"/>
<path style="fill:white;stroke:white;stroke-width:5;" d="M0,-84C0,-78 6,-72 12,-72"/>
<polyline style="fill:none;stroke:black;stroke-width:5;" points="12,-72 204,-72 "/>
<path style="fill:none;stroke:black;stroke-width:5;" d="M204,-72C210,-72 216,-78 216,-84"/>
<polyline style="fill:none;stroke:black;stroke-width:5;" points="216,-84 216,-224 "/>
<path style="fill:none;stroke:black;stroke-width:5;" d="M216,-224C216,-230 210,-236 204,-236"/>
<polyline style="fill:none;stroke:black;stroke-width:5;" points="204,-236 12,-236 "/>
<path style="fill:none;stroke:black;stroke-width:5;" d="M12,-236C6,-236 0,-230 0,-224"/>
<polyline style="fill:none;stroke:black;stroke-width:5;" points="0,-224 0,-84 "/>
<path style="fill:none;stroke:black;stroke-width:5;" d="M0,-84C0,-78 6,-72 12,-72"/>
<polygon style="fill:white;stroke:white;" points="8,-76 8,-232 208,-232 208,-76 8,-76"/>
<polygon style="fill:black;stroke:black;" points="10,-210 10,-230 206,-230 206,-210 10,-210"/>
<text text-anchor="start" x="74" y="-216.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #0</text>
<text text-anchor="start" x="13" y="-194.733" style="font-family:Courier New;font-size:14.00;">(0) s &#45;&gt; •e $ </text>
<text text-anchor="start" x="13" y="-172.733" style="font-family:Courier New;font-size:14.00;">(1) e &#45;&gt; •l &#39;=&#39; r </text>
<text text-anchor="start" x="13" y="-150.733" style="font-family:Courier New;font-size:14.00;">(2) e &#45;&gt; •r </text>
<text text-anchor="start" x="13" y="-128.733" style="font-family:Courier New;font-size:14.00;">(3) l &#45;&gt; •&#39;*&#39; r </text>
<text text-anchor="start" x="13" y="-106.733" style="font-family:Courier New;font-size:14.00;">(4) l &#45;&gt; •&#39;n&#39; </text>
<text text-anchor="start" x="13" y="-84.7333" style="font-family:Courier New;font-size:14.00;">(5) r &#45;&gt; •l </text>
</g>
<!-- state1 -->
<g id="node2" class="node"><title>state1</title>
<polygon style="fill:white;stroke:white;" points="818,-245 994,-245 1006,-257 1006,-353 994,-365 818,-365 806,-353 806,-257 818,-245"/>
<path style="fill:white;stroke:white;" d="M994,-245C1000,-245 1006,-251 1006,-257"/>
<path style="fill:white;stroke:white;" d="M1006,-353C1006,-359 1000,-365 994,-365"/>
<path style="fill:white;stroke:white;" d="M818,-365C812,-365 806,-359 806,-353"/>
<path style="fill:white;stroke:white;" d="M806,-257C806,-251 812,-245 818,-245"/>
<polyline style="fill:none;stroke:black;" points="818,-245 994,-245 "/>
<path style="fill:none;stroke:black;" d="M994,-245C1000,-245 1006,-251 1006,-257"/>
<polyline style="fill:none;stroke:black;" points="1006,-257 1006,-353 "/>
<path style="fill:none;stroke:black;" d="M1006,-353C1006,-359 1000,-365 994,-365"/>
<polyline style="fill:none;stroke:black;" points="994,-365 818,-365 "/>
<path style="fill:none;stroke:black;" d="M818,-365C812,-365 806,-359 806,-353"/>
<polyline style="fill:none;stroke:black;" points="806,-353 806,-257 "/>
<path style="fill:none;stroke:black;" d="M806,-257C806,-251 812,-245 818,-245"/>
<polygon style="fill:white;stroke:white;" points="814,-249 814,-361 998,-361 998,-249 814,-249"/>
<polygon style="fill:black;stroke:black;" points="816,-339 816,-359 996,-359 996,-339 816,-339"/>
<text text-anchor="start" x="872" y="-345.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #1</text>
<text text-anchor="start" x="819" y="-323.733" style="font-family:Courier New;font-size:14.00;">(3) l &#45;&gt; •&#39;*&#39; r </text>
<text text-anchor="start" x="819" y="-301.733" style="font-family:Courier New;font-size:14.00;">(3) l &#45;&gt; &#39;*&#39; •r </text>
<text text-anchor="start" x="819" y="-279.733" style="font-family:Courier New;font-size:14.00;">(4) l &#45;&gt; •&#39;n&#39; </text>
<text text-anchor="start" x="819" y="-257.733" style="font-family:Courier New;font-size:14.00;">(5) r &#45;&gt; •l </text>
</g>
<!-- state0&#45;&gt;state1 -->
<g id="edge8" class="edge"><title>state0&#45;&gt;state1</title>
<path style="fill:none;stroke:black;" d="M216,-166C385,-185 698,-222 748,-236 764,-240 780,-246 797,-252"/>
<polygon style="fill:black;stroke:black;" points="795.44,-255.137 806,-256 798.283,-248.74 795.44,-255.137"/>
<text text-anchor="middle" x="507" y="-203.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;*&#39;</text>
</g>
<!-- state2 -->
<g id="node3" class="node"><title>state2</title>
<polygon style="fill:white;stroke:white;" points="1085,-184 1243,-184 1255,-196 1255,-226 1243,-238 1085,-238 1073,-226 1073,-196 1085,-184"/>
<path style="fill:white;stroke:white;" d="M1243,-184C1249,-184 1255,-190 1255,-196"/>
<path style="fill:white;stroke:white;" d="M1255,-226C1255,-232 1249,-238 1243,-238"/>
<path style="fill:white;stroke:white;" d="M1085,-238C1079,-238 1073,-232 1073,-226"/>
<path style="fill:white;stroke:white;" d="M1073,-196C1073,-190 1079,-184 1085,-184"/>
<polyline style="fill:none;stroke:black;" points="1085,-184 1243,-184 "/>
<path style="fill:none;stroke:black;" d="M1243,-184C1249,-184 1255,-190 1255,-196"/>
<polyline style="fill:none;stroke:black;" points="1255,-196 1255,-226 "/>
<path style="fill:none;stroke:black;" d="M1255,-226C1255,-232 1249,-238 1243,-238"/>
<polyline style="fill:none;stroke:black;" points="1243,-238 1085,-238 "/>
<path style="fill:none;stroke:black;" d="M1085,-238C1079,-238 1073,-232 1073,-226"/>
<polyline style="fill:none;stroke:black;" points="1073,-226 1073,-196 "/>
<path style="fill:none;stroke:black;" d="M1073,-196C1073,-190 1079,-184 1085,-184"/>
<polygon style="fill:white;stroke:white;" points="1081,-188 1081,-234 1247,-234 1247,-188 1081,-188"/>
<polygon style="fill:black;stroke:black;" points="1083,-212 1083,-232 1245,-232 1245,-212 1083,-212"/>
<text text-anchor="start" x="1130" y="-218.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #2</text>
<text text-anchor="start" x="1086" y="-196.733" style="font-family:Courier New;font-size:14.00;">(4) l &#45;&gt; &#39;n&#39; •</text>
<polygon style="fill:grey;stroke:grey;" points="1208,-190 1208,-210 1245,-210 1245,-190 1208,-190"/>
<text text-anchor="start" x="1225" y="-196.733" style="font-family:Courier New;font-size:14.00;">=$</text>
</g>
<!-- state0&#45;&gt;state2 -->
<g id="edge10" class="edge"><title>state0&#45;&gt;state2</title>
<path style="fill:none;stroke:black;" d="M216,-154C264,-154 322,-154 374,-154 374,-154 374,-154 906,-154 963,-154 1025,-167 1074,-181"/>
<polygon style="fill:black;stroke:black;" points="1073.42,-184.479 1084,-184 1075.43,-177.774 1073.42,-184.479"/>
<text text-anchor="middle" x="640" y="-157.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;n&#39;</text>
</g>
<!-- state5 -->
<g id="node6" class="node"><title>state5</title>
<polygon style="fill:black;stroke:black;" points="295,-72 453,-72 465,-84 465,-114 453,-126 295,-126 283,-114 283,-84 295,-72"/>
<path style="fill:black;stroke:black;" d="M453,-72C459,-72 465,-78 465,-84"/>
<path style="fill:black;stroke:black;" d="M465,-114C465,-120 459,-126 453,-126"/>
<path style="fill:black;stroke:black;" d="M295,-126C289,-126 283,-120 283,-114"/>
<path style="fill:black;stroke:black;" d="M283,-84C283,-78 289,-72 295,-72"/>
<polyline style="fill:none;stroke:black;" points="295,-72 453,-72 "/>
<path style="fill:none;stroke:black;" d="M453,-72C459,-72 465,-78 465,-84"/>
<polyline style="fill:none;stroke:black;" points="465,-84 465,-114 "/>
<path style="fill:none;stroke:black;" d="M465,-114C465,-120 459,-126 453,-126"/>
<polyline style="fill:none;stroke:black;" points="453,-126 295,-126 "/>
<path style="fill:none;stroke:black;" d="M295,-126C289,-126 283,-120 283,-114"/>
<polyline style="fill:none;stroke:black;" points="283,-114 283,-84 "/>
<path style="fill:none;stroke:black;" d="M283,-84C283,-78 289,-72 295,-72"/>
<polygon style="fill:black;stroke:black;" points="291,-76 291,-122 457,-122 457,-76 291,-76"/>
<polygon style="fill:black;stroke:black;" points="293,-100 293,-120 455,-120 455,-100 293,-100"/>
<text text-anchor="start" x="340" y="-106.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #5</text>
<text text-anchor="start" x="296" y="-84.7333" style="font-family:Courier New;font-size:14.00;fill:white;">(0) s &#45;&gt; e •$ </text>
</g>
<!-- state0&#45;&gt;state5 -->
<g id="edge2" class="edge"><title>state0&#45;&gt;state5</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M216,-112C222,-110 228,-108 234,-107 247,-105 259,-103 273,-102"/>
<polygon style="fill:black;stroke:black;" points="273.485,-106.348 283,-101 272.614,-97.6418 273.485,-106.348"/>
<text text-anchor="middle" x="241" y="-115.3" style="font-family:Times New Roman;font-size:28.00;">e</text>
</g>
<!-- state6 -->
<g id="node7" class="node"><title>state6</title>
<polygon style="fill:white;stroke:white;" points="278,-241 470,-241 482,-253 482,-305 470,-317 278,-317 266,-305 266,-253 278,-241"/>
<path style="fill:white;stroke:white;" d="M470,-241C476,-241 482,-247 482,-253"/>
<path style="fill:white;stroke:white;" d="M482,-305C482,-311 476,-317 470,-317"/>
<path style="fill:white;stroke:white;" d="M278,-317C272,-317 266,-311 266,-305"/>
<path style="fill:white;stroke:white;" d="M266,-253C266,-247 272,-241 278,-241"/>
<polyline style="fill:none;stroke:black;" points="278,-241 470,-241 "/>
<path style="fill:none;stroke:black;" d="M470,-241C476,-241 482,-247 482,-253"/>
<polyline style="fill:none;stroke:black;" points="482,-253 482,-305 "/>
<path style="fill:none;stroke:black;" d="M482,-305C482,-311 476,-317 470,-317"/>
<polyline style="fill:none;stroke:black;" points="470,-317 278,-317 "/>
<path style="fill:none;stroke:black;" d="M278,-317C272,-317 266,-311 266,-305"/>
<polyline style="fill:none;stroke:black;" points="266,-305 266,-253 "/>
<path style="fill:none;stroke:black;" d="M266,-253C266,-247 272,-241 278,-241"/>
<polygon style="fill:white;stroke:white;" points="274,-245 274,-313 474,-313 474,-245 274,-245"/>
<polygon style="fill:black;stroke:black;" points="276,-291 276,-311 472,-311 472,-291 276,-291"/>
<text text-anchor="start" x="340" y="-297.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #6</text>
<text text-anchor="start" x="279" y="-275.733" style="font-family:Courier New;font-size:14.00;">(1) e &#45;&gt; l •&#39;=&#39; r </text>
<text text-anchor="start" x="279" y="-253.733" style="font-family:Courier New;font-size:14.00;">(5) r &#45;&gt; l •</text>
<polygon style="fill:grey;stroke:grey;" points="435,-247 435,-267 472,-267 472,-247 435,-247"/>
<text text-anchor="start" x="460" y="-253.733" style="font-family:Courier New;font-size:14.00;">$</text>
</g>
<!-- state0&#45;&gt;state6 -->
<g id="edge4" class="edge"><title>state0&#45;&gt;state6</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M216,-205C239,-216 262,-227 284,-237"/>
<polygon style="fill:black;stroke:black;" points="282.085,-240.936 293,-241 285.639,-232.941 282.085,-240.936"/>
<text text-anchor="middle" x="241" y="-223.3" style="font-family:Times New Roman;font-size:28.00;">l</text>
</g>
<!-- state9 -->
<g id="node10" class="node"><title>state9</title>
<polygon style="fill:white;stroke:white;" points="303,-0 445,-0 457,-12 457,-42 445,-54 303,-54 291,-42 291,-12 303,-0"/>
<path style="fill:white;stroke:white;" d="M445,-0C451,-0 457,-6 457,-12"/>
<path style="fill:white;stroke:white;" d="M457,-42C457,-48 451,-54 445,-54"/>
<path style="fill:white;stroke:white;" d="M303,-54C297,-54 291,-48 291,-42"/>
<path style="fill:white;stroke:white;" d="M291,-12C291,-6 297,-0 303,-0"/>
<polyline style="fill:none;stroke:black;" points="303,-0 445,-0 "/>
<path style="fill:none;stroke:black;" d="M445,-0C451,-0 457,-6 457,-12"/>
<polyline style="fill:none;stroke:black;" points="457,-12 457,-42 "/>
<path style="fill:none;stroke:black;" d="M457,-42C457,-48 451,-54 445,-54"/>
<polyline style="fill:none;stroke:black;" points="445,-54 303,-54 "/>
<path style="fill:none;stroke:black;" d="M303,-54C297,-54 291,-48 291,-42"/>
<polyline style="fill:none;stroke:black;" points="291,-42 291,-12 "/>
<path style="fill:none;stroke:black;" d="M291,-12C291,-6 297,-0 303,-0"/>
<polygon style="fill:white;stroke:white;" points="299,-4 299,-50 449,-50 449,-4 299,-4"/>
<polygon style="fill:black;stroke:black;" points="301,-28 301,-48 447,-48 447,-28 301,-28"/>
<text text-anchor="start" x="340" y="-34.7333" style="font-family:Courier New;font-size:14.00;fill:white;">State #9</text>
<text text-anchor="start" x="304" y="-12.7333" style="font-family:Courier New;font-size:14.00;">(2) e &#45;&gt; r •</text>
<polygon style="fill:grey;stroke:grey;" points="410,-6 410,-26 447,-26 447,-6 410,-6"/>
<text text-anchor="start" x="435" y="-12.7333" style="font-family:Courier New;font-size:14.00;">$</text>
</g>
<!-- state0&#45;&gt;state9 -->
<g id="edge6" class="edge"><title>state0&#45;&gt;state9</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M216,-79C222,-76 228,-73 234,-70 249,-63 265,-57 281,-52"/>
<polygon style="fill:black;stroke:black;" points="282.679,-56.064 291,-49 280.165,-47.6831 282.679,-56.064"/>
<text text-anchor="middle" x="241" y="-78.3" style="font-family:Times New Roman;font-size:28.00;">r</text>
</g>
<!-- state1&#45;&gt;state1 -->
<g id="edge12" class="edge"><title>state1&#45;&gt;state1</title>
<path style="fill:none;stroke:black;" d="M883,-365C886,-376 894,-383 906,-383 914,-383 920,-380 924,-374"/>
<polygon style="fill:black;stroke:black;" points="927.203,-375.441 929,-365 921.084,-372.042 927.203,-375.441"/>
<text text-anchor="middle" x="906" y="-386.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;*&#39;</text>
</g>
<!-- state1&#45;&gt;state2 -->
<g id="edge16" class="edge"><title>state1&#45;&gt;state2</title>
<path style="fill:none;stroke:black;" d="M1006,-269C1031,-260 1057,-251 1080,-242"/>
<polygon style="fill:black;stroke:black;" points="1082.02,-244.964 1090,-238 1079.42,-238.464 1082.02,-244.964"/>
<text text-anchor="middle" x="1039" y="-260.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;n&#39;</text>
</g>
<!-- state3 -->
<g id="node4" class="node"><title>state3</title>
<polygon style="fill:white;stroke:white;" points="1093,-355 1235,-355 1247,-367 1247,-397 1235,-409 1093,-409 1081,-397 1081,-367 1093,-355"/>
<path style="fill:white;stroke:white;" d="M1235,-355C1241,-355 1247,-361 1247,-367"/>
<path style="fill:white;stroke:white;" d="M1247,-397C1247,-403 1241,-409 1235,-409"/>
<path style="fill:white;stroke:white;" d="M1093,-409C1087,-409 1081,-403 1081,-397"/>
<path style="fill:white;stroke:white;" d="M1081,-367C1081,-361 1087,-355 1093,-355"/>
<polyline style="fill:none;stroke:black;" points="1093,-355 1235,-355 "/>
<path style="fill:none;stroke:black;" d="M1235,-355C1241,-355 1247,-361 1247,-367"/>
<polyline style="fill:none;stroke:black;" points="1247,-367 1247,-397 "/>
<path style="fill:none;stroke:black;" d="M1247,-397C1247,-403 1241,-409 1235,-409"/>
<polyline style="fill:none;stroke:black;" points="1235,-409 1093,-409 "/>
<path style="fill:none;stroke:black;" d="M1093,-409C1087,-409 1081,-403 1081,-397"/>
<polyline style="fill:none;stroke:black;" points="1081,-397 1081,-367 "/>
<path style="fill:none;stroke:black;" d="M1081,-367C1081,-361 1087,-355 1093,-355"/>
<polygon style="fill:white;stroke:white;" points="1089,-359 1089,-405 1239,-405 1239,-359 1089,-359"/>
<polygon style="fill:black;stroke:black;" points="1091,-383 1091,-403 1237,-403 1237,-383 1091,-383"/>
<text text-anchor="start" x="1130" y="-389.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #3</text>
<text text-anchor="start" x="1094" y="-367.733" style="font-family:Courier New;font-size:14.00;">(5) r &#45;&gt; l •</text>
<polygon style="fill:grey;stroke:grey;" points="1200,-361 1200,-381 1237,-381 1237,-361 1200,-361"/>
<text text-anchor="start" x="1217" y="-367.733" style="font-family:Courier New;font-size:14.00;">=$</text>
</g>
<!-- state1&#45;&gt;state3 -->
<g id="edge18" class="edge"><title>state1&#45;&gt;state3</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M1006,-335C1028,-341 1050,-348 1071,-354"/>
<polygon style="fill:black;stroke:black;" points="1070.16,-358.317 1081,-357 1072.68,-349.936 1070.16,-358.317"/>
<text text-anchor="middle" x="1039" y="-352.3" style="font-family:Times New Roman;font-size:28.00;">l</text>
</g>
<!-- state4 -->
<g id="node5" class="node"><title>state4</title>
<polygon style="fill:white;stroke:white;" points="1076,-278 1252,-278 1264,-290 1264,-320 1252,-332 1076,-332 1064,-320 1064,-290 1076,-278"/>
<path style="fill:white;stroke:white;" d="M1252,-278C1258,-278 1264,-284 1264,-290"/>
<path style="fill:white;stroke:white;" d="M1264,-320C1264,-326 1258,-332 1252,-332"/>
<path style="fill:white;stroke:white;" d="M1076,-332C1070,-332 1064,-326 1064,-320"/>
<path style="fill:white;stroke:white;" d="M1064,-290C1064,-284 1070,-278 1076,-278"/>
<polyline style="fill:none;stroke:black;" points="1076,-278 1252,-278 "/>
<path style="fill:none;stroke:black;" d="M1252,-278C1258,-278 1264,-284 1264,-290"/>
<polyline style="fill:none;stroke:black;" points="1264,-290 1264,-320 "/>
<path style="fill:none;stroke:black;" d="M1264,-320C1264,-326 1258,-332 1252,-332"/>
<polyline style="fill:none;stroke:black;" points="1252,-332 1076,-332 "/>
<path style="fill:none;stroke:black;" d="M1076,-332C1070,-332 1064,-326 1064,-320"/>
<polyline style="fill:none;stroke:black;" points="1064,-320 1064,-290 "/>
<path style="fill:none;stroke:black;" d="M1064,-290C1064,-284 1070,-278 1076,-278"/>
<polygon style="fill:white;stroke:white;" points="1072,-282 1072,-328 1256,-328 1256,-282 1072,-282"/>
<polygon style="fill:black;stroke:black;" points="1074,-306 1074,-326 1254,-326 1254,-306 1074,-306"/>
<text text-anchor="start" x="1130" y="-312.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #4</text>
<text text-anchor="start" x="1077" y="-290.733" style="font-family:Courier New;font-size:14.00;">(3) l &#45;&gt; &#39;*&#39; r •</text>
<polygon style="fill:grey;stroke:grey;" points="1217,-284 1217,-304 1254,-304 1254,-284 1217,-284"/>
<text text-anchor="start" x="1234" y="-290.733" style="font-family:Courier New;font-size:14.00;">=$</text>
</g>
<!-- state1&#45;&gt;state4 -->
<g id="edge14" class="edge"><title>state1&#45;&gt;state4</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M1006,-305C1022,-305 1038,-305 1054,-305"/>
<polygon style="fill:black;stroke:black;" points="1054,-309.375 1064,-305 1054,-300.625 1054,-309.375"/>
<text text-anchor="middle" x="1039" y="-312.3" style="font-family:Times New Roman;font-size:28.00;">r</text>
</g>
<!-- state7 -->
<g id="node8" class="node"><title>state7</title>
<polygon style="fill:white;stroke:white;" points="544,-245 736,-245 748,-257 748,-353 736,-365 544,-365 532,-353 532,-257 544,-245"/>
<path style="fill:white;stroke:white;" d="M736,-245C742,-245 748,-251 748,-257"/>
<path style="fill:white;stroke:white;" d="M748,-353C748,-359 742,-365 736,-365"/>
<path style="fill:white;stroke:white;" d="M544,-365C538,-365 532,-359 532,-353"/>
<path style="fill:white;stroke:white;" d="M532,-257C532,-251 538,-245 544,-245"/>
<polyline style="fill:none;stroke:black;" points="544,-245 736,-245 "/>
<path style="fill:none;stroke:black;" d="M736,-245C742,-245 748,-251 748,-257"/>
<polyline style="fill:none;stroke:black;" points="748,-257 748,-353 "/>
<path style="fill:none;stroke:black;" d="M748,-353C748,-359 742,-365 736,-365"/>
<polyline style="fill:none;stroke:black;" points="736,-365 544,-365 "/>
<path style="fill:none;stroke:black;" d="M544,-365C538,-365 532,-359 532,-353"/>
<polyline style="fill:none;stroke:black;" points="532,-353 532,-257 "/>
<path style="fill:none;stroke:black;" d="M532,-257C532,-251 538,-245 544,-245"/>
<polygon style="fill:white;stroke:white;" points="540,-249 540,-361 740,-361 740,-249 540,-249"/>
<polygon style="fill:black;stroke:black;" points="542,-339 542,-359 738,-359 738,-339 542,-339"/>
<text text-anchor="start" x="606" y="-345.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #7</text>
<text text-anchor="start" x="545" y="-323.733" style="font-family:Courier New;font-size:14.00;">(1) e &#45;&gt; l &#39;=&#39; •r </text>
<text text-anchor="start" x="545" y="-301.733" style="font-family:Courier New;font-size:14.00;">(3) l &#45;&gt; •&#39;*&#39; r </text>
<text text-anchor="start" x="545" y="-279.733" style="font-family:Courier New;font-size:14.00;">(4) l &#45;&gt; •&#39;n&#39; </text>
<text text-anchor="start" x="545" y="-257.733" style="font-family:Courier New;font-size:14.00;">(5) r &#45;&gt; •l </text>
</g>
<!-- state6&#45;&gt;state7 -->
<g id="edge20" class="edge"><title>state6&#45;&gt;state7</title>
<path style="fill:none;stroke:black;" d="M482,-290C495,-292 508,-293 522,-294"/>
<polygon style="fill:black;stroke:black;" points="521.701,-297.488 532,-295 522.398,-290.522 521.701,-297.488"/>
<text text-anchor="middle" x="507" y="-294.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;=&#39;</text>
</g>
<!-- state7&#45;&gt;state1 -->
<g id="edge24" class="edge"><title>state7&#45;&gt;state1</title>
<path style="fill:none;stroke:black;" d="M748,-305C764,-305 780,-305 796,-305"/>
<polygon style="fill:black;stroke:black;" points="796,-308.5 806,-305 796,-301.5 796,-308.5"/>
<text text-anchor="middle" x="773" y="-308.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;*&#39;</text>
</g>
<!-- state7&#45;&gt;state2 -->
<g id="edge26" class="edge"><title>state7&#45;&gt;state2</title>
<path style="fill:none;stroke:black;" d="M734,-245C755,-235 776,-226 798,-220 885,-197 988,-197 1063,-201"/>
<polygon style="fill:black;stroke:black;" points="1062.7,-204.488 1073,-202 1063.4,-197.522 1062.7,-204.488"/>
<text text-anchor="middle" x="906" y="-223.4" style="font-family:Times New Roman;font-size:14.00;fill:#474747;">&#39;n&#39;</text>
</g>
<!-- state7&#45;&gt;state3 -->
<g id="edge28" class="edge"><title>state7&#45;&gt;state3</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M713,-365C739,-382 768,-399 798,-408 888,-435 996,-422 1071,-406"/>
<polygon style="fill:black;stroke:black;" points="1072.05,-410.251 1081,-404 1070.34,-401.671 1072.05,-410.251"/>
<text text-anchor="middle" x="906" y="-429.3" style="font-family:Times New Roman;font-size:28.00;">l</text>
</g>
<!-- state8 -->
<g id="node9" class="node"><title>state8</title>
<polygon style="fill:white;stroke:white;" points="810,-486 1002,-486 1014,-498 1014,-528 1002,-540 810,-540 798,-528 798,-498 810,-486"/>
<path style="fill:white;stroke:white;" d="M1002,-486C1008,-486 1014,-492 1014,-498"/>
<path style="fill:white;stroke:white;" d="M1014,-528C1014,-534 1008,-540 1002,-540"/>
<path style="fill:white;stroke:white;" d="M810,-540C804,-540 798,-534 798,-528"/>
<path style="fill:white;stroke:white;" d="M798,-498C798,-492 804,-486 810,-486"/>
<polyline style="fill:none;stroke:black;" points="810,-486 1002,-486 "/>
<path style="fill:none;stroke:black;" d="M1002,-486C1008,-486 1014,-492 1014,-498"/>
<polyline style="fill:none;stroke:black;" points="1014,-498 1014,-528 "/>
<path style="fill:none;stroke:black;" d="M1014,-528C1014,-534 1008,-540 1002,-540"/>
<polyline style="fill:none;stroke:black;" points="1002,-540 810,-540 "/>
<path style="fill:none;stroke:black;" d="M810,-540C804,-540 798,-534 798,-528"/>
<polyline style="fill:none;stroke:black;" points="798,-528 798,-498 "/>
<path style="fill:none;stroke:black;" d="M798,-498C798,-492 804,-486 810,-486"/>
<polygon style="fill:white;stroke:white;" points="806,-490 806,-536 1006,-536 1006,-490 806,-490"/>
<polygon style="fill:black;stroke:black;" points="808,-514 808,-534 1004,-534 1004,-514 808,-514"/>
<text text-anchor="start" x="872" y="-520.733" style="font-family:Courier New;font-size:14.00;fill:white;">State #8</text>
<text text-anchor="start" x="811" y="-498.733" style="font-family:Courier New;font-size:14.00;">(1) e &#45;&gt; l &#39;=&#39; r •</text>
<polygon style="fill:grey;stroke:grey;" points="967,-492 967,-512 1004,-512 1004,-492 967,-492"/>
<text text-anchor="start" x="992" y="-498.733" style="font-family:Courier New;font-size:14.00;">$</text>
</g>
<!-- state7&#45;&gt;state8 -->
<g id="edge22" class="edge"><title>state7&#45;&gt;state8</title>
<path style="fill:none;stroke:black;stroke-width:5;" d="M681,-365C710,-402 751,-446 798,-472 805,-475 812,-479 819,-482"/>
<polygon style="fill:black;stroke:black;" points="817.085,-485.936 828,-486 820.639,-477.941 817.085,-485.936"/>
<text text-anchor="middle" x="773" y="-465.3" style="font-family:Times New Roman;font-size:28.00;">r</text>
</g>
</g>
</svg>
