Comment: This TM produces >2.5x10^4561 nonzeros in >3.9x10^9122 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2LD | 1RH | 1 | right | B | 2 | left | D | 1 | right | H |
| B | 2LC | 2RC | 2RB | 2 | left | C | 2 | right | C | 2 | right | B |
| C | 1LD | 0RC | 1RC | 1 | left | D | 0 | right | C | 1 | right | C |
| D | 2LA | 2LD | 0LB | 2 | left | A | 2 | left | D | 0 | left | B |
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 (1)B>
2 4 2 (1)C>
3 6 0 <D(2) 1
4 7 -1 <A(2) 2 1
5 9 1 1 (2)B> 2 1
6 10 2 1 2 (2)B> 1
7 11 3 1 22 (2)C>
8 13 1 1 22 <B(0) 1
9 17 3 1 2 1 (1)C> 1
10 18 4 1 2 12 (0)C>
11 20 2 1 2 12 <A(2) 1
12 21 1 1 2 1 <D(2) 2 1
13 22 0 1 2 <D(2) 22 1
14 23 -1 1 <B(0) 23 1
15 26 -2 <B(0) 1 23 1
16 27 -3 <C(2) 0 1 23 1
17 28 -4 <D(1) 2 0 1 23 1
18 29 -5 <A(2) 1 2 0 1 23 1
19 31 -3 1 (2)B> 1 2 0 1 23 1
20 32 -2 1 2 (2)C> 2 0 1 23 1
21 33 -1 1 22 (1)C> 0 1 23 1
22 35 -3 1 22 <D(2) 12 23 1
23 36 -4 1 2 <B(0) 2 12 23 1
24 40 -2 12 (1)C> 2 12 23 1
25 41 -1 13 (1)C> 12 23 1
26 42 0 14 (0)C> 1 23 1
27 43 1 14 0 (0)C> 23 1
28 44 2 14 02 (1)C> 22 1
29 46 4 14 02 12 (1)C> 1
30 47 5 14 02 13 (0)C>
31 49 3 14 02 13 <A(2) 1
32 50 2 14 02 12 <D(2) 2 1
33 52 0 14 02 <D(2) 23 1
34 53 -1 14 0 <A(2) 24 1
35 55 1 15 (2)B> 24 1
36 59 5 15 24 (2)B> 1
37 60 6 15 25 (2)C>
38 62 4 15 25 <B(0) 1
39 66 6 15 24 1 (1)C> 1
40 67 7 15 24 12 (0)C>
41 69 5 15 24 12 <A(2) 1
42 70 4 15 24 1 <D(2) 2 1
43 71 3 15 24 <D(2) 22 1
44 72 2 15 23 <B(0) 23 1
45 76 4 15 22 1 (1)C> 23 1
46 79 7 15 22 14 (1)C> 1
47 80 8 15 22 15 (0)C>
48 82 6 15 22 15 <A(2) 1
49 83 5 15 22 14 <D(2) 2 1
50 87 1 15 22 <D(2) 25 1
51 88 0 15 2 <B(0) 26 1
52 92 2 16 (1)C> 26 1
53 98 8 112 (1)C> 1
54 99 9 113 (0)C>
55 101 7 113 <A(2) 1
56 102 6 112 <D(2) 2 1
57 114 -6 <D(2) 213 1
58 115 -7 <A(2) 214 1
59 117 -5 1 (2)B> 214 1
60 131 9 1 214 (2)B> 1
61 132 10 1 215 (2)C>
62 134 8 1 215 <B(0) 1
63 138 10 1 214 1 (1)C> 1
64 139 11 1 214 12 (0)C>
65 141 9 1 214 12 <A(2) 1
66 142 8 1 214 1 <D(2) 2 1
67 143 7 1 214 <D(2) 22 1
68 144 6 1 213 <B(0) 23 1
69 148 8 1 212 1 (1)C> 23 1
70 151 11 1 212 14 (1)C> 1
71 152 12 1 212 15 (0)C>
72 154 10 1 212 15 <A(2) 1
73 155 9 1 212 14 <D(2) 2 1
74 159 5 1 212 <D(2) 25 1
75 160 4 1 211 <B(0) 26 1
76 164 6 1 210 1 (1)C> 26 1
77 170 12 1 210 17 (1)C> 1
78 171 13 1 210 18 (0)C>
79 173 11 1 210 18 <A(2) 1
80 174 10 1 210 17 <D(2) 2 1
81 181 3 1 210 <D(2) 28 1
82 182 2 1 29 <B(0) 29 1
83 186 4 1 28 1 (1)C> 29 1
84 195 13 1 28 110 (1)C> 1
85 196 14 1 28 111 (0)C>
86 198 12 1 28 111 <A(2) 1
87 199 11 1 28 110 <D(2) 2 1
88 209 1 1 28 <D(2) 211 1
89 210 0 1 27 <B(0) 212 1
90 214 2 1 26 1 (1)C> 212 1
91 226 14 1 26 113 (1)C> 1
92 227 15 1 26 114 (0)C>
93 229 13 1 26 114 <A(2) 1
94 230 12 1 26 113 <D(2) 2 1
95 243 -1 1 26 <D(2) 214 1
96 244 -2 1 25 <B(0) 215 1
97 248 0 1 24 1 (1)C> 215 1
98 263 15 1 24 116 (1)C> 1
99 264 16 1 24 117 (0)C>
100 266 14 1 24 117 <A(2) 1
101 267 13 1 24 116 <D(2) 2 1
102 283 -3 1 24 <D(2) 217 1
103 284 -4 1 23 <B(0) 218 1
104 288 -2 1 22 1 (1)C> 218 1
105 306 16 1 22 119 (1)C> 1
106 307 17 1 22 120 (0)C>
107 309 15 1 22 120 <A(2) 1
108 310 14 1 22 119 <D(2) 2 1
109 329 -5 1 22 <D(2) 220 1
110 330 -6 1 2 <B(0) 221 1
111 334 -4 12 (1)C> 221 1
112 355 17 123 (1)C> 1
113 356 18 124 (0)C>
114 358 16 124 <A(2) 1
115 359 15 123 <D(2) 2 1
116 382 -8 <D(2) 224 1
117 383 -9 <A(2) 225 1
118 385 -7 1 (2)B> 225 1
119 410 18 1 225 (2)B> 1
120 411 19 1 226 (2)C>
121 413 17 1 226 <B(0) 1
122 417 19 1 225 1 (1)C> 1
123 418 20 1 225 12 (0)C>
124 420 18 1 225 12 <A(2) 1
125 421 17 1 225 1 <D(2) 2 1
126 422 16 1 225 <D(2) 22 1
127 423 15 1 224 <B(0) 23 1
128 427 17 1 223 1 (1)C> 23 1
129 430 20 1 223 14 (1)C> 1
130 431 21 1 223 15 (0)C>
131 433 19 1 223 15 <A(2) 1
132 434 18 1 223 14 <D(2) 2 1
133 438 14 1 223 <D(2) 25 1
134 439 13 1 222 <B(0) 26 1
135 443 15 1 221 1 (1)C> 26 1
136 449 21 1 221 17 (1)C> 1
137 450 22 1 221 18 (0)C>
138 452 20 1 221 18 <A(2) 1
139 453 19 1 221 17 <D(2) 2 1
140 460 12 1 221 <D(2) 28 1
141 461 11 1 220 <B(0) 29 1
142 465 13 1 219 1 (1)C> 29 1
143 474 22 1 219 110 (1)C> 1
144 475 23 1 219 111 (0)C>
145 477 21 1 219 111 <A(2) 1
146 478 20 1 219 110 <D(2) 2 1
147 488 10 1 219 <D(2) 211 1
148 489 9 1 218 <B(0) 212 1
149 493 11 1 217 1 (1)C> 212 1
150 505 23 1 217 113 (1)C> 1
151 506 24 1 217 114 (0)C>
152 508 22 1 217 114 <A(2) 1
153 509 21 1 217 113 <D(2) 2 1
154 522 8 1 217 <D(2) 214 1
155 523 7 1 216 <B(0) 215 1
156 527 9 1 215 1 (1)C> 215 1
157 542 24 1 215 116 (1)C> 1
158 543 25 1 215 117 (0)C>
159 545 23 1 215 117 <A(2) 1
160 546 22 1 215 116 <D(2) 2 1
161 562 6 1 215 <D(2) 217 1
162 563 5 1 214 <B(0) 218 1
163 567 7 1 213 1 (1)C> 218 1
164 585 25 1 213 119 (1)C> 1
165 586 26 1 213 120 (0)C>
166 588 24 1 213 120 <A(2) 1
167 589 23 1 213 119 <D(2) 2 1
168 608 4 1 213 <D(2) 220 1
169 609 3 1 212 <B(0) 221 1
170 613 5 1 211 1 (1)C> 221 1
171 634 26 1 211 122 (1)C> 1
172 635 27 1 211 123 (0)C>
173 637 25 1 211 123 <A(2) 1
174 638 24 1 211 122 <D(2) 2 1
175 660 2 1 211 <D(2) 223 1
176 661 1 1 210 <B(0) 224 1
177 665 3 1 29 1 (1)C> 224 1
178 689 27 1 29 125 (1)C> 1
179 690 28 1 29 126 (0)C>
180 692 26 1 29 126 <A(2) 1
181 693 25 1 29 125 <D(2) 2 1
182 718 0 1 29 <D(2) 226 1
183 719 -1 1 28 <B(0) 227 1
184 723 1 1 27 1 (1)C> 227 1
185 750 28 1 27 128 (1)C> 1
186 751 29 1 27 129 (0)C>
187 753 27 1 27 129 <A(2) 1
188 754 26 1 27 128 <D(2) 2 1
189 782 -2 1 27 <D(2) 229 1
190 783 -3 1 26 <B(0) 230 1
191 787 -1 1 25 1 (1)C> 230 1
192 817 29 1 25 131 (1)C> 1
193 818 30 1 25 132 (0)C>
194 820 28 1 25 132 <A(2) 1
195 821 27 1 25 131 <D(2) 2 1
196 852 -4 1 25 <D(2) 232 1
197 853 -5 1 24 <B(0) 233 1
198 857 -3 1 23 1 (1)C> 233 1
199 890 30 1 23 134 (1)C> 1
200 891 31 1 23 135 (0)C>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 891
Tape index: 31
nonzeros: 39
log10(nonzeros): 1.591
log10(steps ): 2.950
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #f (T.J. & S. Ligocki)
: >2.5x10^4561 >3.9x10^9122
5T 1RB 2LD 1RH 2LC 2RC 2RB 1LD 0RC 1RC 2LA 2LD 0LB
L 10
M 201
pref sim
machv Lig43_f just simple
machv Lig43_f-r with repetitions reduced
machv Lig43_f-1 with tape symbol exponents
machv Lig43_f-m as 1-bck-macro machine
machv Lig43_f-a as 1-bck-macro machine with pure additive config-TRs
iam Lig43_f-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:11 CEST 2010
edate Tue Jul 6 22:14:12 CEST 2010
bnspeed 1
short 7
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:14:11 CEST 2010