Mercurial > 14ss.theoinf

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