Professional Documents
Culture Documents
--
><structure>
<type>fa</type>
<automaton>
<!--The list of states.-->
<state id="0" name="q0">
<x>104.0</x>
<y>107.0</y>
</state>
<state id="1" name="q1">
<x>215.0</x>
<y>61.0</y>
</state>
<state id="2" name="q2">
<x>267.0</x>
<y>202.0</y>
</state>
<state id="3" name="q3">
<x>335.0</x>
<y>76.0</y>
</state>
<state id="4" name="q4">
<x>211.0</x>
<y>109.0</y>
</state>
<state id="5" name="q5">
<x>211.0</x>
<y>195.0</y>
</state>
<state id="6" name="q6">
<x>169.0</x>
<y>82.0</y>
</state>
<state id="7" name="q7">
<x>265.0</x>
<y>43.0</y>
</state>
<state id="8" name="q8">
<x>126.0</x>
<y>21.0</y>
</state>
<state id="9" name="q9">
<x>176.0</x>
<y>117.0</y>
</state>
<state id="10" name="q10">
<x>236.0</x>
<y>70.0</y>
</state>
</automaton>
</structure>