Mercurial > 14ss.theoinf

comparison machines/ta82b.jff @ 29:27fd7a9cee49

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add jflap turing machines
author Markus Kaiser <markus.kaiser@in.tum.de>
date Sat, 21 Jun 2014 20:10:47 +0200
parents
children
comparison
equal deleted inserted replaced
28:2e1a4e52da10 29:27fd7a9cee49
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure>
2 <type>turing</type>
3 <automaton>
4 <!--The list of states.-->
5 <block id="0" name="q0">
6 <tag>Machine0</tag>
7 <x>341.0</x>
8 <y>217.0</y>
9 <initial/>
10 </block>
11 <block id="1" name="q1">
12 <tag>Machine1</tag>
13 <x>472.0</x>
14 <y>161.0</y>
15 </block>
16 <block id="2" name="q2">
17 <tag>Machine2</tag>
18 <x>604.0</x>
19 <y>160.0</y>
20 </block>
21 <block id="3" name="q3">
22 <tag>Machine3</tag>
23 <x>746.0</x>
24 <y>215.0</y>
25 </block>
26 <block id="4" name="q4">
27 <tag>Machine4</tag>
28 <x>471.0</x>
29 <y>433.0</y>
30 </block>
31 <block id="5" name="q5">
32 <tag>Machine5</tag>
33 <x>608.0</x>
34 <y>429.0</y>
35 </block>
36 <block id="6" name="q6">
37 <tag>Machine6</tag>
38 <x>705.0</x>
39 <y>345.0</y>
40 </block>
41 <block id="7" name="q7">
42 <tag>Machine7</tag>
43 <x>833.0</x>
44 <y>421.0</y>
45 </block>
46 <block id="8" name="q8">
47 <tag>Machine8</tag>
48 <x>719.0</x>
49 <y>549.0</y>
50 </block>
51 <block id="9" name="q9">
52 <tag>Machine9</tag>
53 <x>341.0</x>
54 <y>533.0</y>
55 <final/>
56 </block>
57 <!--The list of transitions.-->
58 <transition>
59 <from>6</from>
60 <to>7</to>
61 <read>b</read>
62 <write>X</write>
63 <move>L</move>
64 </transition>
65 <transition>
66 <from>0</from>
67 <to>1</to>
68 <read>1</read>
69 <write>B</write>
70 <move>R</move>
71 </transition>
72 <transition>
73 <from>4</from>
74 <to>5</to>
75 <read/>
76 <write/>
77 <move>R</move>
78 </transition>
79 <transition>
80 <from>1</from>
81 <to>2</to>
82 <read/>
83 <write/>
84 <move>L</move>
85 </transition>
86 <transition>
87 <from>1</from>
88 <to>2</to>
89 <read>b</read>
90 <write>b</write>
91 <move>L</move>
92 </transition>
93 <transition>
94 <from>1</from>
95 <to>2</to>
96 <read>a</read>
97 <write>a</write>
98 <move>L</move>
99 </transition>
100 <transition>
101 <from>0</from>
102 <to>1</to>
103 <read>0</read>
104 <write>A</write>
105 <move>R</move>
106 </transition>
107 <transition>
108 <from>5</from>
109 <to>9</to>
110 <read/>
111 <write/>
112 <move>S</move>
113 </transition>
114 <transition>
115 <from>5</from>
116 <to>6</to>
117 <read>A</read>
118 <write>X</write>
119 <move>R</move>
120 </transition>
121 <transition>
122 <from>7</from>
123 <to>5</to>
124 <read/>
125 <write/>
126 <move>R</move>
127 </transition>
128 <transition>
129 <from>3</from>
130 <to>0</to>
131 <read>B</read>
132 <write>B</write>
133 <move>R</move>
134 </transition>
135 <transition>
136 <from>3</from>
137 <to>0</to>
138 <read>A</read>
139 <write>A</write>
140 <move>R</move>
141 </transition>
142 <transition>
143 <from>0</from>
144 <to>9</to>
145 <read/>
146 <write/>
147 <move>S</move>
148 </transition>
149 <transition>
150 <from>8</from>
151 <to>7</to>
152 <read>a</read>
153 <write>X</write>
154 <move>L</move>
155 </transition>
156 <transition>
157 <from>2</from>
158 <to>3</to>
159 <read>1</read>
160 <write>b</write>
161 <move>L</move>
162 </transition>
163 <transition>
164 <from>0</from>
165 <to>4</to>
166 <read>b</read>
167 <write>b</write>
168 <move>L</move>
169 </transition>
170 <transition>
171 <from>0</from>
172 <to>4</to>
173 <read>a</read>
174 <write>a</write>
175 <move>L</move>
176 </transition>
177 <transition>
178 <from>7</from>
179 <to>7</to>
180 <read>B</read>
181 <write>B</write>
182 <move>L</move>
183 </transition>
184 <transition>
185 <from>3</from>
186 <to>3</to>
187 <read>1</read>
188 <write>1</write>
189 <move>L</move>
190 </transition>
191 <transition>
192 <from>3</from>
193 <to>3</to>
194 <read>0</read>
195 <write>0</write>
196 <move>L</move>
197 </transition>
198 <transition>
199 <from>4</from>
200 <to>4</to>
201 <read>A</read>
202 <write>A</write>
203 <move>L</move>
204 </transition>
205 <transition>
206 <from>4</from>
207 <to>4</to>
208 <read>B</read>
209 <write>B</write>
210 <move>L</move>
211 </transition>
212 <transition>
213 <from>7</from>
214 <to>7</to>
215 <read>X</read>
216 <write>X</write>
217 <move>L</move>
218 </transition>
219 <transition>
220 <from>7</from>
221 <to>7</to>
222 <read>A</read>
223 <write>A</write>
224 <move>L</move>
225 </transition>
226 <transition>
227 <from>8</from>
228 <to>8</to>
229 <read>A</read>
230 <write>A</write>
231 <move>R</move>
232 </transition>
233 <transition>
234 <from>8</from>
235 <to>8</to>
236 <read>B</read>
237 <write>B</write>
238 <move>R</move>
239 </transition>
240 <transition>
241 <from>8</from>
242 <to>8</to>
243 <read>X</read>
244 <write>X</write>
245 <move>R</move>
246 </transition>
247 <transition>
248 <from>5</from>
249 <to>5</to>
250 <read>X</read>
251 <write>X</write>
252 <move>R</move>
253 </transition>
254 <transition>
255 <from>1</from>
256 <to>1</to>
257 <read>1</read>
258 <write>1</write>
259 <move>R</move>
260 </transition>
261 <transition>
262 <from>1</from>
263 <to>1</to>
264 <read>0</read>
265 <write>0</write>
266 <move>R</move>
267 </transition>
268 <transition>
269 <from>6</from>
270 <to>6</to>
271 <read>A</read>
272 <write>A</write>
273 <move>R</move>
274 </transition>
275 <transition>
276 <from>6</from>
277 <to>6</to>
278 <read>B</read>
279 <write>B</write>
280 <move>R</move>
281 </transition>
282 <transition>
283 <from>6</from>
284 <to>6</to>
285 <read>X</read>
286 <write>X</write>
287 <move>R</move>
288 </transition>
289 <transition>
290 <from>5</from>
291 <to>8</to>
292 <read>B</read>
293 <write>X</write>
294 <move>R</move>
295 </transition>
296 <transition>
297 <from>2</from>
298 <to>3</to>
299 <read>0</read>
300 <write>a</write>
301 <move>L</move>
302 </transition>
303 <!--The list of automata-->
304 <Machine8/>
305 <Machine7/>
306 <Machine9/>
307 <Machine3/>
308 <Machine4/>
309 <Machine5/>
310 <Machine6/>
311 <Machine0/>
312 <Machine1/>
313 <Machine2/>
314 </automaton>
315 </structure>