Mercurial > 14ss.theoinf

comparison machines/ta81.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>77.0</x>
8 <y>175.0</y>
9 <initial/>
10 </block>
11 <block id="1" name="q1">
12 <tag>Machine1</tag>
13 <x>231.0</x>
14 <y>83.0</y>
15 </block>
16 <block id="2" name="q2">
17 <tag>Machine2</tag>
18 <x>235.0</x>
19 <y>258.0</y>
20 </block>
21 <block id="3" name="q3">
22 <tag>Machine3</tag>
23 <x>393.0</x>
24 <y>167.0</y>
25 <final/>
26 </block>
27 <!--The list of transitions.-->
28 <transition>
29 <from>0</from>
30 <to>2</to>
31 <read/>
32 <write/>
33 <move>L</move>
34 </transition>
35 <transition>
36 <from>0</from>
37 <to>0</to>
38 <read>X</read>
39 <write>X</write>
40 <move>R</move>
41 </transition>
42 <transition>
43 <from>0</from>
44 <to>1</to>
45 <read>|</read>
46 <write>X</write>
47 <move>L</move>
48 </transition>
49 <transition>
50 <from>1</from>
51 <to>0</to>
52 <read/>
53 <write>X</write>
54 <move>R</move>
55 </transition>
56 <transition>
57 <from>1</from>
58 <to>1</to>
59 <read>X</read>
60 <write>X</write>
61 <move>L</move>
62 </transition>
63 <transition>
64 <from>2</from>
65 <to>3</to>
66 <read/>
67 <write/>
68 <move>R</move>
69 </transition>
70 <transition>
71 <from>2</from>
72 <to>2</to>
73 <read>X</read>
74 <write>|</write>
75 <move>L</move>
76 </transition>
77 <!--The list of automata-->
78 <Machine3/>
79 <Machine0/>
80 <Machine1/>
81 <Machine2/>
82 </automaton>
83 </structure>