Comment: This TM produces 4096 ones in 11804910 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D0L | 1 | right | C | 0 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | E0R | B1L | 0 | right | E | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 3-macro machine.
The same TM as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 100
2 2 0 001 C> 100
3 7 -1 001 <E 101
4 10 0 011 C> 101
5 15 -1 011 <A 111
6 18 -4 <B 1112
7 19 -3 001 C> 1112
8 25 3 001 1112 C>
9 28 2 001 1112 <D 010
10 34 -4 001 <D 0112 010
11 39 -3 011 C> 0112 010
12 42 -4 011 <A 111 011 010
13 45 -7 <B 1112 011 010
14 46 -6 001 C> 1112 011 010
15 52 0 001 1112 C> 011 010
16 55 -1 001 1112 <A 111 010
17 61 -7 001 <A 1113 010
18 66 -6 111 C> 1113 010
19 75 3 1114 C> 010
20 78 2 1114 <A 110
21 90 -10 <A 1114 110
22 93 -9 011 C> 1114 110
23 105 3 011 1114 C> 110
24 108 6 011 1115 A>
25 109 5 011 1115 <B 100
26 124 -10 011 <B 1105 100
27 131 -9 111 A> 1105 100
28 132 -10 111 <A 1105 100
29 135 -13 <A 111 1105 100
30 138 -12 011 C> 111 1105 100
31 141 -9 011 111 C> 1105 100
32 144 -6 011 1112 A> 1104 100
33 145 -7 011 1112 <A 1104 100
34 151 -13 011 <A 1112 1104 100
35 154 -16 <B 1113 1104 100
36 155 -15 001 C> 1113 1104 100
37 164 -6 001 1113 C> 1104 100
38 167 -3 001 1114 A> 1103 100
39 168 -4 001 1114 <A 1103 100
40 180 -16 001 <A 1114 1103 100
41 185 -15 111 C> 1114 1103 100
42 197 -3 1115 C> 1103 100
43 200 0 1116 A> 1102 100
44 201 -1 1116 <A 1102 100
45 219 -19 <A 1116 1102 100
46 222 -18 011 C> 1116 1102 100
47 240 0 011 1116 C> 1102 100
48 243 3 011 1117 A> 110 100
49 244 2 011 1117 <A 110 100
50 265 -19 011 <A 1117 110 100
51 268 -22 <B 1118 110 100
52 269 -21 001 C> 1118 110 100
53 293 3 001 1118 C> 110 100
54 296 6 001 1119 A> 100
55 297 5 001 1119 <A 100
56 324 -22 001 <A 1119 100
57 329 -21 111 C> 1119 100
58 356 6 11110 C> 100
59 361 5 11110 <E 101
60 391 -25 <E 10111
61 392 -24 E> 10111
62 393 -25 <B 10111
63 394 -24 001 C> 10111
64 399 -25 001 <A 111 10110
65 404 -24 111 C> 111 10110
66 407 -21 1112 C> 10110
67 412 -22 1112 <A 111 1019
68 418 -28 <A 1113 1019
69 421 -27 011 C> 1113 1019
70 430 -18 011 1113 C> 1019
71 435 -19 011 1113 <A 111 1018
72 444 -28 011 <A 1114 1018
73 447 -31 <B 1115 1018
74 448 -30 001 C> 1115 1018
75 463 -15 001 1115 C> 1018
76 468 -16 001 1115 <A 111 1017
77 483 -31 001 <A 1116 1017
78 488 -30 111 C> 1116 1017
79 506 -12 1117 C> 1017
80 511 -13 1117 <A 111 1016
81 532 -34 <A 1118 1016
82 535 -33 011 C> 1118 1016
83 559 -9 011 1118 C> 1016
84 564 -10 011 1118 <A 111 1015
85 588 -34 011 <A 1119 1015
86 591 -37 <B 11110 1015
87 592 -36 001 C> 11110 1015
88 622 -6 001 11110 C> 1015
89 627 -7 001 11110 <A 111 1014
90 657 -37 001 <A 11111 1014
91 662 -36 111 C> 11111 1014
92 695 -3 11112 C> 1014
93 700 -4 11112 <A 111 1013
94 736 -40 <A 11113 1013
95 739 -39 011 C> 11113 1013
96 778 0 011 11113 C> 1013
97 783 -1 011 11113 <A 111 1012
98 822 -40 011 <A 11114 1012
99 825 -43 <B 11115 1012
100 826 -42 001 C> 11115 1012
101 871 3 001 11115 C> 1012
102 876 2 001 11115 <A 111 101
103 921 -43 001 <A 11116 101
104 926 -42 111 C> 11116 101
105 974 6 11117 C> 101
106 979 5 11117 <A 111
107 1030 -46 <A 11118
108 1033 -45 011 C> 11118
109 1087 9 011 11118 C>
110 1090 8 011 11118 <D 010
111 1144 -46 011 <D 01118 010
112 1149 -45 111 C> 01118 010
113 1152 -46 111 <A 111 01117 010
114 1155 -49 <A 1112 01117 010
115 1158 -48 011 C> 1112 01117 010
116 1164 -42 011 1112 C> 01117 010
117 1167 -43 011 1112 <A 111 01116 010
118 1173 -49 011 <A 1113 01116 010
119 1176 -52 <B 1114 01116 010
120 1177 -51 001 C> 1114 01116 010
121 1189 -39 001 1114 C> 01116 010
122 1192 -40 001 1114 <A 111 01115 010
123 1204 -52 001 <A 1115 01115 010
124 1209 -51 111 C> 1115 01115 010
125 1224 -36 1116 C> 01115 010
126 1227 -37 1116 <A 111 01114 010
127 1245 -55 <A 1117 01114 010
128 1248 -54 011 C> 1117 01114 010
129 1269 -33 011 1117 C> 01114 010
130 1272 -34 011 1117 <A 111 01113 010
131 1293 -55 011 <A 1118 01113 010
132 1296 -58 <B 1119 01113 010
133 1297 -57 001 C> 1119 01113 010
134 1324 -30 001 1119 C> 01113 010
135 1327 -31 001 1119 <A 111 01112 010
136 1354 -58 001 <A 11110 01112 010
137 1359 -57 111 C> 11110 01112 010
138 1389 -27 11111 C> 01112 010
139 1392 -28 11111 <A 111 01111 010
140 1425 -61 <A 11112 01111 010
141 1428 -60 011 C> 11112 01111 010
142 1464 -24 011 11112 C> 01111 010
143 1467 -25 011 11112 <A 111 01110 010
144 1503 -61 011 <A 11113 01110 010
145 1506 -64 <B 11114 01110 010
146 1507 -63 001 C> 11114 01110 010
147 1549 -21 001 11114 C> 01110 010
148 1552 -22 001 11114 <A 111 0119 010
149 1594 -64 001 <A 11115 0119 010
150 1599 -63 111 C> 11115 0119 010
151 1644 -18 11116 C> 0119 010
152 1647 -19 11116 <A 111 0118 010
153 1695 -67 <A 11117 0118 010
154 1698 -66 011 C> 11117 0118 010
155 1749 -15 011 11117 C> 0118 010
156 1752 -16 011 11117 <A 111 0117 010
157 1803 -67 011 <A 11118 0117 010
158 1806 -70 <B 11119 0117 010
159 1807 -69 001 C> 11119 0117 010
160 1864 -12 001 11119 C> 0117 010
161 1867 -13 001 11119 <A 111 0116 010
162 1924 -70 001 <A 11120 0116 010
163 1929 -69 111 C> 11120 0116 010
164 1989 -9 11121 C> 0116 010
165 1992 -10 11121 <A 111 0115 010
166 2055 -73 <A 11122 0115 010
167 2058 -72 011 C> 11122 0115 010
168 2124 -6 011 11122 C> 0115 010
169 2127 -7 011 11122 <A 111 0114 010
170 2193 -73 011 <A 11123 0114 010
171 2196 -76 <B 11124 0114 010
172 2197 -75 001 C> 11124 0114 010
173 2269 -3 001 11124 C> 0114 010
174 2272 -4 001 11124 <A 111 0113 010
175 2344 -76 001 <A 11125 0113 010
176 2349 -75 111 C> 11125 0113 010
177 2424 0 11126 C> 0113 010
178 2427 -1 11126 <A 111 0112 010
179 2505 -79 <A 11127 0112 010
180 2508 -78 011 C> 11127 0112 010
181 2589 3 011 11127 C> 0112 010
182 2592 2 011 11127 <A 111 011 010
183 2673 -79 011 <A 11128 011 010
184 2676 -82 <B 11129 011 010
185 2677 -81 001 C> 11129 011 010
186 2764 6 001 11129 C> 011 010
187 2767 5 001 11129 <A 111 010
188 2854 -82 001 <A 11130 010
189 2859 -81 111 C> 11130 010
190 2949 9 11131 C> 010
191 2952 8 11131 <A 110
192 3045 -85 <A 11131 110
193 3048 -84 011 C> 11131 110
194 3141 9 011 11131 C> 110
195 3144 12 011 11132 A>
196 3145 11 011 11132 <B 100
197 3241 -85 011 <B 11032 100
198 3248 -84 111 A> 11032 100
199 3249 -85 111 <A 11032 100
200 3252 -88 <A 111 11032 100
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 3252
Tape index: -88
ones: 68
log10(ones ): 1.833
log10(steps ): 3.512
Input to awk program:
gohalt 1
L 48
5T B1L A1L C1R D0L A1R C1R H1L E1L E0R B1L : 4096 11804910
T 5-state TM #5 from MaBu-List
M 201
pref sim
machv mbL5_5 just simple
machv mbL5_5-r with repetitions reduced
machv mbL5_5-1 with tape symbol exponents
machv mbL5_5-m as 3-macro machine
machv mbL5_5-a as 3-macro machine with pure additive config-TRs
iam mbL5_5-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:20 CEST 2010
edate Tue Jul 6 22:10:21 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:10:20 CEST 2010