273 lines
6.0 KiB
Plaintext
273 lines
6.0 KiB
Plaintext
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||
|
<type>turing</type>
|
||
|
<tapes>3</tapes>
|
||
|
<automaton>
|
||
|
<!--The list of states.-->
|
||
|
<state id="0" name="q0">
|
||
|
<x>358.0</x>
|
||
|
<y>213.0</y>
|
||
|
<initial/>
|
||
|
</state>
|
||
|
<state id="1" name="ret 0">
|
||
|
<x>642.0</x>
|
||
|
<y>206.0</y>
|
||
|
</state>
|
||
|
<state id="2" name="ret 1">
|
||
|
<x>972.0</x>
|
||
|
<y>206.0</y>
|
||
|
</state>
|
||
|
<state id="3" name="Halt">
|
||
|
<x>809.0</x>
|
||
|
<y>410.0</y>
|
||
|
<final/>
|
||
|
</state>
|
||
|
<!--The list of transitions.-->
|
||
|
<transition>
|
||
|
<from>1</from>
|
||
|
<to>3</to>
|
||
|
<read tape="1"/>
|
||
|
<write tape="1"/>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2"/>
|
||
|
<write tape="2"/>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>1</from>
|
||
|
<to>2</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">0</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2"/>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>1</from>
|
||
|
<to>1</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">0</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1"/>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1"/>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>1</to>
|
||
|
<read tape="1"/>
|
||
|
<write tape="1"/>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2"/>
|
||
|
<write tape="2"/>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>2</from>
|
||
|
<to>3</to>
|
||
|
<read tape="1"/>
|
||
|
<write tape="1"/>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2"/>
|
||
|
<write tape="2"/>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">1</write>
|
||
|
<move tape="3">S</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>1</from>
|
||
|
<to>1</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">1</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>1</from>
|
||
|
<to>1</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">1</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>2</from>
|
||
|
<to>2</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">1</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>0</from>
|
||
|
<to>0</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">R</move>
|
||
|
<read tape="2"/>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">R</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3"/>
|
||
|
<move tape="3">R</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>2</from>
|
||
|
<to>2</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">1</read>
|
||
|
<write tape="2">1</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">0</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>2</from>
|
||
|
<to>2</to>
|
||
|
<read tape="1">1</read>
|
||
|
<write tape="1">1</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">0</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
<transition>
|
||
|
<from>2</from>
|
||
|
<to>1</to>
|
||
|
<read tape="1">0</read>
|
||
|
<write tape="1">0</write>
|
||
|
<move tape="1">L</move>
|
||
|
<read tape="2">0</read>
|
||
|
<write tape="2">0</write>
|
||
|
<move tape="2">L</move>
|
||
|
<read tape="3"/>
|
||
|
<write tape="3">1</write>
|
||
|
<move tape="3">L</move>
|
||
|
</transition>
|
||
|
</automaton>
|
||
|
</structure>
|