Mercurial > 14ss.theoinf
diff machines/ta81.jff @ 29:27fd7a9cee49
add jflap turing machines
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sat, 21 Jun 2014 20:10:47 +0200 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta81.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,83 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> + <type>turing</type> + <automaton> + <!--The list of states.--> + <block id="0" name="q0"> + <tag>Machine0</tag> + <x>77.0</x> + <y>175.0</y> + <initial/> + </block> + <block id="1" name="q1"> + <tag>Machine1</tag> + <x>231.0</x> + <y>83.0</y> + </block> + <block id="2" name="q2"> + <tag>Machine2</tag> + <x>235.0</x> + <y>258.0</y> + </block> + <block id="3" name="q3"> + <tag>Machine3</tag> + <x>393.0</x> + <y>167.0</y> + <final/> + </block> + <!--The list of transitions.--> + <transition> + <from>0</from> + <to>2</to> + <read/> + <write/> + <move>L</move> + </transition> + <transition> + <from>0</from> + <to>0</to> + <read>X</read> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>0</from> + <to>1</to> + <read>|</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>1</from> + <to>0</to> + <read/> + <write>X</write> + <move>R</move> + </transition> + <transition> + <from>1</from> + <to>1</to> + <read>X</read> + <write>X</write> + <move>L</move> + </transition> + <transition> + <from>2</from> + <to>3</to> + <read/> + <write/> + <move>R</move> + </transition> + <transition> + <from>2</from> + <to>2</to> + <read>X</read> + <write>|</write> + <move>L</move> + </transition> + <!--The list of automata--> + <Machine3/> + <Machine0/> + <Machine1/> + <Machine2/> + </automaton> +</structure> \ No newline at end of file