Comment: This TM produces 10574 nonzeros in 94842383 steps. Comment: The halting transition on B2 is unused
| 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 | 5RB | 5RA | 3RH | 1RB | 3LA | 1LA | 5 | right | B | 5 | right | A | 3 | right | H | 1 | right | B | 3 | left | A | 1 | left | A |
| B | 4LB | 1RB | 4LH | 2RA | 5LB | 5LA | 4 | left | B | 1 | right | B | 4 | left | H | 2 | right | A | 5 | left | B | 5 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (5)B>
2 3 -1 <A(5) 4
3 6 -2 <A(1) 5 4
4 8 0 5 (1)B> 5 4
5 12 -2 5 <A(1) 1 4
6 13 -3 <A(1) 12 4
7 15 -1 5 (1)B> 12 4
8 17 1 5 12 (1)B> 4
9 23 -1 5 12 <A(1) 1
10 25 1 5 1 5 (5)A> 1
11 26 2 5 1 52 (5)A>
12 27 3 5 1 53 (5)B>
13 29 1 5 1 53 <A(5) 4
14 30 0 5 1 52 <A(1) 5 4
15 32 -2 5 1 <A(1) 12 5 4
16 34 0 52 (5)A> 12 5 4
17 36 2 54 (5)A> 5 4
18 38 0 54 <A(1) 1 4
19 42 -4 <A(1) 15 4
20 44 -2 5 (1)B> 15 4
21 49 3 5 15 (1)B> 4
22 55 1 5 15 <A(1) 1
23 57 3 5 14 5 (5)A> 1
24 58 4 5 14 52 (5)A>
25 59 5 5 14 53 (5)B>
26 61 3 5 14 53 <A(5) 4
27 62 2 5 14 52 <A(1) 5 4
28 64 0 5 14 <A(1) 12 5 4
29 66 2 5 13 5 (5)A> 12 5 4
30 68 4 5 13 53 (5)A> 5 4
31 70 2 5 13 53 <A(1) 1 4
32 73 -1 5 13 <A(1) 14 4
33 75 1 5 12 5 (5)A> 14 4
34 79 5 5 12 55 (5)A> 4
35 81 3 5 12 55 <A(1) 3
36 86 -2 5 12 <A(1) 15 3
37 88 0 5 1 5 (5)A> 15 3
38 93 5 5 1 56 (5)A> 3
39 94 6 5 1 57 (1)B>
40 102 4 5 1 57 <A(1) 1
41 109 -3 5 1 <A(1) 18
42 111 -1 52 (5)A> 18
43 119 7 510 (5)A>
44 120 8 511 (5)B>
45 122 6 511 <A(5) 4
46 123 5 510 <A(1) 5 4
47 133 -5 <A(1) 110 5 4
48 135 -3 5 (1)B> 110 5 4
49 145 7 5 110 (1)B> 5 4
50 149 5 5 110 <A(1) 1 4
51 151 7 5 19 5 (5)A> 1 4
52 152 8 5 19 52 (5)A> 4
53 154 6 5 19 52 <A(1) 3
54 156 4 5 19 <A(1) 12 3
55 158 6 5 18 5 (5)A> 12 3
56 160 8 5 18 53 (5)A> 3
57 161 9 5 18 54 (1)B>
58 169 7 5 18 54 <A(1) 1
59 173 3 5 18 <A(1) 15
60 175 5 5 17 5 (5)A> 15
61 180 10 5 17 56 (5)A>
62 181 11 5 17 57 (5)B>
63 183 9 5 17 57 <A(5) 4
64 184 8 5 17 56 <A(1) 5 4
65 190 2 5 17 <A(1) 16 5 4
66 192 4 5 16 5 (5)A> 16 5 4
67 198 10 5 16 57 (5)A> 5 4
68 200 8 5 16 57 <A(1) 1 4
69 207 1 5 16 <A(1) 18 4
70 209 3 5 15 5 (5)A> 18 4
71 217 11 5 15 59 (5)A> 4
72 219 9 5 15 59 <A(1) 3
73 228 0 5 15 <A(1) 19 3
74 230 2 5 14 5 (5)A> 19 3
75 239 11 5 14 510 (5)A> 3
76 240 12 5 14 511 (1)B>
77 248 10 5 14 511 <A(1) 1
78 259 -1 5 14 <A(1) 112
79 261 1 5 13 5 (5)A> 112
80 273 13 5 13 513 (5)A>
81 274 14 5 13 514 (5)B>
82 276 12 5 13 514 <A(5) 4
83 277 11 5 13 513 <A(1) 5 4
84 290 -2 5 13 <A(1) 113 5 4
85 292 0 5 12 5 (5)A> 113 5 4
86 305 13 5 12 514 (5)A> 5 4
87 307 11 5 12 514 <A(1) 1 4
88 321 -3 5 12 <A(1) 115 4
89 323 -1 5 1 5 (5)A> 115 4
90 338 14 5 1 516 (5)A> 4
91 340 12 5 1 516 <A(1) 3
92 356 -4 5 1 <A(1) 116 3
93 358 -2 52 (5)A> 116 3
94 374 14 518 (5)A> 3
95 375 15 519 (1)B>
96 383 13 519 <A(1) 1
97 402 -6 <A(1) 120
98 404 -4 5 (1)B> 120
99 424 16 5 120 (1)B>
100 432 14 5 120 <A(1) 1
101 434 16 5 119 5 (5)A> 1
102 435 17 5 119 52 (5)A>
103 436 18 5 119 53 (5)B>
104 438 16 5 119 53 <A(5) 4
105 439 15 5 119 52 <A(1) 5 4
106 441 13 5 119 <A(1) 12 5 4
107 443 15 5 118 5 (5)A> 12 5 4
108 445 17 5 118 53 (5)A> 5 4
109 447 15 5 118 53 <A(1) 1 4
110 450 12 5 118 <A(1) 14 4
111 452 14 5 117 5 (5)A> 14 4
112 456 18 5 117 55 (5)A> 4
113 458 16 5 117 55 <A(1) 3
114 463 11 5 117 <A(1) 15 3
115 465 13 5 116 5 (5)A> 15 3
116 470 18 5 116 56 (5)A> 3
117 471 19 5 116 57 (1)B>
118 479 17 5 116 57 <A(1) 1
119 486 10 5 116 <A(1) 18
120 488 12 5 115 5 (5)A> 18
121 496 20 5 115 59 (5)A>
122 497 21 5 115 510 (5)B>
123 499 19 5 115 510 <A(5) 4
124 500 18 5 115 59 <A(1) 5 4
125 509 9 5 115 <A(1) 19 5 4
126 511 11 5 114 5 (5)A> 19 5 4
127 520 20 5 114 510 (5)A> 5 4
128 522 18 5 114 510 <A(1) 1 4
129 532 8 5 114 <A(1) 111 4
130 534 10 5 113 5 (5)A> 111 4
131 545 21 5 113 512 (5)A> 4
132 547 19 5 113 512 <A(1) 3
133 559 7 5 113 <A(1) 112 3
134 561 9 5 112 5 (5)A> 112 3
135 573 21 5 112 513 (5)A> 3
136 574 22 5 112 514 (1)B>
137 582 20 5 112 514 <A(1) 1
138 596 6 5 112 <A(1) 115
139 598 8 5 111 5 (5)A> 115
140 613 23 5 111 516 (5)A>
141 614 24 5 111 517 (5)B>
142 616 22 5 111 517 <A(5) 4
143 617 21 5 111 516 <A(1) 5 4
144 633 5 5 111 <A(1) 116 5 4
145 635 7 5 110 5 (5)A> 116 5 4
146 651 23 5 110 517 (5)A> 5 4
147 653 21 5 110 517 <A(1) 1 4
148 670 4 5 110 <A(1) 118 4
149 672 6 5 19 5 (5)A> 118 4
150 690 24 5 19 519 (5)A> 4
151 692 22 5 19 519 <A(1) 3
152 711 3 5 19 <A(1) 119 3
153 713 5 5 18 5 (5)A> 119 3
154 732 24 5 18 520 (5)A> 3
155 733 25 5 18 521 (1)B>
156 741 23 5 18 521 <A(1) 1
157 762 2 5 18 <A(1) 122
158 764 4 5 17 5 (5)A> 122
159 786 26 5 17 523 (5)A>
160 787 27 5 17 524 (5)B>
161 789 25 5 17 524 <A(5) 4
162 790 24 5 17 523 <A(1) 5 4
163 813 1 5 17 <A(1) 123 5 4
164 815 3 5 16 5 (5)A> 123 5 4
165 838 26 5 16 524 (5)A> 5 4
166 840 24 5 16 524 <A(1) 1 4
167 864 0 5 16 <A(1) 125 4
168 866 2 5 15 5 (5)A> 125 4
169 891 27 5 15 526 (5)A> 4
170 893 25 5 15 526 <A(1) 3
171 919 -1 5 15 <A(1) 126 3
172 921 1 5 14 5 (5)A> 126 3
173 947 27 5 14 527 (5)A> 3
174 948 28 5 14 528 (1)B>
175 956 26 5 14 528 <A(1) 1
176 984 -2 5 14 <A(1) 129
177 986 0 5 13 5 (5)A> 129
178 1015 29 5 13 530 (5)A>
179 1016 30 5 13 531 (5)B>
180 1018 28 5 13 531 <A(5) 4
181 1019 27 5 13 530 <A(1) 5 4
182 1049 -3 5 13 <A(1) 130 5 4
183 1051 -1 5 12 5 (5)A> 130 5 4
184 1081 29 5 12 531 (5)A> 5 4
185 1083 27 5 12 531 <A(1) 1 4
186 1114 -4 5 12 <A(1) 132 4
187 1116 -2 5 1 5 (5)A> 132 4
188 1148 30 5 1 533 (5)A> 4
189 1150 28 5 1 533 <A(1) 3
190 1183 -5 5 1 <A(1) 133 3
191 1185 -3 52 (5)A> 133 3
192 1218 30 535 (5)A> 3
193 1219 31 536 (1)B>
194 1227 29 536 <A(1) 1
195 1263 -7 <A(1) 137
196 1265 -5 5 (1)B> 137
197 1302 32 5 137 (1)B>
198 1310 30 5 137 <A(1) 1
199 1312 32 5 136 5 (5)A> 1
200 1313 33 5 136 52 (5)A>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1313
Tape index: 33
nonzeros: 40
log10(nonzeros): 1.602
log10(steps ): 3.118
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #a (T.J. & S. Ligocki)
: 10574 94842383
5T 5RB 5RA 3RH 1RB 3LA 1LA 4LB 1RB 4LH 2RA 5LB 5LA
C The halting transition on B2 is unused
L 10
M 201
pref sim
machv Lig26_a just simple
machv Lig26_a-r with repetitions reduced
machv Lig26_a-1 with tape symbol exponents
machv Lig26_a-m as 1-bck-macro machine
machv Lig26_a-a as 1-bck-macro machine with pure additive config-TRs
iam Lig26_a-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:11 CEST 2010
edate Tue Jul 6 22:13:11 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:11 CEST 2010