-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTM.txt
More file actions
193 lines (189 loc) · 5.54 KB
/
TM.txt
File metadata and controls
193 lines (189 loc) · 5.54 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
// Save File for STEM
// Version 1.00
// State Format: name x y start accept
STATES:
0 1762.621743 2380.314548 true false 0.000000 0.200000 0.200000 1.000000
1 1753.401813 1744.407345 false false 0.000000 0.200000 0.200000 1.000000
2 1739.943146 871.564217 false false 0.980392 0.980392 0.823529 1.000000
3 2286.258959 965.103908 false false 0.600000 0.600000 0.600000 1.000000
4 2279.700152 1148.975136 false true 0.000000 1.000000 0.000000 1.000000
5 1085.437829 149.603620 false false 0.000000 1.000000 1.000000 1.000000
6 1528.105100 21.511799 false false 0.000000 1.000000 1.000000 1.000000
7 1233.385594 196.408143 false false 0.000000 1.000000 1.000000 1.000000
8 1354.870003 211.518935 false false 0.000000 1.000000 1.000000 1.000000
9 930.806117 330.690118 false false 0.501961 0.400000 0.800000 1.000000
10 529.667344 913.329257 false false 1.000000 0.501961 0.501961 1.000000
11 316.176126 1057.765600 false false 1.000000 0.501961 0.501961 1.000000
12 778.492540 1160.225566 false false 1.000000 0.501961 0.501961 1.000000
13 338.591140 2165.766641 false false 1.000000 0.000000 0.000000 1.000000
14 863.867690 1283.309005 false false 1.000000 0.501961 0.501961 1.000000
15 734.036951 1496.826759 false false 1.000000 0.501961 0.501961 1.000000
16 985.300774 1475.292422 false false 1.000000 0.501961 0.501961 1.000000
17 1099.077787 1556.091462 false false 1.000000 0.501961 0.501961 1.000000
18 1051.566028 1790.944031 false false 1.000000 0.501961 0.501961 1.000000
19 1253.990656 1715.590006 false false 1.000000 0.501961 0.501961 1.000000
20 1373.895476 1779.323637 false false 1.000000 0.501961 0.501961 1.000000
21 1381.914045 2077.188556 false false 1.000000 0.501961 0.501961 1.000000
22 1579.640329 1881.691643 false false 1.000000 0.501961 0.501961 1.000000
23 3919.839000 1070.813598 false false 1.000000 0.000000 0.000000 1.000000
24 1204.610134 575.577315 false false 0.501961 0.400000 0.800000 1.000000
25 825.589365 897.670428 false false 1.000000 0.501961 0.501961 1.000000
26 557.371119 1205.635821 false false 1.000000 0.501961 0.501961 1.000000
27 802.342250 226.340489 false false 0.501961 0.400000 0.800000 1.000000
28 2068.559276 288.380180 false false 1.000000 0.000000 1.000000 1.000000
29 2416.589161 272.054560 false false 1.000000 0.000000 1.000000 1.000000
30 2037.019643 627.866410 false false 1.000000 0.000000 1.000000 1.000000
31 1959.919969 1575.479190 false false 0.000000 0.000000 1.000000 1.000000
32 2090.493999 1244.177902 false false 0.000000 0.000000 1.000000 1.000000
33 2398.293361 1849.823395 false false 0.000000 0.000000 1.000000 1.000000
34 686.969393 136.954124 false false 0.501961 0.400000 0.800000 1.000000
35 509.563057 134.464845 false false 0.501961 0.400000 0.800000 1.000000
36 201.723414 253.647690 false false 0.501961 0.400000 0.800000 1.000000
37 289.640272 426.832000 false false 0.501961 0.400000 0.800000 1.000000
38 367.607312 565.836547 false false 0.501961 0.400000 0.800000 1.000000
39 543.585930 616.255126 false false 0.501961 0.400000 0.800000 1.000000
40 718.415013 658.627769 false false 0.501961 0.400000 0.800000 1.000000
41 558.846578 359.496492 false false 1.000000 0.000000 0.000000 1.000000
// Transition format: fromStateId toStateId readCHar writeChar moveDirection
// The Character '~' is the catchall character
TRANSITION:
0 0 ~ ~ RIGHT
0 1 # LEFT
1 1 ~ ~ LEFT
1 2 RIGHT
2 3 # # RIGHT
3 4 RIGHT
2 5 { x RIGHT
5 5 ~ ~ RIGHT
5 6 { LEFT
6 6 ~ ~ LEFT
6 2 x x RIGHT
2 7 ( x RIGHT
7 7 ~ ~ RIGHT
7 6 ( LEFT
2 8 [ x RIGHT
8 6 [ LEFT
8 8 ~ ~ RIGHT
9 9 ~ ~ RIGHT
2 2 ~ x RIGHT
10 10 ~ ~ RIGHT
10 11 LEFT
11 13 ~ ~ RIGHT
12 12 ~ ~ LEFT
12 2 x x RIGHT
2 14 ] x RIGHT
14 14 ~ ~ RIGHT
14 15 LEFT
15 16 [ LEFT
16 16 ~ ~ LEFT
16 2 x x RIGHT
15 13 ~ ~ RIGHT
2 17 ) x RIGHT
17 17 ~ ~ RIGHT
17 18 LEFT
18 19 ( LEFT
19 19 ~ ~ LEFT
19 2 x x RIGHT
18 13 ~ ~ RIGHT
2 20 } x RIGHT
20 20 ~ ~ RIGHT
20 21 LEFT
21 13 ~ ~ RIGHT
21 22 { LEFT
22 22 ~ ~ LEFT
22 2 x x RIGHT
3 23 ~ ~ RIGHT
2 24 / x RIGHT
24 9 * x RIGHT
24 2 ~ x RIGHT
2 25 * x RIGHT
25 10 / x RIGHT
25 2 ~ x RIGHT
11 26 * LEFT
26 12 / LEFT
26 13 ~ ~ RIGHT
9 27 / RIGHT
2 28 " x RIGHT
28 2 " x RIGHT
28 28 ~ x RIGHT
28 29 \ x RIGHT
29 30 " x RIGHT
30 29 \ x RIGHT
30 2 " x RIGHT
30 28 ~ x RIGHT
2 31 ' x RIGHT
31 32 ~ x RIGHT
32 23 ~ x RIGHT
32 2 ' x RIGHT
31 33 \ x RIGHT
33 32 ' x RIGHT
33 23 ~ x RIGHT
31 23 ' x RIGHT
27 34 * LEFT
34 34 ~ ~ LEFT
34 35 x x RIGHT
35 35 ~ x RIGHT
35 36 * x RIGHT
36 35 ~ x RIGHT
36 37 / x RIGHT
37 38 LEFT
37 37 ~ ~ RIGHT
38 39 * LEFT
39 40 / LEFT
40 40 ~ ~ LEFT
40 2 x x RIGHT
35 41 # # RIGHT
36 41 # # RIGHT
36 36 * x RIGHT
28 23 # # RIGHT
30 23 # # RIGHT
29 30 n x RIGHT
29 30 0 x RIGHT
33 32 " x RIGHT
33 32 0 x RIGHT
33 32 n x RIGHT
29 30 ' x RIGHT
29 30 a x RIGHT
29 30 b x RIGHT
29 30 f x RIGHT
29 30 r x RIGHT
29 30 t x RIGHT
29 30 v x RIGHT
29 30 \ x RIGHT
29 30 ? x RIGHT
33 32 ? x RIGHT
33 32 \ x RIGHT
33 32 v x RIGHT
33 32 t x RIGHT
33 32 r x RIGHT
33 32 f x RIGHT
33 32 b x RIGHT
33 32 a x RIGHT
31 23 # # RIGHT
32 23 # # RIGHT
33 23 # # RIGHT
29 23 # # RIGHT
29 23 ~ x RIGHT
24 3 # # RIGHT
25 3 # # RIGHT
38 41 ~ ~ RIGHT
24 5 { x RIGHT
24 7 ( x RIGHT
24 8 [ x RIGHT
24 28 " x RIGHT
24 31 ' x RIGHT
24 14 ] x RIGHT
24 17 ) x RIGHT
24 20 } x RIGHT
25 5 { x RIGHT
25 7 ( x RIGHT
25 8 [ x RIGHT
25 28 " x RIGHT
25 31 ' x RIGHT
25 14 ] x RIGHT
25 17 ) x RIGHT
25 20 } x RIGHT
// Tape format: tapeChar(0) tapeChar(1) ... tapeChar(n)
TAPE:
0
Start Triangle Position:0