Comment: This TM produces 15008 nonzeros in 250,096,776 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 0RB | 1RH | 2LD | 0 | right | B | 1 | right | H | 2 | left | D |
| B | 2LA | 2RD | 2RC | 2 | left | A | 2 | right | D | 2 | right | C |
| C | 2RB | 2RC | 1LC | 2 | right | B | 2 | right | C | 1 | left | C |
| D | 2LA | 1RB | 2LC | 2 | left | A | 1 | right | B | 2 | left | C |
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 4 2 02 C>
2 7 1 02 <D 22
3 10 2 22 C> 22
4 11 1 22 <C 12
5 13 -1 <C 11 12
6 14 0 02 B> 11 12
7 16 2 02 21 B> 12
8 19 1 02 21 <C 12
9 20 2 02 22 C> 12
10 23 1 02 22 <C 11
11 25 -1 02 <C 112
12 28 0 22 D> 112
13 32 4 22 122 D>
14 33 3 22 122 <A 20
15 36 4 22 122 C> 20
16 37 3 22 122 <C 10
17 40 4 22 12 22 C> 10
18 42 6 22 12 222 B>
19 43 5 22 12 222 <A 20
20 45 3 22 12 22 <C 22 20
21 47 1 22 12 <C 11 22 20
22 50 2 222 C> 11 22 20
23 52 4 223 C> 22 20
24 53 3 223 <C 12 20
25 59 -3 <C 113 12 20
26 60 -2 02 B> 113 12 20
27 66 4 02 213 B> 12 20
28 69 3 02 213 <C 12 20
29 70 4 02 212 22 C> 12 20
30 73 3 02 212 22 <C 11 20
31 75 1 02 212 <C 112 20
32 76 2 02 21 22 C> 112 20
33 80 6 02 21 223 C> 20
34 81 5 02 21 223 <C 10
35 87 -1 02 21 <C 113 10
36 88 0 02 22 C> 113 10
37 94 6 02 224 C> 10
38 96 8 02 225 B>
39 97 7 02 225 <A 20
40 99 5 02 224 <C 22 20
41 107 -3 02 <C 114 22 20
42 110 -2 22 D> 114 22 20
43 118 6 22 124 D> 22 20
44 119 5 22 124 <C 22 20
45 122 6 22 123 22 C> 22 20
46 123 5 22 123 22 <C 12 20
47 125 3 22 123 <C 11 12 20
48 128 4 22 122 22 C> 11 12 20
49 130 6 22 122 222 C> 12 20
50 133 5 22 122 222 <C 11 20
51 137 1 22 122 <C 113 20
52 140 2 22 12 22 C> 113 20
53 146 8 22 12 224 C> 20
54 147 7 22 12 224 <C 10
55 155 -1 22 12 <C 114 10
56 158 0 222 C> 114 10
57 166 8 226 C> 10
58 168 10 227 B>
59 169 9 227 <A 20
60 171 7 226 <C 22 20
61 183 -5 <C 116 22 20
62 184 -4 02 B> 116 22 20
63 196 8 02 216 B> 22 20
64 199 7 02 216 <C 11 20
65 200 8 02 215 22 C> 11 20
66 202 10 02 215 222 C> 20
67 203 9 02 215 222 <C 10
68 207 5 02 215 <C 112 10
69 208 6 02 214 22 C> 112 10
70 212 10 02 214 223 C> 10
71 214 12 02 214 224 B>
72 215 11 02 214 224 <A 20
73 217 9 02 214 223 <C 22 20
74 223 3 02 214 <C 113 22 20
75 224 4 02 213 22 C> 113 22 20
76 230 10 02 213 224 C> 22 20
77 231 9 02 213 224 <C 12 20
78 239 1 02 213 <C 114 12 20
79 240 2 02 212 22 C> 114 12 20
80 248 10 02 212 225 C> 12 20
81 251 9 02 212 225 <C 11 20
82 261 -1 02 212 <C 116 20
83 262 0 02 21 22 C> 116 20
84 274 12 02 21 227 C> 20
85 275 11 02 21 227 <C 10
86 289 -3 02 21 <C 117 10
87 290 -2 02 22 C> 117 10
88 304 12 02 228 C> 10
89 306 14 02 229 B>
90 307 13 02 229 <A 20
91 309 11 02 228 <C 22 20
92 325 -5 02 <C 118 22 20
93 328 -4 22 D> 118 22 20
94 344 12 22 128 D> 22 20
95 345 11 22 128 <C 22 20
96 348 12 22 127 22 C> 22 20
97 349 11 22 127 22 <C 12 20
98 351 9 22 127 <C 11 12 20
99 354 10 22 126 22 C> 11 12 20
100 356 12 22 126 222 C> 12 20
101 359 11 22 126 222 <C 11 20
102 363 7 22 126 <C 113 20
103 366 8 22 125 22 C> 113 20
104 372 14 22 125 224 C> 20
105 373 13 22 125 224 <C 10
106 381 5 22 125 <C 114 10
107 384 6 22 124 22 C> 114 10
108 392 14 22 124 225 C> 10
109 394 16 22 124 226 B>
110 395 15 22 124 226 <A 20
111 397 13 22 124 225 <C 22 20
112 407 3 22 124 <C 115 22 20
113 410 4 22 123 22 C> 115 22 20
114 420 14 22 123 226 C> 22 20
115 421 13 22 123 226 <C 12 20
116 433 1 22 123 <C 116 12 20
117 436 2 22 122 22 C> 116 12 20
118 448 14 22 122 227 C> 12 20
119 451 13 22 122 227 <C 11 20
120 465 -1 22 122 <C 118 20
121 468 0 22 12 22 C> 118 20
122 484 16 22 12 229 C> 20
123 485 15 22 12 229 <C 10
124 503 -3 22 12 <C 119 10
125 506 -2 222 C> 119 10
126 524 16 2211 C> 10
127 526 18 2212 B>
128 527 17 2212 <A 20
129 529 15 2211 <C 22 20
130 551 -7 <C 1111 22 20
131 552 -6 02 B> 1111 22 20
132 574 16 02 2111 B> 22 20
133 577 15 02 2111 <C 11 20
134 578 16 02 2110 22 C> 11 20
135 580 18 02 2110 222 C> 20
136 581 17 02 2110 222 <C 10
137 585 13 02 2110 <C 112 10
138 586 14 02 219 22 C> 112 10
139 590 18 02 219 223 C> 10
140 592 20 02 219 224 B>
141 593 19 02 219 224 <A 20
142 595 17 02 219 223 <C 22 20
143 601 11 02 219 <C 113 22 20
144 602 12 02 218 22 C> 113 22 20
145 608 18 02 218 224 C> 22 20
146 609 17 02 218 224 <C 12 20
147 617 9 02 218 <C 114 12 20
148 618 10 02 217 22 C> 114 12 20
149 626 18 02 217 225 C> 12 20
150 629 17 02 217 225 <C 11 20
151 639 7 02 217 <C 116 20
152 640 8 02 216 22 C> 116 20
153 652 20 02 216 227 C> 20
154 653 19 02 216 227 <C 10
155 667 5 02 216 <C 117 10
156 668 6 02 215 22 C> 117 10
157 682 20 02 215 228 C> 10
158 684 22 02 215 229 B>
159 685 21 02 215 229 <A 20
160 687 19 02 215 228 <C 22 20
161 703 3 02 215 <C 118 22 20
162 704 4 02 214 22 C> 118 22 20
163 720 20 02 214 229 C> 22 20
164 721 19 02 214 229 <C 12 20
165 739 1 02 214 <C 119 12 20
166 740 2 02 213 22 C> 119 12 20
167 758 20 02 213 2210 C> 12 20
168 761 19 02 213 2210 <C 11 20
169 781 -1 02 213 <C 1111 20
170 782 0 02 212 22 C> 1111 20
171 804 22 02 212 2212 C> 20
172 805 21 02 212 2212 <C 10
173 829 -3 02 212 <C 1112 10
174 830 -2 02 21 22 C> 1112 10
175 854 22 02 21 2213 C> 10
176 856 24 02 21 2214 B>
177 857 23 02 21 2214 <A 20
178 859 21 02 21 2213 <C 22 20
179 885 -5 02 21 <C 1113 22 20
180 886 -4 02 22 C> 1113 22 20
181 912 22 02 2214 C> 22 20
182 913 21 02 2214 <C 12 20
183 941 -7 02 <C 1114 12 20
184 944 -6 22 D> 1114 12 20
185 972 22 22 1214 D> 12 20
186 974 24 22 1215 C> 20
187 975 23 22 1215 <C 10
188 978 24 22 1214 22 C> 10
189 980 26 22 1214 222 B>
190 981 25 22 1214 222 <A 20
191 983 23 22 1214 22 <C 22 20
192 985 21 22 1214 <C 11 22 20
193 988 22 22 1213 22 C> 11 22 20
194 990 24 22 1213 222 C> 22 20
195 991 23 22 1213 222 <C 12 20
196 995 19 22 1213 <C 112 12 20
197 998 20 22 1212 22 C> 112 12 20
198 1002 24 22 1212 223 C> 12 20
199 1005 23 22 1212 223 <C 11 20
200 1011 17 22 1212 <C 114 20
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1011
Tape index: 17
nonzeros: 35
log10(nonzeros): 1.544
log10(steps ): 3.005
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #a (T.J. & S. Ligocki)
: 15008 250,096,776
5T 0RB 1RH 2LD 2LA 2RD 2RC 2RB 2RC 1LC 2LA 1RB 2LC
L 10
M 201
pref sim
machv Lig43_a just simple
machv Lig43_a-r with repetitions reduced
machv Lig43_a-1 with tape symbol exponents
machv Lig43_a-m as 2-macro machine
machv Lig43_a-a as 2-macro machine with pure additive config-TRs
iam Lig43_a-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:58 CEST 2010
edate Tue Jul 6 22:13:58 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:58 CEST 2010