Comment: This TM produces 4096 ones in 11804896 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 | C1R | B1L | 1 | right | C | 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 37 -3 011 C> 0112 010
12 40 -4 011 <A 111 011 010
13 43 -7 <B 1112 011 010
14 44 -6 001 C> 1112 011 010
15 50 0 001 1112 C> 011 010
16 53 -1 001 1112 <A 111 010
17 59 -7 001 <A 1113 010
18 64 -6 111 C> 1113 010
19 73 3 1114 C> 010
20 76 2 1114 <A 110
21 88 -10 <A 1114 110
22 91 -9 011 C> 1114 110
23 103 3 011 1114 C> 110
24 106 6 011 1115 A>
25 107 5 011 1115 <B 100
26 122 -10 011 <B 1105 100
27 127 -9 111 A> 1105 100
28 128 -10 111 <A 1105 100
29 131 -13 <A 111 1105 100
30 134 -12 011 C> 111 1105 100
31 137 -9 011 111 C> 1105 100
32 140 -6 011 1112 A> 1104 100
33 141 -7 011 1112 <A 1104 100
34 147 -13 011 <A 1112 1104 100
35 150 -16 <B 1113 1104 100
36 151 -15 001 C> 1113 1104 100
37 160 -6 001 1113 C> 1104 100
38 163 -3 001 1114 A> 1103 100
39 164 -4 001 1114 <A 1103 100
40 176 -16 001 <A 1114 1103 100
41 181 -15 111 C> 1114 1103 100
42 193 -3 1115 C> 1103 100
43 196 0 1116 A> 1102 100
44 197 -1 1116 <A 1102 100
45 215 -19 <A 1116 1102 100
46 218 -18 011 C> 1116 1102 100
47 236 0 011 1116 C> 1102 100
48 239 3 011 1117 A> 110 100
49 240 2 011 1117 <A 110 100
50 261 -19 011 <A 1117 110 100
51 264 -22 <B 1118 110 100
52 265 -21 001 C> 1118 110 100
53 289 3 001 1118 C> 110 100
54 292 6 001 1119 A> 100
55 293 5 001 1119 <A 100
56 320 -22 001 <A 1119 100
57 325 -21 111 C> 1119 100
58 352 6 11110 C> 100
59 357 5 11110 <E 101
60 387 -25 <E 10111
61 388 -24 001 C> 10111
62 393 -25 001 <A 111 10110
63 398 -24 111 C> 111 10110
64 401 -21 1112 C> 10110
65 406 -22 1112 <A 111 1019
66 412 -28 <A 1113 1019
67 415 -27 011 C> 1113 1019
68 424 -18 011 1113 C> 1019
69 429 -19 011 1113 <A 111 1018
70 438 -28 011 <A 1114 1018
71 441 -31 <B 1115 1018
72 442 -30 001 C> 1115 1018
73 457 -15 001 1115 C> 1018
74 462 -16 001 1115 <A 111 1017
75 477 -31 001 <A 1116 1017
76 482 -30 111 C> 1116 1017
77 500 -12 1117 C> 1017
78 505 -13 1117 <A 111 1016
79 526 -34 <A 1118 1016
80 529 -33 011 C> 1118 1016
81 553 -9 011 1118 C> 1016
82 558 -10 011 1118 <A 111 1015
83 582 -34 011 <A 1119 1015
84 585 -37 <B 11110 1015
85 586 -36 001 C> 11110 1015
86 616 -6 001 11110 C> 1015
87 621 -7 001 11110 <A 111 1014
88 651 -37 001 <A 11111 1014
89 656 -36 111 C> 11111 1014
90 689 -3 11112 C> 1014
91 694 -4 11112 <A 111 1013
92 730 -40 <A 11113 1013
93 733 -39 011 C> 11113 1013
94 772 0 011 11113 C> 1013
95 777 -1 011 11113 <A 111 1012
96 816 -40 011 <A 11114 1012
97 819 -43 <B 11115 1012
98 820 -42 001 C> 11115 1012
99 865 3 001 11115 C> 1012
100 870 2 001 11115 <A 111 101
101 915 -43 001 <A 11116 101
102 920 -42 111 C> 11116 101
103 968 6 11117 C> 101
104 973 5 11117 <A 111
105 1024 -46 <A 11118
106 1027 -45 011 C> 11118
107 1081 9 011 11118 C>
108 1084 8 011 11118 <D 010
109 1138 -46 011 <D 01118 010
110 1143 -45 111 C> 01118 010
111 1146 -46 111 <A 111 01117 010
112 1149 -49 <A 1112 01117 010
113 1152 -48 011 C> 1112 01117 010
114 1158 -42 011 1112 C> 01117 010
115 1161 -43 011 1112 <A 111 01116 010
116 1167 -49 011 <A 1113 01116 010
117 1170 -52 <B 1114 01116 010
118 1171 -51 001 C> 1114 01116 010
119 1183 -39 001 1114 C> 01116 010
120 1186 -40 001 1114 <A 111 01115 010
121 1198 -52 001 <A 1115 01115 010
122 1203 -51 111 C> 1115 01115 010
123 1218 -36 1116 C> 01115 010
124 1221 -37 1116 <A 111 01114 010
125 1239 -55 <A 1117 01114 010
126 1242 -54 011 C> 1117 01114 010
127 1263 -33 011 1117 C> 01114 010
128 1266 -34 011 1117 <A 111 01113 010
129 1287 -55 011 <A 1118 01113 010
130 1290 -58 <B 1119 01113 010
131 1291 -57 001 C> 1119 01113 010
132 1318 -30 001 1119 C> 01113 010
133 1321 -31 001 1119 <A 111 01112 010
134 1348 -58 001 <A 11110 01112 010
135 1353 -57 111 C> 11110 01112 010
136 1383 -27 11111 C> 01112 010
137 1386 -28 11111 <A 111 01111 010
138 1419 -61 <A 11112 01111 010
139 1422 -60 011 C> 11112 01111 010
140 1458 -24 011 11112 C> 01111 010
141 1461 -25 011 11112 <A 111 01110 010
142 1497 -61 011 <A 11113 01110 010
143 1500 -64 <B 11114 01110 010
144 1501 -63 001 C> 11114 01110 010
145 1543 -21 001 11114 C> 01110 010
146 1546 -22 001 11114 <A 111 0119 010
147 1588 -64 001 <A 11115 0119 010
148 1593 -63 111 C> 11115 0119 010
149 1638 -18 11116 C> 0119 010
150 1641 -19 11116 <A 111 0118 010
151 1689 -67 <A 11117 0118 010
152 1692 -66 011 C> 11117 0118 010
153 1743 -15 011 11117 C> 0118 010
154 1746 -16 011 11117 <A 111 0117 010
155 1797 -67 011 <A 11118 0117 010
156 1800 -70 <B 11119 0117 010
157 1801 -69 001 C> 11119 0117 010
158 1858 -12 001 11119 C> 0117 010
159 1861 -13 001 11119 <A 111 0116 010
160 1918 -70 001 <A 11120 0116 010
161 1923 -69 111 C> 11120 0116 010
162 1983 -9 11121 C> 0116 010
163 1986 -10 11121 <A 111 0115 010
164 2049 -73 <A 11122 0115 010
165 2052 -72 011 C> 11122 0115 010
166 2118 -6 011 11122 C> 0115 010
167 2121 -7 011 11122 <A 111 0114 010
168 2187 -73 011 <A 11123 0114 010
169 2190 -76 <B 11124 0114 010
170 2191 -75 001 C> 11124 0114 010
171 2263 -3 001 11124 C> 0114 010
172 2266 -4 001 11124 <A 111 0113 010
173 2338 -76 001 <A 11125 0113 010
174 2343 -75 111 C> 11125 0113 010
175 2418 0 11126 C> 0113 010
176 2421 -1 11126 <A 111 0112 010
177 2499 -79 <A 11127 0112 010
178 2502 -78 011 C> 11127 0112 010
179 2583 3 011 11127 C> 0112 010
180 2586 2 011 11127 <A 111 011 010
181 2667 -79 011 <A 11128 011 010
182 2670 -82 <B 11129 011 010
183 2671 -81 001 C> 11129 011 010
184 2758 6 001 11129 C> 011 010
185 2761 5 001 11129 <A 111 010
186 2848 -82 001 <A 11130 010
187 2853 -81 111 C> 11130 010
188 2943 9 11131 C> 010
189 2946 8 11131 <A 110
190 3039 -85 <A 11131 110
191 3042 -84 011 C> 11131 110
192 3135 9 011 11131 C> 110
193 3138 12 011 11132 A>
194 3139 11 011 11132 <B 100
195 3235 -85 011 <B 11032 100
196 3240 -84 111 A> 11032 100
197 3241 -85 111 <A 11032 100
198 3244 -88 <A 111 11032 100
199 3247 -87 011 C> 111 11032 100
200 3250 -84 011 111 C> 11032 100
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 3250
Tape index: -84
ones: 70
log10(ones ): 1.845
log10(steps ): 3.512
Input to awk program:
gohalt 1
L 48
5T B1L A1L C1R D0L A1R C1R H1L E1L C1R B1L : 4096 11804896
T 5-state TM #6 from MaBu-List
M 201
pref sim
machv mbL5_6 just simple
machv mbL5_6-r with repetitions reduced
machv mbL5_6-1 with tape symbol exponents
machv mbL5_6-m as 3-macro machine
machv mbL5_6-a as 3-macro machine with pure additive config-TRs
iam mbL5_6-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:22 CEST 2010
edate Tue Jul 6 22:10:22 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:22 CEST 2010