Comment: This TM produces 10249 nonzeros in 98364599 steps. Comment: The halting transition has been changed to produce a 1
| 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 | 4RB | 4RA | 4RA | 1LA | 1LA | 1LB | 4 | right | B | 4 | right | A | 4 | right | A | 1 | left | A | 1 | left | A | 1 | left | B |
| B | 4LB | 2RB | 5LB | 3RA | 3LA | 1RH | 4 | left | B | 2 | right | B | 5 | left | B | 3 | right | A | 3 | left | A | 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 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 (4)B>
2 3 -1 <A(3) 4
3 5 1 4 (3)A> 4
4 7 -1 4 <A(1) 1
5 8 -2 <A(1) 12
6 10 0 4 (2)B> 12
7 12 2 4 22 (2)B>
8 14 0 4 22 <B(5) 4
9 16 -2 4 <B(5) 52 4
10 17 -3 <A(3) 53 4
11 19 -1 4 (3)A> 53 4
12 22 0 4 3 (4)A> 52 4
13 24 -2 4 3 <A(3) 1 5 4
14 25 -3 4 <A(1) 3 1 5 4
15 26 -4 <A(1) 1 3 1 5 4
16 28 -2 4 (2)B> 1 3 1 5 4
17 29 -1 4 2 (2)B> 3 1 5 4
18 30 0 4 22 (3)A> 1 5 4
19 31 1 4 22 3 (4)A> 5 4
20 33 -1 4 22 3 <A(3) 1 4
21 34 -2 4 22 <A(1) 3 1 4
22 36 0 4 2 4 (4)A> 3 1 4
23 38 -2 4 2 4 <A(1) 12 4
24 39 -3 4 2 <A(1) 13 4
25 41 -1 42 (4)A> 13 4
26 44 2 45 (4)A> 4
27 46 0 45 <A(1) 1
28 51 -5 <A(1) 16
29 53 -3 4 (2)B> 16
30 59 3 4 26 (2)B>
31 61 1 4 26 <B(5) 4
32 67 -5 4 <B(5) 56 4
33 68 -6 <A(3) 57 4
34 70 -4 4 (3)A> 57 4
35 73 -3 4 3 (4)A> 56 4
36 75 -5 4 3 <A(3) 1 55 4
37 76 -6 4 <A(1) 3 1 55 4
38 77 -7 <A(1) 1 3 1 55 4
39 79 -5 4 (2)B> 1 3 1 55 4
40 80 -4 4 2 (2)B> 3 1 55 4
41 81 -3 4 22 (3)A> 1 55 4
42 82 -2 4 22 3 (4)A> 55 4
43 84 -4 4 22 3 <A(3) 1 54 4
44 85 -5 4 22 <A(1) 3 1 54 4
45 87 -3 4 2 4 (4)A> 3 1 54 4
46 89 -5 4 2 4 <A(1) 12 54 4
47 90 -6 4 2 <A(1) 13 54 4
48 92 -4 42 (4)A> 13 54 4
49 95 -1 45 (4)A> 54 4
50 97 -3 45 <A(3) 1 53 4
51 98 -4 44 <A(1) 3 1 53 4
52 102 -8 <A(1) 14 3 1 53 4
53 104 -6 4 (2)B> 14 3 1 53 4
54 108 -2 4 24 (2)B> 3 1 53 4
55 109 -1 4 25 (3)A> 1 53 4
56 110 0 4 25 3 (4)A> 53 4
57 112 -2 4 25 3 <A(3) 1 52 4
58 113 -3 4 25 <A(1) 3 1 52 4
59 115 -1 4 24 4 (4)A> 3 1 52 4
60 117 -3 4 24 4 <A(1) 12 52 4
61 118 -4 4 24 <A(1) 13 52 4
62 120 -2 4 23 4 (4)A> 13 52 4
63 123 1 4 23 44 (4)A> 52 4
64 125 -1 4 23 44 <A(3) 1 5 4
65 126 -2 4 23 43 <A(1) 3 1 5 4
66 129 -5 4 23 <A(1) 13 3 1 5 4
67 131 -3 4 22 4 (4)A> 13 3 1 5 4
68 134 0 4 22 44 (4)A> 3 1 5 4
69 136 -2 4 22 44 <A(1) 12 5 4
70 140 -6 4 22 <A(1) 16 5 4
71 142 -4 4 2 4 (4)A> 16 5 4
72 148 2 4 2 47 (4)A> 5 4
73 150 0 4 2 47 <A(3) 1 4
74 151 -1 4 2 46 <A(1) 3 1 4
75 157 -7 4 2 <A(1) 16 3 1 4
76 159 -5 42 (4)A> 16 3 1 4
77 165 1 48 (4)A> 3 1 4
78 167 -1 48 <A(1) 12 4
79 175 -9 <A(1) 110 4
80 177 -7 4 (2)B> 110 4
81 187 3 4 210 (2)B> 4
82 191 1 4 210 <A(1) 1
83 193 3 4 29 4 (4)A> 1
84 194 4 4 29 42 (4)A>
85 195 5 4 29 43 (4)B>
86 197 3 4 29 43 <A(3) 4
87 198 2 4 29 42 <A(1) 3 4
88 200 0 4 29 <A(1) 12 3 4
89 202 2 4 28 4 (4)A> 12 3 4
90 204 4 4 28 43 (4)A> 3 4
91 206 2 4 28 43 <A(1) 1 4
92 209 -1 4 28 <A(1) 14 4
93 211 1 4 27 4 (4)A> 14 4
94 215 5 4 27 45 (4)A> 4
95 217 3 4 27 45 <A(1) 1
96 222 -2 4 27 <A(1) 16
97 224 0 4 26 4 (4)A> 16
98 230 6 4 26 47 (4)A>
99 231 7 4 26 48 (4)B>
100 233 5 4 26 48 <A(3) 4
101 234 4 4 26 47 <A(1) 3 4
102 241 -3 4 26 <A(1) 17 3 4
103 243 -1 4 25 4 (4)A> 17 3 4
104 250 6 4 25 48 (4)A> 3 4
105 252 4 4 25 48 <A(1) 1 4
106 260 -4 4 25 <A(1) 19 4
107 262 -2 4 24 4 (4)A> 19 4
108 271 7 4 24 410 (4)A> 4
109 273 5 4 24 410 <A(1) 1
110 283 -5 4 24 <A(1) 111
111 285 -3 4 23 4 (4)A> 111
112 296 8 4 23 412 (4)A>
113 297 9 4 23 413 (4)B>
114 299 7 4 23 413 <A(3) 4
115 300 6 4 23 412 <A(1) 3 4
116 312 -6 4 23 <A(1) 112 3 4
117 314 -4 4 22 4 (4)A> 112 3 4
118 326 8 4 22 413 (4)A> 3 4
119 328 6 4 22 413 <A(1) 1 4
120 341 -7 4 22 <A(1) 114 4
121 343 -5 4 2 4 (4)A> 114 4
122 357 9 4 2 415 (4)A> 4
123 359 7 4 2 415 <A(1) 1
124 374 -8 4 2 <A(1) 116
125 376 -6 42 (4)A> 116
126 392 10 418 (4)A>
127 393 11 419 (4)B>
128 395 9 419 <A(3) 4
129 396 8 418 <A(1) 3 4
130 414 -10 <A(1) 118 3 4
131 416 -8 4 (2)B> 118 3 4
132 434 10 4 218 (2)B> 3 4
133 435 11 4 219 (3)A> 4
134 437 9 4 219 <A(1) 1
135 439 11 4 218 4 (4)A> 1
136 440 12 4 218 42 (4)A>
137 441 13 4 218 43 (4)B>
138 443 11 4 218 43 <A(3) 4
139 444 10 4 218 42 <A(1) 3 4
140 446 8 4 218 <A(1) 12 3 4
141 448 10 4 217 4 (4)A> 12 3 4
142 450 12 4 217 43 (4)A> 3 4
143 452 10 4 217 43 <A(1) 1 4
144 455 7 4 217 <A(1) 14 4
145 457 9 4 216 4 (4)A> 14 4
146 461 13 4 216 45 (4)A> 4
147 463 11 4 216 45 <A(1) 1
148 468 6 4 216 <A(1) 16
149 470 8 4 215 4 (4)A> 16
150 476 14 4 215 47 (4)A>
151 477 15 4 215 48 (4)B>
152 479 13 4 215 48 <A(3) 4
153 480 12 4 215 47 <A(1) 3 4
154 487 5 4 215 <A(1) 17 3 4
155 489 7 4 214 4 (4)A> 17 3 4
156 496 14 4 214 48 (4)A> 3 4
157 498 12 4 214 48 <A(1) 1 4
158 506 4 4 214 <A(1) 19 4
159 508 6 4 213 4 (4)A> 19 4
160 517 15 4 213 410 (4)A> 4
161 519 13 4 213 410 <A(1) 1
162 529 3 4 213 <A(1) 111
163 531 5 4 212 4 (4)A> 111
164 542 16 4 212 412 (4)A>
165 543 17 4 212 413 (4)B>
166 545 15 4 212 413 <A(3) 4
167 546 14 4 212 412 <A(1) 3 4
168 558 2 4 212 <A(1) 112 3 4
169 560 4 4 211 4 (4)A> 112 3 4
170 572 16 4 211 413 (4)A> 3 4
171 574 14 4 211 413 <A(1) 1 4
172 587 1 4 211 <A(1) 114 4
173 589 3 4 210 4 (4)A> 114 4
174 603 17 4 210 415 (4)A> 4
175 605 15 4 210 415 <A(1) 1
176 620 0 4 210 <A(1) 116
177 622 2 4 29 4 (4)A> 116
178 638 18 4 29 417 (4)A>
179 639 19 4 29 418 (4)B>
180 641 17 4 29 418 <A(3) 4
181 642 16 4 29 417 <A(1) 3 4
182 659 -1 4 29 <A(1) 117 3 4
183 661 1 4 28 4 (4)A> 117 3 4
184 678 18 4 28 418 (4)A> 3 4
185 680 16 4 28 418 <A(1) 1 4
186 698 -2 4 28 <A(1) 119 4
187 700 0 4 27 4 (4)A> 119 4
188 719 19 4 27 420 (4)A> 4
189 721 17 4 27 420 <A(1) 1
190 741 -3 4 27 <A(1) 121
191 743 -1 4 26 4 (4)A> 121
192 764 20 4 26 422 (4)A>
193 765 21 4 26 423 (4)B>
194 767 19 4 26 423 <A(3) 4
195 768 18 4 26 422 <A(1) 3 4
196 790 -4 4 26 <A(1) 122 3 4
197 792 -2 4 25 4 (4)A> 122 3 4
198 814 20 4 25 423 (4)A> 3 4
199 816 18 4 25 423 <A(1) 1 4
200 839 -5 4 25 <A(1) 124 4
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 839
Tape index: -5
nonzeros: 32
log10(nonzeros): 1.505
log10(steps ): 2.924
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #b (T.J. & S. Ligocki)
: 10249 98364599
C The halting transition has been changed to produce a 1
5T 4RB 4RA 4RA 1LA 1LA 1LB 4LB 2RB 5LB 3RA 3LA 1RH
L 10
M 201
pref sim
machv Lig26_b just simple
machv Lig26_b-r with repetitions reduced
machv Lig26_b-1 with tape symbol exponents
machv Lig26_b-m as 1-bck-macro machine
machv Lig26_b-a as 1-bck-macro machine with pure additive config-TRs
iam Lig26_b-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:12 CEST 2010
edate Tue Jul 6 22:13:12 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:12 CEST 2010