Mercurial > 14ss.theoinf
annotate 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 |
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>329.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 <y>230.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>451.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 <y>67.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>439.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 <y>324.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>556.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 <y>151.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
25 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
26 <block id="4" name="q4"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
27 <tag>Machine4</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
28 <x>482.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 <y>478.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
30 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
31 <block id="5" name="q5"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
32 <tag>Machine5</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
33 <x>630.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 <y>478.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 <final/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 <!--The list of transitions.--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
40 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
49 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
50 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
51 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
52 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
54 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
55 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
56 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
57 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
58 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
59 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
60 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
61 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
62 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
63 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
64 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
65 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
66 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
67 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
68 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
69 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
70 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
71 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
72 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
73 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
74 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
75 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
76 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
77 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
78 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
79 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
80 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
81 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
83 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
84 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
85 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
86 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
87 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
88 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
89 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
90 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
91 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
92 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
93 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
94 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
95 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
96 <to>5</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
97 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
98 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
99 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
100 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
101 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
102 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
103 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
104 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
105 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
106 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
107 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
108 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
109 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
110 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
111 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
112 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
113 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
114 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
115 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
116 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
117 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
118 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
119 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
120 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
121 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
122 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
123 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
124 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
125 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
126 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
127 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
128 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
129 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
130 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
131 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
132 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
133 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
134 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
135 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
136 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
137 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
138 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
139 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
140 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
141 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
142 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
143 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
144 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
145 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
146 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
147 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
148 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
149 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
150 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
151 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
152 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
153 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
154 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
155 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
156 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
157 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
158 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
159 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
160 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
161 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
162 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
163 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
164 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
165 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
166 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
167 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
168 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
169 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
170 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
171 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
172 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
173 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
174 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
175 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
176 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
177 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
178 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
179 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
180 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
181 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
182 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
183 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
184 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
185 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
186 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
187 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
188 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
189 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
190 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
191 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
192 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
193 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
194 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
195 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
196 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
197 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
198 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
199 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
200 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
201 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
202 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
203 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
204 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
205 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
206 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
207 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
208 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
209 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
210 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
211 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
212 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
213 <!--The list of automata--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
214 <Machine3/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
215 <Machine4/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
216 <Machine5/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
217 <Machine0/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
218 <Machine1/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
219 <Machine2/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
220 </automaton> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
221 </structure> |