Comment: This TM produces >1.1x10^713 nonzeros in >1.5x10^1426 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 0LC | 1RH | 1 | right | B | 0 | left | C | 1 | right | H |
| B | 2LC | 1RD | 0LB | 2 | left | C | 1 | right | D | 0 | left | B |
| C | 2LA | 1LC | 1LA | 2 | left | A | 1 | left | C | 1 | left | A |
| D | 1RB | 2LD | 2RA | 1 | right | B | 2 | left | D | 2 | right | 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 (1)B>
2 3 -1 <C(1) 2
3 4 -2 <A(2) 1 2
4 8 0 1 (1)B> 1 2
5 9 1 12 (1)D> 2
6 10 2 13 (2)A>
7 11 3 13 2 (1)B>
8 13 1 13 2 <C(1) 2
9 14 0 13 <A(1) 1 2
10 15 -1 12 <C(0) 12 2
11 16 -2 1 <C(1) 0 12 2
12 17 -3 <C(1) 1 0 12 2
13 18 -4 <A(2) 12 0 12 2
14 22 -2 1 (1)B> 12 0 12 2
15 23 -1 12 (1)D> 1 0 12 2
16 25 -3 12 <D(2) 2 0 12 2
17 27 -5 <D(2) 23 0 12 2
18 31 -3 1 (1)B> 23 0 12 2
19 40 0 14 (1)B> 0 12 2
20 42 -2 14 <C(1) 2 12 2
21 46 -6 <C(1) 14 2 12 2
22 47 -7 <A(2) 15 2 12 2
23 51 -5 1 (1)B> 15 2 12 2
24 52 -4 12 (1)D> 14 2 12 2
25 54 -6 12 <D(2) 2 13 2 12 2
26 56 -8 <D(2) 23 13 2 12 2
27 60 -6 1 (1)B> 23 13 2 12 2
28 69 -3 14 (1)B> 13 2 12 2
29 70 -2 15 (1)D> 12 2 12 2
30 72 -4 15 <D(2) 2 1 2 12 2
31 77 -9 <D(2) 26 1 2 12 2
32 81 -7 1 (1)B> 26 1 2 12 2
33 99 -1 17 (1)B> 1 2 12 2
34 100 0 18 (1)D> 2 12 2
35 101 1 19 (2)A> 12 2
36 103 -1 19 <A(1) 0 1 2
37 104 -2 18 <C(0) 1 0 1 2
38 105 -3 17 <C(1) 0 1 0 1 2
39 112 -10 <C(1) 17 0 1 0 1 2
40 113 -11 <A(2) 18 0 1 0 1 2
41 117 -9 1 (1)B> 18 0 1 0 1 2
42 118 -8 12 (1)D> 17 0 1 0 1 2
43 120 -10 12 <D(2) 2 16 0 1 0 1 2
44 122 -12 <D(2) 23 16 0 1 0 1 2
45 126 -10 1 (1)B> 23 16 0 1 0 1 2
46 135 -7 14 (1)B> 16 0 1 0 1 2
47 136 -6 15 (1)D> 15 0 1 0 1 2
48 138 -8 15 <D(2) 2 14 0 1 0 1 2
49 143 -13 <D(2) 26 14 0 1 0 1 2
50 147 -11 1 (1)B> 26 14 0 1 0 1 2
51 165 -5 17 (1)B> 14 0 1 0 1 2
52 166 -4 18 (1)D> 13 0 1 0 1 2
53 168 -6 18 <D(2) 2 12 0 1 0 1 2
54 176 -14 <D(2) 29 12 0 1 0 1 2
55 180 -12 1 (1)B> 29 12 0 1 0 1 2
56 207 -3 110 (1)B> 12 0 1 0 1 2
57 208 -2 111 (1)D> 1 0 1 0 1 2
58 210 -4 111 <D(2) 2 0 1 0 1 2
59 221 -15 <D(2) 212 0 1 0 1 2
60 225 -13 1 (1)B> 212 0 1 0 1 2
61 261 -1 113 (1)B> 0 1 0 1 2
62 263 -3 113 <C(1) 2 1 0 1 2
63 276 -16 <C(1) 113 2 1 0 1 2
64 277 -17 <A(2) 114 2 1 0 1 2
65 281 -15 1 (1)B> 114 2 1 0 1 2
66 282 -14 12 (1)D> 113 2 1 0 1 2
67 284 -16 12 <D(2) 2 112 2 1 0 1 2
68 286 -18 <D(2) 23 112 2 1 0 1 2
69 290 -16 1 (1)B> 23 112 2 1 0 1 2
70 299 -13 14 (1)B> 112 2 1 0 1 2
71 300 -12 15 (1)D> 111 2 1 0 1 2
72 302 -14 15 <D(2) 2 110 2 1 0 1 2
73 307 -19 <D(2) 26 110 2 1 0 1 2
74 311 -17 1 (1)B> 26 110 2 1 0 1 2
75 329 -11 17 (1)B> 110 2 1 0 1 2
76 330 -10 18 (1)D> 19 2 1 0 1 2
77 332 -12 18 <D(2) 2 18 2 1 0 1 2
78 340 -20 <D(2) 29 18 2 1 0 1 2
79 344 -18 1 (1)B> 29 18 2 1 0 1 2
80 371 -9 110 (1)B> 18 2 1 0 1 2
81 372 -8 111 (1)D> 17 2 1 0 1 2
82 374 -10 111 <D(2) 2 16 2 1 0 1 2
83 385 -21 <D(2) 212 16 2 1 0 1 2
84 389 -19 1 (1)B> 212 16 2 1 0 1 2
85 425 -7 113 (1)B> 16 2 1 0 1 2
86 426 -6 114 (1)D> 15 2 1 0 1 2
87 428 -8 114 <D(2) 2 14 2 1 0 1 2
88 442 -22 <D(2) 215 14 2 1 0 1 2
89 446 -20 1 (1)B> 215 14 2 1 0 1 2
90 491 -5 116 (1)B> 14 2 1 0 1 2
91 492 -4 117 (1)D> 13 2 1 0 1 2
92 494 -6 117 <D(2) 2 12 2 1 0 1 2
93 511 -23 <D(2) 218 12 2 1 0 1 2
94 515 -21 1 (1)B> 218 12 2 1 0 1 2
95 569 -3 119 (1)B> 12 2 1 0 1 2
96 570 -2 120 (1)D> 1 2 1 0 1 2
97 572 -4 120 <D(2) 22 1 0 1 2
98 592 -24 <D(2) 222 1 0 1 2
99 596 -22 1 (1)B> 222 1 0 1 2
100 662 0 123 (1)B> 1 0 1 2
101 663 1 124 (1)D> 0 1 2
102 664 2 125 (1)B> 1 2
103 665 3 126 (1)D> 2
104 666 4 127 (2)A>
105 667 5 127 2 (1)B>
106 669 3 127 2 <C(1) 2
107 670 2 127 <A(1) 1 2
108 671 1 126 <C(0) 12 2
109 672 0 125 <C(1) 0 12 2
110 697 -25 <C(1) 125 0 12 2
111 698 -26 <A(2) 126 0 12 2
112 702 -24 1 (1)B> 126 0 12 2
113 703 -23 12 (1)D> 125 0 12 2
114 705 -25 12 <D(2) 2 124 0 12 2
115 707 -27 <D(2) 23 124 0 12 2
116 711 -25 1 (1)B> 23 124 0 12 2
117 720 -22 14 (1)B> 124 0 12 2
118 721 -21 15 (1)D> 123 0 12 2
119 723 -23 15 <D(2) 2 122 0 12 2
120 728 -28 <D(2) 26 122 0 12 2
121 732 -26 1 (1)B> 26 122 0 12 2
122 750 -20 17 (1)B> 122 0 12 2
123 751 -19 18 (1)D> 121 0 12 2
124 753 -21 18 <D(2) 2 120 0 12 2
125 761 -29 <D(2) 29 120 0 12 2
126 765 -27 1 (1)B> 29 120 0 12 2
127 792 -18 110 (1)B> 120 0 12 2
128 793 -17 111 (1)D> 119 0 12 2
129 795 -19 111 <D(2) 2 118 0 12 2
130 806 -30 <D(2) 212 118 0 12 2
131 810 -28 1 (1)B> 212 118 0 12 2
132 846 -16 113 (1)B> 118 0 12 2
133 847 -15 114 (1)D> 117 0 12 2
134 849 -17 114 <D(2) 2 116 0 12 2
135 863 -31 <D(2) 215 116 0 12 2
136 867 -29 1 (1)B> 215 116 0 12 2
137 912 -14 116 (1)B> 116 0 12 2
138 913 -13 117 (1)D> 115 0 12 2
139 915 -15 117 <D(2) 2 114 0 12 2
140 932 -32 <D(2) 218 114 0 12 2
141 936 -30 1 (1)B> 218 114 0 12 2
142 990 -12 119 (1)B> 114 0 12 2
143 991 -11 120 (1)D> 113 0 12 2
144 993 -13 120 <D(2) 2 112 0 12 2
145 1013 -33 <D(2) 221 112 0 12 2
146 1017 -31 1 (1)B> 221 112 0 12 2
147 1080 -10 122 (1)B> 112 0 12 2
148 1081 -9 123 (1)D> 111 0 12 2
149 1083 -11 123 <D(2) 2 110 0 12 2
150 1106 -34 <D(2) 224 110 0 12 2
151 1110 -32 1 (1)B> 224 110 0 12 2
152 1182 -8 125 (1)B> 110 0 12 2
153 1183 -7 126 (1)D> 19 0 12 2
154 1185 -9 126 <D(2) 2 18 0 12 2
155 1211 -35 <D(2) 227 18 0 12 2
156 1215 -33 1 (1)B> 227 18 0 12 2
157 1296 -6 128 (1)B> 18 0 12 2
158 1297 -5 129 (1)D> 17 0 12 2
159 1299 -7 129 <D(2) 2 16 0 12 2
160 1328 -36 <D(2) 230 16 0 12 2
161 1332 -34 1 (1)B> 230 16 0 12 2
162 1422 -4 131 (1)B> 16 0 12 2
163 1423 -3 132 (1)D> 15 0 12 2
164 1425 -5 132 <D(2) 2 14 0 12 2
165 1457 -37 <D(2) 233 14 0 12 2
166 1461 -35 1 (1)B> 233 14 0 12 2
167 1560 -2 134 (1)B> 14 0 12 2
168 1561 -1 135 (1)D> 13 0 12 2
169 1563 -3 135 <D(2) 2 12 0 12 2
170 1598 -38 <D(2) 236 12 0 12 2
171 1602 -36 1 (1)B> 236 12 0 12 2
172 1710 0 137 (1)B> 12 0 12 2
173 1711 1 138 (1)D> 1 0 12 2
174 1713 -1 138 <D(2) 2 0 12 2
175 1751 -39 <D(2) 239 0 12 2
176 1755 -37 1 (1)B> 239 0 12 2
177 1872 2 140 (1)B> 0 12 2
178 1874 0 140 <C(1) 2 12 2
179 1914 -40 <C(1) 140 2 12 2
180 1915 -41 <A(2) 141 2 12 2
181 1919 -39 1 (1)B> 141 2 12 2
182 1920 -38 12 (1)D> 140 2 12 2
183 1922 -40 12 <D(2) 2 139 2 12 2
184 1924 -42 <D(2) 23 139 2 12 2
185 1928 -40 1 (1)B> 23 139 2 12 2
186 1937 -37 14 (1)B> 139 2 12 2
187 1938 -36 15 (1)D> 138 2 12 2
188 1940 -38 15 <D(2) 2 137 2 12 2
189 1945 -43 <D(2) 26 137 2 12 2
190 1949 -41 1 (1)B> 26 137 2 12 2
191 1967 -35 17 (1)B> 137 2 12 2
192 1968 -34 18 (1)D> 136 2 12 2
193 1970 -36 18 <D(2) 2 135 2 12 2
194 1978 -44 <D(2) 29 135 2 12 2
195 1982 -42 1 (1)B> 29 135 2 12 2
196 2009 -33 110 (1)B> 135 2 12 2
197 2010 -32 111 (1)D> 134 2 12 2
198 2012 -34 111 <D(2) 2 133 2 12 2
199 2023 -45 <D(2) 212 133 2 12 2
200 2027 -43 1 (1)B> 212 133 2 12 2
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2027
Tape index: -43
nonzeros: 51
log10(nonzeros): 1.708
log10(steps ): 3.307
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #b (T.J. & S. Ligocki)
: >1.1x10^713 >1.5x10^1426
5T 1RB 0LC 1RH 2LC 1RD 0LB 2LA 1LC 1LA 1RB 2LD 2RA
L 16
M 201
pref sim
machv Lig43_b just simple
machv Lig43_b-r with repetitions reduced
machv Lig43_b-1 with tape symbol exponents
machv Lig43_b-m as 1-bck-macro machine
machv Lig43_b-a as 1-bck-macro machine with pure additive config-TRs
iam Lig43_b-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:01 CEST 2010
edate Tue Jul 6 22:14:01 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:01 CEST 2010