Mercurial > 14ss.theoinf
annotate machines/ta81_alternativ.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>181.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 <y>280.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>376.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 <y>119.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>519.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 <y>283.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>373.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 <y>438.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="qF"> |
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>626.0</x> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 <y>440.0</y> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
30 <final/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
31 </block> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
32 <!--The list of transitions.--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
33 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
40 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 <read>|</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 <write>|</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
49 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
50 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
51 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
52 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
54 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
55 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
56 <to>4</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
57 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
58 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
59 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
60 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
61 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
62 <from>1</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
63 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
64 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
65 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
66 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
67 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
68 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
69 <from>3</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
70 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
71 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
72 <write>|</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
73 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
74 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
75 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
76 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
77 <to>1</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
78 <read>|</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
79 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
80 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
81 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
83 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
84 <to>0</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
85 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
86 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
87 <move>R</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
88 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
89 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
90 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
91 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
92 <read>|</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
93 <write>|</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
94 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
95 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
96 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
97 <from>2</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
98 <to>2</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
99 <read>X</read> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
100 <write>X</write> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
101 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
102 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
103 <transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
104 <from>0</from> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
105 <to>3</to> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
106 <read/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
107 <write/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
108 <move>L</move> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
109 </transition> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
110 <!--The list of automata--> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
111 <Machine0/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
112 <Machine2/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
113 <Machine1/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
114 <Machine4/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
115 <Machine3/> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
116 </automaton> |
27fd7a9cee49
add jflap turing machines
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
117 </structure> |