Mercurial > 14ss.theoinf
diff 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 diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/machines/ta82.jff Sat Jun 21 20:10:47 2014 +0200 @@ -0,0 +1,221 @@ +<?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> \ No newline at end of file