Mercurial > 14ss.theoinf
annotate 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 |
rev | line source |
---|---|
29
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
2 <type>turing</type> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
3 <automaton> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
4 <!--The list of states.--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
5 <block id="0" name="q0"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
6 <tag>Machine0</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
7 <x>77.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 <y>175.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
9 <initial/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
10 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
11 <block id="1" name="q1"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
12 <tag>Machine1</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
13 <x>231.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 <y>83.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
15 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
16 <block id="2" name="q2"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
17 <tag>Machine2</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
18 <x>235.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 <y>258.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
20 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
21 <block id="3" name="q3"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
22 <tag>Machine3</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
23 <x>393.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 <y>167.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
25 <final/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
26 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
27 <!--The list of transitions.--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
28 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
30 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
31 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
32 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
33 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
40 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 <read>|</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
49 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
50 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
51 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
52 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
54 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
55 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
56 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
57 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
58 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
59 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
60 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
61 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
62 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
63 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
64 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
65 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
66 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
67 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
68 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
69 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
70 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
71 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
72 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
73 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
74 <write>|</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
75 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
76 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
77 <!--The list of automata--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
78 <Machine3/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
79 <Machine0/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
80 <Machine1/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
81 <Machine2/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 </automaton> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
83 </structure> |