Comment: This TM produces 15828 nonzeros in 493,600,387 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 4LA | 1RA | 5LB | 1RA | 3LB | 1 | right | B | 4 | left | A | 1 | right | A | 5 | left | B | 1 | right | A | 3 | left | B |
| B | 1LB | 1LA | 5LA | 2LA | 2RB | 1RH | 1 | left | B | 1 | left | A | 5 | left | A | 2 | left | A | 2 | right | B | 1 | right | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 6 -2 <A(4) 11
2 8 0 01 (2)B> 11
3 12 -2 01 <A(4) 41
4 16 0 12 (2)B> 41
5 24 2 12 11 (1)A>
6 28 0 12 11 <A(4) 11
7 30 -2 12 <A(4) 44 11
8 32 0 11 (1)A> 44 11
9 34 2 112 (1)A> 11
10 36 0 112 <A(4) 41
11 40 -4 <A(4) 442 41
12 42 -2 01 (2)B> 442 41
13 46 2 01 222 (2)B> 41
14 54 4 01 222 11 (1)A>
15 58 2 01 222 11 <A(4) 11
16 60 0 01 222 <A(4) 44 11
17 62 2 01 22 21 (1)A> 44 11
18 64 4 01 22 21 11 (1)A> 11
19 66 2 01 22 21 11 <A(4) 41
20 68 0 01 22 21 <A(4) 44 41
21 72 2 01 22 11 (1)A> 44 41
22 74 4 01 22 112 (1)A> 41
23 78 2 01 22 112 <A(4) 44
24 82 -2 01 22 <A(4) 443
25 84 0 01 21 (1)A> 443
26 90 6 01 21 113 (1)A>
27 94 4 01 21 113 <A(4) 11
28 100 -2 01 21 <A(4) 443 11
29 104 0 01 11 (1)A> 443 11
30 110 6 01 114 (1)A> 11
31 112 4 01 114 <A(4) 41
32 120 -4 01 <A(4) 444 41
33 124 -2 12 (2)B> 444 41
34 132 6 12 224 (2)B> 41
35 140 8 12 224 11 (1)A>
36 144 6 12 224 11 <A(4) 11
37 146 4 12 224 <A(4) 44 11
38 148 6 12 223 21 (1)A> 44 11
39 150 8 12 223 21 11 (1)A> 11
40 152 6 12 223 21 11 <A(4) 41
41 154 4 12 223 21 <A(4) 44 41
42 158 6 12 223 11 (1)A> 44 41
43 160 8 12 223 112 (1)A> 41
44 164 6 12 223 112 <A(4) 44
45 168 2 12 223 <A(4) 443
46 170 4 12 222 21 (1)A> 443
47 176 10 12 222 21 113 (1)A>
48 180 8 12 222 21 113 <A(4) 11
49 186 2 12 222 21 <A(4) 443 11
50 190 4 12 222 11 (1)A> 443 11
51 196 10 12 222 114 (1)A> 11
52 198 8 12 222 114 <A(4) 41
53 206 0 12 222 <A(4) 444 41
54 208 2 12 22 21 (1)A> 444 41
55 216 10 12 22 21 114 (1)A> 41
56 220 8 12 22 21 114 <A(4) 44
57 228 0 12 22 21 <A(4) 445
58 232 2 12 22 11 (1)A> 445
59 242 12 12 22 116 (1)A>
60 246 10 12 22 116 <A(4) 11
61 258 -2 12 22 <A(4) 446 11
62 260 0 12 21 (1)A> 446 11
63 272 12 12 21 116 (1)A> 11
64 274 10 12 21 116 <A(4) 41
65 286 -2 12 21 <A(4) 446 41
66 290 0 12 11 (1)A> 446 41
67 302 12 12 117 (1)A> 41
68 306 10 12 117 <A(4) 44
69 320 -4 12 <A(4) 448
70 322 -2 11 (1)A> 448
71 338 14 119 (1)A>
72 342 12 119 <A(4) 11
73 360 -6 <A(4) 449 11
74 362 -4 01 (2)B> 449 11
75 380 14 01 229 (2)B> 11
76 384 12 01 229 <A(4) 41
77 386 14 01 228 21 (1)A> 41
78 390 12 01 228 21 <A(4) 44
79 394 14 01 228 11 (1)A> 44
80 396 16 01 228 112 (1)A>
81 400 14 01 228 112 <A(4) 11
82 404 10 01 228 <A(4) 442 11
83 406 12 01 227 21 (1)A> 442 11
84 410 16 01 227 21 112 (1)A> 11
85 412 14 01 227 21 112 <A(4) 41
86 416 10 01 227 21 <A(4) 442 41
87 420 12 01 227 11 (1)A> 442 41
88 424 16 01 227 113 (1)A> 41
89 428 14 01 227 113 <A(4) 44
90 434 8 01 227 <A(4) 444
91 436 10 01 226 21 (1)A> 444
92 444 18 01 226 21 114 (1)A>
93 448 16 01 226 21 114 <A(4) 11
94 456 8 01 226 21 <A(4) 444 11
95 460 10 01 226 11 (1)A> 444 11
96 468 18 01 226 115 (1)A> 11
97 470 16 01 226 115 <A(4) 41
98 480 6 01 226 <A(4) 445 41
99 482 8 01 225 21 (1)A> 445 41
100 492 18 01 225 21 115 (1)A> 41
101 496 16 01 225 21 115 <A(4) 44
102 506 6 01 225 21 <A(4) 446
103 510 8 01 225 11 (1)A> 446
104 522 20 01 225 117 (1)A>
105 526 18 01 225 117 <A(4) 11
106 540 4 01 225 <A(4) 447 11
107 542 6 01 224 21 (1)A> 447 11
108 556 20 01 224 21 117 (1)A> 11
109 558 18 01 224 21 117 <A(4) 41
110 572 4 01 224 21 <A(4) 447 41
111 576 6 01 224 11 (1)A> 447 41
112 590 20 01 224 118 (1)A> 41
113 594 18 01 224 118 <A(4) 44
114 610 2 01 224 <A(4) 449
115 612 4 01 223 21 (1)A> 449
116 630 22 01 223 21 119 (1)A>
117 634 20 01 223 21 119 <A(4) 11
118 652 2 01 223 21 <A(4) 449 11
119 656 4 01 223 11 (1)A> 449 11
120 674 22 01 223 1110 (1)A> 11
121 676 20 01 223 1110 <A(4) 41
122 696 0 01 223 <A(4) 4410 41
123 698 2 01 222 21 (1)A> 4410 41
124 718 22 01 222 21 1110 (1)A> 41
125 722 20 01 222 21 1110 <A(4) 44
126 742 0 01 222 21 <A(4) 4411
127 746 2 01 222 11 (1)A> 4411
128 768 24 01 222 1112 (1)A>
129 772 22 01 222 1112 <A(4) 11
130 796 -2 01 222 <A(4) 4412 11
131 798 0 01 22 21 (1)A> 4412 11
132 822 24 01 22 21 1112 (1)A> 11
133 824 22 01 22 21 1112 <A(4) 41
134 848 -2 01 22 21 <A(4) 4412 41
135 852 0 01 22 11 (1)A> 4412 41
136 876 24 01 22 1113 (1)A> 41
137 880 22 01 22 1113 <A(4) 44
138 906 -4 01 22 <A(4) 4414
139 908 -2 01 21 (1)A> 4414
140 936 26 01 21 1114 (1)A>
141 940 24 01 21 1114 <A(4) 11
142 968 -4 01 21 <A(4) 4414 11
143 972 -2 01 11 (1)A> 4414 11
144 1000 26 01 1115 (1)A> 11
145 1002 24 01 1115 <A(4) 41
146 1032 -6 01 <A(4) 4415 41
147 1036 -4 12 (2)B> 4415 41
148 1066 26 12 2215 (2)B> 41
149 1074 28 12 2215 11 (1)A>
150 1078 26 12 2215 11 <A(4) 11
151 1080 24 12 2215 <A(4) 44 11
152 1082 26 12 2214 21 (1)A> 44 11
153 1084 28 12 2214 21 11 (1)A> 11
154 1086 26 12 2214 21 11 <A(4) 41
155 1088 24 12 2214 21 <A(4) 44 41
156 1092 26 12 2214 11 (1)A> 44 41
157 1094 28 12 2214 112 (1)A> 41
158 1098 26 12 2214 112 <A(4) 44
159 1102 22 12 2214 <A(4) 443
160 1104 24 12 2213 21 (1)A> 443
161 1110 30 12 2213 21 113 (1)A>
162 1114 28 12 2213 21 113 <A(4) 11
163 1120 22 12 2213 21 <A(4) 443 11
164 1124 24 12 2213 11 (1)A> 443 11
165 1130 30 12 2213 114 (1)A> 11
166 1132 28 12 2213 114 <A(4) 41
167 1140 20 12 2213 <A(4) 444 41
168 1142 22 12 2212 21 (1)A> 444 41
169 1150 30 12 2212 21 114 (1)A> 41
170 1154 28 12 2212 21 114 <A(4) 44
171 1162 20 12 2212 21 <A(4) 445
172 1166 22 12 2212 11 (1)A> 445
173 1176 32 12 2212 116 (1)A>
174 1180 30 12 2212 116 <A(4) 11
175 1192 18 12 2212 <A(4) 446 11
176 1194 20 12 2211 21 (1)A> 446 11
177 1206 32 12 2211 21 116 (1)A> 11
178 1208 30 12 2211 21 116 <A(4) 41
179 1220 18 12 2211 21 <A(4) 446 41
180 1224 20 12 2211 11 (1)A> 446 41
181 1236 32 12 2211 117 (1)A> 41
182 1240 30 12 2211 117 <A(4) 44
183 1254 16 12 2211 <A(4) 448
184 1256 18 12 2210 21 (1)A> 448
185 1272 34 12 2210 21 118 (1)A>
186 1276 32 12 2210 21 118 <A(4) 11
187 1292 16 12 2210 21 <A(4) 448 11
188 1296 18 12 2210 11 (1)A> 448 11
189 1312 34 12 2210 119 (1)A> 11
190 1314 32 12 2210 119 <A(4) 41
191 1332 14 12 2210 <A(4) 449 41
192 1334 16 12 229 21 (1)A> 449 41
193 1352 34 12 229 21 119 (1)A> 41
194 1356 32 12 229 21 119 <A(4) 44
195 1374 14 12 229 21 <A(4) 4410
196 1378 16 12 229 11 (1)A> 4410
197 1398 36 12 229 1111 (1)A>
198 1402 34 12 229 1111 <A(4) 11
199 1424 12 12 229 <A(4) 4411 11
200 1426 14 12 228 21 (1)A> 4411 11
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1426
Tape index: 14
nonzeros: 45
log10(nonzeros): 1.653
log10(steps ): 3.154
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #c (T.J. & S. Ligocki)
: 15828 493,600,387
5T 1RB 4LA 1RA 5LB 1RA 3LB 1LB 1LA 5LA 2LA 2RB 1RH
L 10
M 201
pref sim
machv Lig26_c just simple
machv Lig26_c-r with repetitions reduced
machv Lig26_c-1 with tape symbol exponents
machv Lig26_c-m as bck-2-macro machine
machv Lig26_c-a as bck-2-macro machine with pure additive config-TRs
iam Lig26_c-m
mtype 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:13 CEST 2010
edate Tue Jul 6 22:13:14 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:13:13 CEST 2010