69 lines
1.2 KiB
XML
69 lines
1.2 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="q0">
|
|
<x>231.0</x>
|
|
<y>267.0</y>
|
|
<label>0,3,6,9,...</label>
|
|
<initial/>
|
|
<final/>
|
|
</state>
|
|
<state id="1" name="q1">
|
|
<x>425.0</x>
|
|
<y>171.0</y>
|
|
<label>1,4,7,10,...</label>
|
|
</state>
|
|
<state id="2" name="q2">
|
|
<x>477.0</x>
|
|
<y>312.0</y>
|
|
<label>2,5,8,11,...</label>
|
|
</state>
|
|
<!--The list of transitions.-->
|
|
<transition>
|
|
<from>1</from>
|
|
<to>2</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>2</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>2</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>0</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>0</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>0</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>a</read>
|
|
</transition>
|
|
</automaton>
|
|
</structure> |