Mercurial > 14ss.theoinf
view machines/ta82.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 source
<?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>329.0</x> <y>230.0</y> <initial/> </block> <block id="1" name="q1"> <tag>Machine1</tag> <x>451.0</x> <y>67.0</y> </block> <block id="2" name="q2"> <tag>Machine2</tag> <x>439.0</x> <y>324.0</y> </block> <block id="3" name="q3"> <tag>Machine3</tag> <x>556.0</x> <y>151.0</y> </block> <block id="4" name="q4"> <tag>Machine4</tag> <x>482.0</x> <y>478.0</y> </block> <block id="5" name="q5"> <tag>Machine5</tag> <x>630.0</x> <y>478.0</y> <final/> </block> <!--The list of transitions.--> <transition> <from>0</from> <to>1</to> <read>0</read> <write>a</write> <move>R</move> </transition> <transition> <from>1</from> <to>3</to> <read/> <write>b</write> <move>L</move> </transition> <transition> <from>4</from> <to>4</to> <read>1</read> <write>1</write> <move>L</move> </transition> <transition> <from>4</from> <to>4</to> <read>0</read> <write>0</write> <move>L</move> </transition> <transition> <from>3</from> <to>3</to> <read>b</read> <write>b</write> <move>L</move> </transition> <transition> <from>3</from> <to>3</to> <read>a</read> <write>a</write> <move>L</move> </transition> <transition> <from>3</from> <to>3</to> <read>1</read> <write>1</write> <move>L</move> </transition> <transition> <from>3</from> <to>3</to> <read>0</read> <write>0</write> <move>L</move> </transition> <transition> <from>4</from> <to>5</to> <read/> <write/> <move>R</move> </transition> <transition> <from>4</from> <to>4</to> <read>a</read> <write>0</write> <move>L</move> </transition> <transition> <from>2</from> <to>3</to> <read/> <write>a</write> <move>L</move> </transition> <transition> <from>4</from> <to>4</to> <read>b</read> <write>1</write> <move>L</move> </transition> <transition> <from>0</from> <to>4</to> <read/> <write/> <move>L</move> </transition> <transition> <from>0</from> <to>0</to> <read>b</read> <write>b</write> <move>R</move> </transition> <transition> <from>0</from> <to>0</to> <read>a</read> <write>a</write> <move>R</move> </transition> <transition> <from>1</from> <to>1</to> <read>0</read> <write>0</write> <move>R</move> </transition> <transition> <from>1</from> <to>1</to> <read>1</read> <write>1</write> <move>R</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>2</from> <to>2</to> <read>a</read> <write>a</write> <move>R</move> </transition> <transition> <from>2</from> <to>2</to> <read>b</read> <write>b</write> <move>R</move> </transition> <transition> <from>1</from> <to>1</to> <read>a</read> <write>a</write> <move>R</move> </transition> <transition> <from>1</from> <to>1</to> <read>b</read> <write>b</write> <move>R</move> </transition> <transition> <from>0</from> <to>2</to> <read>1</read> <write>b</write> <move>R</move> </transition> <transition> <from>3</from> <to>0</to> <read/> <write/> <move>R</move> </transition> <!--The list of automata--> <Machine3/> <Machine4/> <Machine5/> <Machine0/> <Machine1/> <Machine2/> </automaton> </structure>