Mercurial > 14ss.theoinf
annotate machines/ta82b.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>341.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 <y>217.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>472.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 <y>161.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>604.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 <y>160.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>746.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 <y>215.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>471.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 <y>433.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>608.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 <y>429.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 <block id="6" name="q6"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 <tag>Machine6</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 <x>705.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 <y>345.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
40 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 <block id="7" name="q7"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 <tag>Machine7</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 <x>833.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 <y>421.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 <block id="8" name="q8"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 <tag>Machine8</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 <x>719.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
49 <y>549.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
50 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
51 <block id="9" name="q9"> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
52 <tag>Machine9</tag> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 <x>341.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
54 <y>533.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
55 <final/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
56 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
57 <!--The list of transitions.--> |
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 <from>6</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
60 <to>7</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
61 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
62 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
63 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
64 </transition> |
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 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
67 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
68 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
69 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
70 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
71 </transition> |
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 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
74 <to>5</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
75 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
76 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
77 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
78 </transition> |
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 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
81 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
83 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
84 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
85 </transition> |
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 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
88 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
89 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
90 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
91 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
92 </transition> |
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 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
95 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
96 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
97 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
98 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
99 </transition> |
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 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
102 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
103 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
104 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
105 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
106 </transition> |
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 <from>5</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
109 <to>9</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
110 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
111 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
112 <move>S</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
113 </transition> |
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 <from>5</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
116 <to>6</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
117 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
118 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
119 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
120 </transition> |
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 <from>7</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
123 <to>5</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
124 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
125 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
126 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
127 </transition> |
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 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
130 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
131 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
132 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
133 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
134 </transition> |
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 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
137 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
138 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
139 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
140 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
141 </transition> |
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 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
144 <to>9</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
145 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
146 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
147 <move>S</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
148 </transition> |
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 <from>8</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
151 <to>7</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
152 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
153 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
154 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
155 </transition> |
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 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
158 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
159 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
160 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
161 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
162 </transition> |
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 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
165 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
166 <read>b</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
167 <write>b</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
168 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
169 </transition> |
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 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
172 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
173 <read>a</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
174 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
175 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
176 </transition> |
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 <from>7</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
179 <to>7</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
180 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
181 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
182 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
183 </transition> |
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 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
186 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
187 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
188 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
189 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
190 </transition> |
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 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
193 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
194 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
195 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
196 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
197 </transition> |
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 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
200 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
201 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
202 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
203 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
204 </transition> |
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 <from>4</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
207 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
208 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
209 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
210 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
211 </transition> |
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 <from>7</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
214 <to>7</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
215 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
216 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
217 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
218 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
219 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
220 <from>7</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
221 <to>7</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
222 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
223 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
224 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
225 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
226 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
227 <from>8</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
228 <to>8</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
229 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
230 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
231 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
232 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
233 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
234 <from>8</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
235 <to>8</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
236 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
237 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
238 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
239 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
240 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
241 <from>8</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
242 <to>8</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
243 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
244 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
245 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
246 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
247 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
248 <from>5</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
249 <to>5</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
250 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
251 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
252 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
253 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
254 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
255 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
256 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
257 <read>1</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
258 <write>1</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
259 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
260 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
261 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
262 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
263 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
264 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
265 <write>0</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
266 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
267 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
268 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
269 <from>6</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
270 <to>6</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
271 <read>A</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
272 <write>A</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
273 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
274 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
275 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
276 <from>6</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
277 <to>6</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
278 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
279 <write>B</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
280 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
281 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
282 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
283 <from>6</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
284 <to>6</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
285 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
286 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
287 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
288 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
289 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
290 <from>5</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
291 <to>8</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
292 <read>B</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
293 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
294 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
295 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
296 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
297 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
298 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
299 <read>0</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
300 <write>a</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
301 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
302 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
303 <!--The list of automata--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
304 <Machine8/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
305 <Machine7/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
306 <Machine9/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
307 <Machine3/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
308 <Machine4/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
309 <Machine5/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
310 <Machine6/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
311 <Machine0/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
312 <Machine1/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
313 <Machine2/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
314 </automaton> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
315 </structure> |