Comment: This TM produces >1.4x10^2355 nonzeros in >3.4x10^4710 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 2LB | 2RA | 1LA | 1 | right | B | 2 | left | B | 2 | right | A | 1 | left | A |
| B | 2LA | 1RC | 0LB | 2RA | 2 | left | A | 1 | right | C | 0 | left | B | 2 | right | A |
| C | 1RB | 3LC | 1LA | 1RH | 1 | right | B | 3 | left | C | 1 | 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 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 14 2 11 (11)B>
2 19 -1 11 <B(21) 20
3 25 -3 <B(21) 11 20
4 34 0 11 (11)C> 11 20
5 37 -3 11 <C(33) 31 20
6 39 -5 <C(33) 33 31 20
7 50 -2 01 (11)B> 33 31 20
8 60 0 01 11 (11)B> 31 20
9 68 2 01 112 (11)B> 20
10 79 -1 01 112 <B(21) 12
11 91 -5 01 <B(21) 112 12
12 95 -7 <A(22) 113 12
13 102 -4 01 (11)B> 113 12
14 107 -7 01 <C(33) 33 112 12
15 120 -4 11 (12)A> 33 112 12
16 130 -2 112 (12)A> 112 12
17 138 0 113 (11)C> 11 12
18 141 -3 113 <C(33) 31 12
19 147 -9 <C(33) 333 31 12
20 158 -6 01 (11)B> 333 31 12
21 188 0 01 113 (11)B> 31 12
22 196 2 01 114 (11)B> 12
23 205 -1 01 114 <B(21) 11
24 229 -9 01 <B(21) 115
25 233 -11 <A(22) 116
26 240 -8 01 (11)B> 116
27 245 -11 01 <C(33) 33 115
28 258 -8 11 (12)A> 33 115
29 268 -6 112 (12)A> 115
30 276 -4 113 (11)C> 114
31 279 -7 113 <C(33) 31 113
32 285 -13 <C(33) 333 31 113
33 296 -10 01 (11)B> 333 31 113
34 326 -4 01 113 (11)B> 31 113
35 334 -2 01 114 (11)B> 113
36 339 -5 01 114 <C(33) 33 112
37 347 -13 01 <C(33) 335 112
38 360 -10 11 (12)A> 335 112
39 410 0 116 (12)A> 112
40 418 2 117 (11)C> 11
41 421 -1 117 <C(33) 31
42 435 -15 <C(33) 337 31
43 446 -12 01 (11)B> 337 31
44 516 2 01 117 (11)B> 31
45 524 4 01 118 (11)B>
46 529 1 01 118 <B(21) 20
47 577 -15 01 <B(21) 118 20
48 581 -17 <A(22) 119 20
49 588 -14 01 (11)B> 119 20
50 593 -17 01 <C(33) 33 118 20
51 606 -14 11 (12)A> 33 118 20
52 616 -12 112 (12)A> 118 20
53 624 -10 113 (11)C> 117 20
54 627 -13 113 <C(33) 31 116 20
55 633 -19 <C(33) 333 31 116 20
56 644 -16 01 (11)B> 333 31 116 20
57 674 -10 01 113 (11)B> 31 116 20
58 682 -8 01 114 (11)B> 116 20
59 687 -11 01 114 <C(33) 33 115 20
60 695 -19 01 <C(33) 335 115 20
61 708 -16 11 (12)A> 335 115 20
62 758 -6 116 (12)A> 115 20
63 766 -4 117 (11)C> 114 20
64 769 -7 117 <C(33) 31 113 20
65 783 -21 <C(33) 337 31 113 20
66 794 -18 01 (11)B> 337 31 113 20
67 864 -4 01 117 (11)B> 31 113 20
68 872 -2 01 118 (11)B> 113 20
69 877 -5 01 118 <C(33) 33 112 20
70 893 -21 01 <C(33) 339 112 20
71 906 -18 11 (12)A> 339 112 20
72 996 0 1110 (12)A> 112 20
73 1004 2 1111 (11)C> 11 20
74 1007 -1 1111 <C(33) 31 20
75 1029 -23 <C(33) 3311 31 20
76 1040 -20 01 (11)B> 3311 31 20
77 1150 2 01 1111 (11)B> 31 20
78 1158 4 01 1112 (11)B> 20
79 1169 1 01 1112 <B(21) 12
80 1241 -23 01 <B(21) 1112 12
81 1245 -25 <A(22) 1113 12
82 1252 -22 01 (11)B> 1113 12
83 1257 -25 01 <C(33) 33 1112 12
84 1270 -22 11 (12)A> 33 1112 12
85 1280 -20 112 (12)A> 1112 12
86 1288 -18 113 (11)C> 1111 12
87 1291 -21 113 <C(33) 31 1110 12
88 1297 -27 <C(33) 333 31 1110 12
89 1308 -24 01 (11)B> 333 31 1110 12
90 1338 -18 01 113 (11)B> 31 1110 12
91 1346 -16 01 114 (11)B> 1110 12
92 1351 -19 01 114 <C(33) 33 119 12
93 1359 -27 01 <C(33) 335 119 12
94 1372 -24 11 (12)A> 335 119 12
95 1422 -14 116 (12)A> 119 12
96 1430 -12 117 (11)C> 118 12
97 1433 -15 117 <C(33) 31 117 12
98 1447 -29 <C(33) 337 31 117 12
99 1458 -26 01 (11)B> 337 31 117 12
100 1528 -12 01 117 (11)B> 31 117 12
101 1536 -10 01 118 (11)B> 117 12
102 1541 -13 01 118 <C(33) 33 116 12
103 1557 -29 01 <C(33) 339 116 12
104 1570 -26 11 (12)A> 339 116 12
105 1660 -8 1110 (12)A> 116 12
106 1668 -6 1111 (11)C> 115 12
107 1671 -9 1111 <C(33) 31 114 12
108 1693 -31 <C(33) 3311 31 114 12
109 1704 -28 01 (11)B> 3311 31 114 12
110 1814 -6 01 1111 (11)B> 31 114 12
111 1822 -4 01 1112 (11)B> 114 12
112 1827 -7 01 1112 <C(33) 33 113 12
113 1851 -31 01 <C(33) 3313 113 12
114 1864 -28 11 (12)A> 3313 113 12
115 1994 -2 1114 (12)A> 113 12
116 2002 0 1115 (11)C> 112 12
117 2005 -3 1115 <C(33) 31 11 12
118 2035 -33 <C(33) 3315 31 11 12
119 2046 -30 01 (11)B> 3315 31 11 12
120 2196 0 01 1115 (11)B> 31 11 12
121 2204 2 01 1116 (11)B> 11 12
122 2209 -1 01 1116 <C(33) 33 12
123 2241 -33 01 <C(33) 3317 12
124 2254 -30 11 (12)A> 3317 12
125 2424 4 1118 (12)A> 12
126 2434 6 1119 (11)B>
127 2439 3 1119 <B(21) 20
128 2553 -35 <B(21) 1119 20
129 2562 -32 11 (11)C> 1119 20
130 2565 -35 11 <C(33) 31 1118 20
131 2567 -37 <C(33) 33 31 1118 20
132 2578 -34 01 (11)B> 33 31 1118 20
133 2588 -32 01 11 (11)B> 31 1118 20
134 2596 -30 01 112 (11)B> 1118 20
135 2601 -33 01 112 <C(33) 33 1117 20
136 2605 -37 01 <C(33) 333 1117 20
137 2618 -34 11 (12)A> 333 1117 20
138 2648 -28 114 (12)A> 1117 20
139 2656 -26 115 (11)C> 1116 20
140 2659 -29 115 <C(33) 31 1115 20
141 2669 -39 <C(33) 335 31 1115 20
142 2680 -36 01 (11)B> 335 31 1115 20
143 2730 -26 01 115 (11)B> 31 1115 20
144 2738 -24 01 116 (11)B> 1115 20
145 2743 -27 01 116 <C(33) 33 1114 20
146 2755 -39 01 <C(33) 337 1114 20
147 2768 -36 11 (12)A> 337 1114 20
148 2838 -22 118 (12)A> 1114 20
149 2846 -20 119 (11)C> 1113 20
150 2849 -23 119 <C(33) 31 1112 20
151 2867 -41 <C(33) 339 31 1112 20
152 2878 -38 01 (11)B> 339 31 1112 20
153 2968 -20 01 119 (11)B> 31 1112 20
154 2976 -18 01 1110 (11)B> 1112 20
155 2981 -21 01 1110 <C(33) 33 1111 20
156 3001 -41 01 <C(33) 3311 1111 20
157 3014 -38 11 (12)A> 3311 1111 20
158 3124 -16 1112 (12)A> 1111 20
159 3132 -14 1113 (11)C> 1110 20
160 3135 -17 1113 <C(33) 31 119 20
161 3161 -43 <C(33) 3313 31 119 20
162 3172 -40 01 (11)B> 3313 31 119 20
163 3302 -14 01 1113 (11)B> 31 119 20
164 3310 -12 01 1114 (11)B> 119 20
165 3315 -15 01 1114 <C(33) 33 118 20
166 3343 -43 01 <C(33) 3315 118 20
167 3356 -40 11 (12)A> 3315 118 20
168 3506 -10 1116 (12)A> 118 20
169 3514 -8 1117 (11)C> 117 20
170 3517 -11 1117 <C(33) 31 116 20
171 3551 -45 <C(33) 3317 31 116 20
172 3562 -42 01 (11)B> 3317 31 116 20
173 3732 -8 01 1117 (11)B> 31 116 20
174 3740 -6 01 1118 (11)B> 116 20
175 3745 -9 01 1118 <C(33) 33 115 20
176 3781 -45 01 <C(33) 3319 115 20
177 3794 -42 11 (12)A> 3319 115 20
178 3984 -4 1120 (12)A> 115 20
179 3992 -2 1121 (11)C> 114 20
180 3995 -5 1121 <C(33) 31 113 20
181 4037 -47 <C(33) 3321 31 113 20
182 4048 -44 01 (11)B> 3321 31 113 20
183 4258 -2 01 1121 (11)B> 31 113 20
184 4266 0 01 1122 (11)B> 113 20
185 4271 -3 01 1122 <C(33) 33 112 20
186 4315 -47 01 <C(33) 3323 112 20
187 4328 -44 11 (12)A> 3323 112 20
188 4558 2 1124 (12)A> 112 20
189 4566 4 1125 (11)C> 11 20
190 4569 1 1125 <C(33) 31 20
191 4619 -49 <C(33) 3325 31 20
192 4630 -46 01 (11)B> 3325 31 20
193 4880 4 01 1125 (11)B> 31 20
194 4888 6 01 1126 (11)B> 20
195 4899 3 01 1126 <B(21) 12
196 5055 -49 01 <B(21) 1126 12
197 5059 -51 <A(22) 1127 12
198 5066 -48 01 (11)B> 1127 12
199 5071 -51 01 <C(33) 33 1126 12
200 5084 -48 11 (12)A> 33 1126 12
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 5084
Tape index: -48
nonzeros: 60
log10(nonzeros): 1.778
log10(steps ): 3.706
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #g (T.J. & S. Ligocki)
: >1.4x10^2355 >3.4x10^4710
5T 1RB 2LB 2RA 1LA 2LA 1RC 0LB 2RA 1RB 3LC 1LA 1RH
L 10
M 201
pref sim
machv Lig34_g just simple
machv Lig34_g-r with repetitions reduced
machv Lig34_g-1 with tape symbol exponents
machv Lig34_g-m as 2-bck-macro machine
machv Lig34_g-a as 2-bck-macro machine with pure additive config-TRs
iam Lig34_g-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:52 CEST 2010
edate Tue Jul 6 22:13:52 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:13:52 CEST 2010