Comment: This TM produces 43'925 nonzeros in 1'808'669'066 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | A2L | A1R | 1 | right | B | 2 | left | A | 1 | right | A |
| B | B1L | A1L | C2R | 1 | left | B | 1 | left | A | 2 | right | C |
| C | Z1R | C1L | B2R | 1 | right | Z | 1 | left | C | 2 | right | B |
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 <A 11
2 4 0 01 B> 11
3 5 -1 01 <A 11
4 8 0 12 C> 11
5 9 -1 12 <C 11
6 10 0 12 B> 11
7 11 -1 12 <A 11
8 12 0 11 A> 11
9 13 -1 11 <A 21
10 15 -3 <A 22 21
11 16 -2 01 B> 22 21
12 18 0 01 22 B> 21
13 25 -1 01 22 <A 22
14 26 0 01 21 A> 22
15 28 2 01 21 11 A>
16 31 1 01 21 11 <A 11
17 33 -1 01 21 <A 22 11
18 36 0 01 11 A> 22 11
19 38 2 01 112 A> 11
20 39 1 01 112 <A 21
21 43 -3 01 <A 222 21
22 46 -2 12 C> 222 21
23 50 2 12 222 C> 21
24 55 1 12 222 <A 22
25 56 2 12 22 21 A> 22
26 58 4 12 22 21 11 A>
27 61 3 12 22 21 11 <A 11
28 63 1 12 22 21 <A 22 11
29 66 2 12 22 11 A> 22 11
30 68 4 12 22 112 A> 11
31 69 3 12 22 112 <A 21
32 73 -1 12 22 <A 222 21
33 74 0 12 21 A> 222 21
34 78 4 12 21 112 A> 21
35 81 3 12 21 112 <A 22
36 85 -1 12 21 <A 223
37 88 0 12 11 A> 223
38 94 6 12 114 A>
39 97 5 12 114 <A 11
40 105 -3 12 <A 224 11
41 106 -2 11 A> 224 11
42 114 6 115 A> 11
43 115 5 115 <A 21
44 125 -5 <A 225 21
45 126 -4 01 B> 225 21
46 136 6 01 225 B> 21
47 143 5 01 225 <A 22
48 144 6 01 224 21 A> 22
49 146 8 01 224 21 11 A>
50 149 7 01 224 21 11 <A 11
51 151 5 01 224 21 <A 22 11
52 154 6 01 224 11 A> 22 11
53 156 8 01 224 112 A> 11
54 157 7 01 224 112 <A 21
55 161 3 01 224 <A 222 21
56 162 4 01 223 21 A> 222 21
57 166 8 01 223 21 112 A> 21
58 169 7 01 223 21 112 <A 22
59 173 3 01 223 21 <A 223
60 176 4 01 223 11 A> 223
61 182 10 01 223 114 A>
62 185 9 01 223 114 <A 11
63 193 1 01 223 <A 224 11
64 194 2 01 222 21 A> 224 11
65 202 10 01 222 21 114 A> 11
66 203 9 01 222 21 114 <A 21
67 211 1 01 222 21 <A 224 21
68 214 2 01 222 11 A> 224 21
69 222 10 01 222 115 A> 21
70 225 9 01 222 115 <A 22
71 235 -1 01 222 <A 226
72 236 0 01 22 21 A> 226
73 248 12 01 22 21 116 A>
74 251 11 01 22 21 116 <A 11
75 263 -1 01 22 21 <A 226 11
76 266 0 01 22 11 A> 226 11
77 278 12 01 22 117 A> 11
78 279 11 01 22 117 <A 21
79 293 -3 01 22 <A 227 21
80 294 -2 01 21 A> 227 21
81 308 12 01 21 117 A> 21
82 311 11 01 21 117 <A 22
83 325 -3 01 21 <A 228
84 328 -2 01 11 A> 228
85 344 14 01 119 A>
86 347 13 01 119 <A 11
87 365 -5 01 <A 229 11
88 368 -4 12 C> 229 11
89 386 14 12 229 C> 11
90 387 13 12 229 <C 11
91 388 14 12 229 B> 11
92 389 13 12 229 <A 11
93 390 14 12 228 21 A> 11
94 391 13 12 228 21 <A 21
95 394 14 12 228 11 A> 21
96 397 13 12 228 11 <A 22
97 399 11 12 228 <A 222
98 400 12 12 227 21 A> 222
99 404 16 12 227 21 112 A>
100 407 15 12 227 21 112 <A 11
101 411 11 12 227 21 <A 222 11
102 414 12 12 227 11 A> 222 11
103 418 16 12 227 113 A> 11
104 419 15 12 227 113 <A 21
105 425 9 12 227 <A 223 21
106 426 10 12 226 21 A> 223 21
107 432 16 12 226 21 113 A> 21
108 435 15 12 226 21 113 <A 22
109 441 9 12 226 21 <A 224
110 444 10 12 226 11 A> 224
111 452 18 12 226 115 A>
112 455 17 12 226 115 <A 11
113 465 7 12 226 <A 225 11
114 466 8 12 225 21 A> 225 11
115 476 18 12 225 21 115 A> 11
116 477 17 12 225 21 115 <A 21
117 487 7 12 225 21 <A 225 21
118 490 8 12 225 11 A> 225 21
119 500 18 12 225 116 A> 21
120 503 17 12 225 116 <A 22
121 515 5 12 225 <A 227
122 516 6 12 224 21 A> 227
123 530 20 12 224 21 117 A>
124 533 19 12 224 21 117 <A 11
125 547 5 12 224 21 <A 227 11
126 550 6 12 224 11 A> 227 11
127 564 20 12 224 118 A> 11
128 565 19 12 224 118 <A 21
129 581 3 12 224 <A 228 21
130 582 4 12 223 21 A> 228 21
131 598 20 12 223 21 118 A> 21
132 601 19 12 223 21 118 <A 22
133 617 3 12 223 21 <A 229
134 620 4 12 223 11 A> 229
135 638 22 12 223 1110 A>
136 641 21 12 223 1110 <A 11
137 661 1 12 223 <A 2210 11
138 662 2 12 222 21 A> 2210 11
139 682 22 12 222 21 1110 A> 11
140 683 21 12 222 21 1110 <A 21
141 703 1 12 222 21 <A 2210 21
142 706 2 12 222 11 A> 2210 21
143 726 22 12 222 1111 A> 21
144 729 21 12 222 1111 <A 22
145 751 -1 12 222 <A 2212
146 752 0 12 22 21 A> 2212
147 776 24 12 22 21 1112 A>
148 779 23 12 22 21 1112 <A 11
149 803 -1 12 22 21 <A 2212 11
150 806 0 12 22 11 A> 2212 11
151 830 24 12 22 1113 A> 11
152 831 23 12 22 1113 <A 21
153 857 -3 12 22 <A 2213 21
154 858 -2 12 21 A> 2213 21
155 884 24 12 21 1113 A> 21
156 887 23 12 21 1113 <A 22
157 913 -3 12 21 <A 2214
158 916 -2 12 11 A> 2214
159 944 26 12 1115 A>
160 947 25 12 1115 <A 11
161 977 -5 12 <A 2215 11
162 978 -4 11 A> 2215 11
163 1008 26 1116 A> 11
164 1009 25 1116 <A 21
165 1041 -7 <A 2216 21
166 1042 -6 01 B> 2216 21
167 1074 26 01 2216 B> 21
168 1081 25 01 2216 <A 22
169 1082 26 01 2215 21 A> 22
170 1084 28 01 2215 21 11 A>
171 1087 27 01 2215 21 11 <A 11
172 1089 25 01 2215 21 <A 22 11
173 1092 26 01 2215 11 A> 22 11
174 1094 28 01 2215 112 A> 11
175 1095 27 01 2215 112 <A 21
176 1099 23 01 2215 <A 222 21
177 1100 24 01 2214 21 A> 222 21
178 1104 28 01 2214 21 112 A> 21
179 1107 27 01 2214 21 112 <A 22
180 1111 23 01 2214 21 <A 223
181 1114 24 01 2214 11 A> 223
182 1120 30 01 2214 114 A>
183 1123 29 01 2214 114 <A 11
184 1131 21 01 2214 <A 224 11
185 1132 22 01 2213 21 A> 224 11
186 1140 30 01 2213 21 114 A> 11
187 1141 29 01 2213 21 114 <A 21
188 1149 21 01 2213 21 <A 224 21
189 1152 22 01 2213 11 A> 224 21
190 1160 30 01 2213 115 A> 21
191 1163 29 01 2213 115 <A 22
192 1173 19 01 2213 <A 226
193 1174 20 01 2212 21 A> 226
194 1186 32 01 2212 21 116 A>
195 1189 31 01 2212 21 116 <A 11
196 1201 19 01 2212 21 <A 226 11
197 1204 20 01 2212 11 A> 226 11
198 1216 32 01 2212 117 A> 11
199 1217 31 01 2212 117 <A 21
200 1231 17 01 2212 <A 227 21
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1231
Tape index: 17
nonzeros: 41
log10(nonzeros): 1.613
log10(steps ): 3.090
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #c of G. Lafitte & C. Papazian
5T B1R A2L A1R B1L A1L C2R Z1R C1L B2R
: 43'925 1'808'669'066
L 10
M 201
pref sim
machv Laf33_c just simple
machv Laf33_c-r with repetitions reduced
machv Laf33_c-1 with tape symbol exponents
machv Laf33_c-m as 2-macro machine
machv Laf33_c-a as 2-macro machine with pure additive config-TRs
iam Laf33_c-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:47 CEST 2010
edate Tue Jul 6 22:11:48 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:47 CEST 2010