161 lines
2.8 KiB
XML
161 lines
2.8 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
|
<type>fa</type>
|
|
<automaton>
|
|
<!--The list of states.-->
|
|
<state id="0" name="Start">
|
|
<x>140.0</x>
|
|
<y>254.0</y>
|
|
<initial/>
|
|
</state>
|
|
<state id="1" name="0">
|
|
<x>326.0</x>
|
|
<y>253.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="2" name="1">
|
|
<x>512.0</x>
|
|
<y>245.0</y>
|
|
</state>
|
|
<state id="3" name="2">
|
|
<x>678.0</x>
|
|
<y>155.0</y>
|
|
</state>
|
|
<state id="4" name="3">
|
|
<x>681.0</x>
|
|
<y>328.0</y>
|
|
</state>
|
|
<state id="5" name="4">
|
|
<x>806.0</x>
|
|
<y>77.0</y>
|
|
</state>
|
|
<state id="6" name="5">
|
|
<x>803.0</x>
|
|
<y>150.0</y>
|
|
</state>
|
|
<state id="7" name="6">
|
|
<x>811.0</x>
|
|
<y>299.0</y>
|
|
</state>
|
|
<state id="8" name="7">
|
|
<x>817.0</x>
|
|
<y>399.0</y>
|
|
</state>
|
|
<state id="9" name="8">
|
|
<x>945.0</x>
|
|
<y>71.0</y>
|
|
</state>
|
|
<!--The list of transitions.-->
|
|
<transition>
|
|
<from>4</from>
|
|
<to>7</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>7</from>
|
|
<to>4</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>6</from>
|
|
<to>2</to>
|
|
<controlx>662</controlx>
|
|
<controly>224</controly>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>4</from>
|
|
<to>8</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>9</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>9</from>
|
|
<to>8</to>
|
|
<controlx>1105</controlx>
|
|
<controly>304</controly>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>3</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>2</to>
|
|
<controlx>440</controlx>
|
|
<controly>371</controly>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>2</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>1</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>9</from>
|
|
<to>9</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>5</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>0</read>
|
|
</transition>
|
|
<transition>
|
|
<from>7</from>
|
|
<to>5</to>
|
|
<controlx>910</controlx>
|
|
<controly>185</controly>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>8</from>
|
|
<to>7</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>1</to>
|
|
<controlx>494</controlx>
|
|
<controly>51</controly>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>4</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>6</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>6</from>
|
|
<to>3</to>
|
|
<read>1</read>
|
|
</transition>
|
|
<transition>
|
|
<from>8</from>
|
|
<to>6</to>
|
|
<controlx>971</controlx>
|
|
<controly>279</controly>
|
|
<read>0</read>
|
|
</transition>
|
|
</automaton>
|
|
</structure> |