Comment: This TM produces 107'900 nonzeros in 4'939'345'068 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z1R | B2R | 1 | right | B | 1 | right | Z | 2 | right | B |
| B | C1L | B0L | A1R | 1 | left | C | 0 | left | B | 1 | right | A |
| C | A1R | C2L | C1R | 1 | right | A | 2 | left | C | 1 | right | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 21
2 4 0 01 A> 21
3 8 2 01 11 B>
4 9 1 01 11 <C 10
5 11 -1 01 <C 22 10
6 14 0 12 B> 22 10
7 16 2 122 B> 10
8 17 1 122 <B
9 18 2 12 11 A>
10 21 1 12 11 <C 21
11 23 -1 12 <C 22 21
12 24 0 11 C> 22 21
13 26 2 112 C> 21
14 29 1 112 <C 22
15 33 -3 <C 223
16 34 -2 01 A> 223
17 40 4 01 213 A>
18 43 3 01 213 <C 21
19 46 4 01 212 11 C> 21
20 49 3 01 212 11 <C 22
21 51 1 01 212 <C 222
22 54 2 01 21 11 C> 222
23 58 6 01 21 113 C>
24 60 8 01 21 114 B>
25 61 7 01 21 114 <C 10
26 69 -1 01 21 <C 224 10
27 72 0 01 11 C> 224 10
28 80 8 01 115 C> 10
29 81 7 01 115 <C 20
30 91 -3 01 <C 225 20
31 94 -2 12 B> 225 20
32 104 8 126 B> 20
33 106 10 126 11 B>
34 107 9 126 11 <C 10
35 109 7 126 <C 22 10
36 110 8 125 11 C> 22 10
37 112 10 125 112 C> 10
38 113 9 125 112 <C 20
39 117 5 125 <C 222 20
40 118 6 124 11 C> 222 20
41 122 10 124 113 C> 20
42 124 12 124 114 A>
43 127 11 124 114 <C 21
44 135 3 124 <C 224 21
45 136 4 123 11 C> 224 21
46 144 12 123 115 C> 21
47 147 11 123 115 <C 22
48 157 1 123 <C 226
49 158 2 122 11 C> 226
50 170 14 122 117 C>
51 172 16 122 118 B>
52 173 15 122 118 <C 10
53 189 -1 122 <C 228 10
54 190 0 12 11 C> 228 10
55 206 16 12 119 C> 10
56 207 15 12 119 <C 20
57 225 -3 12 <C 229 20
58 226 -2 11 C> 229 20
59 244 16 1110 C> 20
60 246 18 1111 A>
61 249 17 1111 <C 21
62 271 -5 <C 2211 21
63 272 -4 01 A> 2211 21
64 294 18 01 2111 A> 21
65 298 20 01 2111 11 B>
66 299 19 01 2111 11 <C 10
67 301 17 01 2111 <C 22 10
68 304 18 01 2110 11 C> 22 10
69 306 20 01 2110 112 C> 10
70 307 19 01 2110 112 <C 20
71 311 15 01 2110 <C 222 20
72 314 16 01 219 11 C> 222 20
73 318 20 01 219 113 C> 20
74 320 22 01 219 114 A>
75 323 21 01 219 114 <C 21
76 331 13 01 219 <C 224 21
77 334 14 01 218 11 C> 224 21
78 342 22 01 218 115 C> 21
79 345 21 01 218 115 <C 22
80 355 11 01 218 <C 226
81 358 12 01 217 11 C> 226
82 370 24 01 217 117 C>
83 372 26 01 217 118 B>
84 373 25 01 217 118 <C 10
85 389 9 01 217 <C 228 10
86 392 10 01 216 11 C> 228 10
87 408 26 01 216 119 C> 10
88 409 25 01 216 119 <C 20
89 427 7 01 216 <C 229 20
90 430 8 01 215 11 C> 229 20
91 448 26 01 215 1110 C> 20
92 450 28 01 215 1111 A>
93 453 27 01 215 1111 <C 21
94 475 5 01 215 <C 2211 21
95 478 6 01 214 11 C> 2211 21
96 500 28 01 214 1112 C> 21
97 503 27 01 214 1112 <C 22
98 527 3 01 214 <C 2213
99 530 4 01 213 11 C> 2213
100 556 30 01 213 1114 C>
101 558 32 01 213 1115 B>
102 559 31 01 213 1115 <C 10
103 589 1 01 213 <C 2215 10
104 592 2 01 212 11 C> 2215 10
105 622 32 01 212 1116 C> 10
106 623 31 01 212 1116 <C 20
107 655 -1 01 212 <C 2216 20
108 658 0 01 21 11 C> 2216 20
109 690 32 01 21 1117 C> 20
110 692 34 01 21 1118 A>
111 695 33 01 21 1118 <C 21
112 731 -3 01 21 <C 2218 21
113 734 -2 01 11 C> 2218 21
114 770 34 01 1119 C> 21
115 773 33 01 1119 <C 22
116 811 -5 01 <C 2220
117 814 -4 12 B> 2220
118 854 36 1221 B>
119 855 35 1221 <C 10
120 856 36 1220 11 C> 10
121 857 35 1220 11 <C 20
122 859 33 1220 <C 22 20
123 860 34 1219 11 C> 22 20
124 862 36 1219 112 C> 20
125 864 38 1219 113 A>
126 867 37 1219 113 <C 21
127 873 31 1219 <C 223 21
128 874 32 1218 11 C> 223 21
129 880 38 1218 114 C> 21
130 883 37 1218 114 <C 22
131 891 29 1218 <C 225
132 892 30 1217 11 C> 225
133 902 40 1217 116 C>
134 904 42 1217 117 B>
135 905 41 1217 117 <C 10
136 919 27 1217 <C 227 10
137 920 28 1216 11 C> 227 10
138 934 42 1216 118 C> 10
139 935 41 1216 118 <C 20
140 951 25 1216 <C 228 20
141 952 26 1215 11 C> 228 20
142 968 42 1215 119 C> 20
143 970 44 1215 1110 A>
144 973 43 1215 1110 <C 21
145 993 23 1215 <C 2210 21
146 994 24 1214 11 C> 2210 21
147 1014 44 1214 1111 C> 21
148 1017 43 1214 1111 <C 22
149 1039 21 1214 <C 2212
150 1040 22 1213 11 C> 2212
151 1064 46 1213 1113 C>
152 1066 48 1213 1114 B>
153 1067 47 1213 1114 <C 10
154 1095 19 1213 <C 2214 10
155 1096 20 1212 11 C> 2214 10
156 1124 48 1212 1115 C> 10
157 1125 47 1212 1115 <C 20
158 1155 17 1212 <C 2215 20
159 1156 18 1211 11 C> 2215 20
160 1186 48 1211 1116 C> 20
161 1188 50 1211 1117 A>
162 1191 49 1211 1117 <C 21
163 1225 15 1211 <C 2217 21
164 1226 16 1210 11 C> 2217 21
165 1260 50 1210 1118 C> 21
166 1263 49 1210 1118 <C 22
167 1299 13 1210 <C 2219
168 1300 14 129 11 C> 2219
169 1338 52 129 1120 C>
170 1340 54 129 1121 B>
171 1341 53 129 1121 <C 10
172 1383 11 129 <C 2221 10
173 1384 12 128 11 C> 2221 10
174 1426 54 128 1122 C> 10
175 1427 53 128 1122 <C 20
176 1471 9 128 <C 2222 20
177 1472 10 127 11 C> 2222 20
178 1516 54 127 1123 C> 20
179 1518 56 127 1124 A>
180 1521 55 127 1124 <C 21
181 1569 7 127 <C 2224 21
182 1570 8 126 11 C> 2224 21
183 1618 56 126 1125 C> 21
184 1621 55 126 1125 <C 22
185 1671 5 126 <C 2226
186 1672 6 125 11 C> 2226
187 1724 58 125 1127 C>
188 1726 60 125 1128 B>
189 1727 59 125 1128 <C 10
190 1783 3 125 <C 2228 10
191 1784 4 124 11 C> 2228 10
192 1840 60 124 1129 C> 10
193 1841 59 124 1129 <C 20
194 1899 1 124 <C 2229 20
195 1900 2 123 11 C> 2229 20
196 1958 60 123 1130 C> 20
197 1960 62 123 1131 A>
198 1963 61 123 1131 <C 21
199 2025 -1 123 <C 2231 21
200 2026 0 122 11 C> 2231 21
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2026
Tape index: 0
nonzeros: 70
log10(nonzeros): 1.845
log10(steps ): 3.307
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #b of G. Lafitte & C. Papazian
5T B1R Z1R B2R C1L B0L A1R A1R C2L C1R
: 107'900 4'939'345'068
L 6
M 201
pref sim
machv Laf33_b just simple
machv Laf33_b-r with repetitions reduced
machv Laf33_b-1 with tape symbol exponents
machv Laf33_b-m as 2-macro machine
machv Laf33_b-a as 2-macro machine with pure additive config-TRs
iam Laf33_b-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:46 CEST 2010
edate Tue Jul 6 22:11:46 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:46 CEST 2010