135 lines
2.3 KiB
XML
135 lines
2.3 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
|
<type>turing</type>
|
|
<automaton>
|
|
<!--The list of states.-->
|
|
<state id="0" name="q0">
|
|
<x>70.0</x>
|
|
<y>110.0</y>
|
|
<initial/>
|
|
</state>
|
|
<state id="1" name="q1">
|
|
<x>405.0</x>
|
|
<y>40.0</y>
|
|
</state>
|
|
<state id="2" name="q2">
|
|
<x>211.0</x>
|
|
<y>46.0</y>
|
|
</state>
|
|
<state id="3" name="q3">
|
|
<x>204.0</x>
|
|
<y>265.0</y>
|
|
</state>
|
|
<state id="4" name="q4">
|
|
<x>410.0</x>
|
|
<y>269.0</y>
|
|
</state>
|
|
<state id="5" name="q5">
|
|
<x>656.0</x>
|
|
<y>154.0</y>
|
|
</state>
|
|
<state id="6" name="q6">
|
|
<x>54.0</x>
|
|
<y>273.0</y>
|
|
<final/>
|
|
</state>
|
|
<!--The list of transitions.-->
|
|
<transition>
|
|
<from>0</from>
|
|
<to>6</to>
|
|
<read/>
|
|
<write/>
|
|
<move>S</move>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>1</to>
|
|
<read/>
|
|
<write/>
|
|
<move>L</move>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>3</to>
|
|
<read>1</read>
|
|
<write/>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>5</to>
|
|
<read>0</read>
|
|
<write>0</write>
|
|
<move>L</move>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>5</to>
|
|
<read>1</read>
|
|
<write>1</write>
|
|
<move>L</move>
|
|
</transition>
|
|
<transition>
|
|
<from>4</from>
|
|
<to>5</to>
|
|
<read>1</read>
|
|
<write/>
|
|
<move>L</move>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>5</to>
|
|
<read>0</read>
|
|
<write/>
|
|
<move>L</move>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>2</to>
|
|
<read>0</read>
|
|
<write>0</write>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>2</to>
|
|
<read>1</read>
|
|
<write>1</write>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>3</to>
|
|
<read>0</read>
|
|
<write>0</write>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>3</to>
|
|
<read>1</read>
|
|
<write>1</write>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>0</to>
|
|
<read/>
|
|
<write/>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>2</to>
|
|
<read>0</read>
|
|
<write/>
|
|
<move>R</move>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>4</to>
|
|
<read/>
|
|
<write/>
|
|
<move>L</move>
|
|
</transition>
|
|
</automaton>
|
|
</structure> |