Comment: This TM produces 4097 ones in 11798796 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 | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E0L | 1 | left | H | 0 | 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 011
4 10 0 011 C> 011
5 13 -1 011 <A 111
6 16 -4 <B 1112
7 17 -3 001 C> 1112
8 23 3 001 1112 C>
9 26 2 001 1112 <D 110
10 32 -4 001 <D 1103
11 35 -3 011 A> 1103
12 36 -4 011 <A 1103
13 39 -7 <B 111 1103
14 40 -6 001 C> 111 1103
15 43 -3 001 111 C> 1103
16 46 0 001 1112 A> 1102
17 47 -1 001 1112 <A 1102
18 53 -7 001 <A 1112 1102
19 58 -6 111 C> 1112 1102
20 64 0 1113 C> 1102
21 67 3 1114 A> 110
22 68 2 1114 <A 110
23 80 -10 <A 1114 110
24 83 -9 011 C> 1114 110
25 95 3 011 1114 C> 110
26 98 6 011 1115 A>
27 99 5 011 1115 <B 100
28 114 -10 011 <B 1015 100
29 121 -13 <A 111 1015 100
30 124 -12 011 C> 111 1015 100
31 127 -9 011 111 C> 1015 100
32 132 -10 011 111 <A 111 1014 100
33 135 -13 011 <A 1112 1014 100
34 138 -16 <B 1113 1014 100
35 139 -15 001 C> 1113 1014 100
36 148 -6 001 1113 C> 1014 100
37 153 -7 001 1113 <A 111 1013 100
38 162 -16 001 <A 1114 1013 100
39 167 -15 111 C> 1114 1013 100
40 179 -3 1115 C> 1013 100
41 184 -4 1115 <A 111 1012 100
42 199 -19 <A 1116 1012 100
43 202 -18 011 C> 1116 1012 100
44 220 0 011 1116 C> 1012 100
45 225 -1 011 1116 <A 111 101 100
46 243 -19 011 <A 1117 101 100
47 246 -22 <B 1118 101 100
48 247 -21 001 C> 1118 101 100
49 271 3 001 1118 C> 101 100
50 276 2 001 1118 <A 111 100
51 300 -22 001 <A 1119 100
52 305 -21 111 C> 1119 100
53 332 6 11110 C> 100
54 337 5 11110 <E 011
55 367 -25 <E 01111
56 368 -24 001 C> 01111
57 371 -25 001 <A 111 01110
58 376 -24 111 C> 111 01110
59 379 -21 1112 C> 01110
60 382 -22 1112 <A 111 0119
61 388 -28 <A 1113 0119
62 391 -27 011 C> 1113 0119
63 400 -18 011 1113 C> 0119
64 403 -19 011 1113 <A 111 0118
65 412 -28 011 <A 1114 0118
66 415 -31 <B 1115 0118
67 416 -30 001 C> 1115 0118
68 431 -15 001 1115 C> 0118
69 434 -16 001 1115 <A 111 0117
70 449 -31 001 <A 1116 0117
71 454 -30 111 C> 1116 0117
72 472 -12 1117 C> 0117
73 475 -13 1117 <A 111 0116
74 496 -34 <A 1118 0116
75 499 -33 011 C> 1118 0116
76 523 -9 011 1118 C> 0116
77 526 -10 011 1118 <A 111 0115
78 550 -34 011 <A 1119 0115
79 553 -37 <B 11110 0115
80 554 -36 001 C> 11110 0115
81 584 -6 001 11110 C> 0115
82 587 -7 001 11110 <A 111 0114
83 617 -37 001 <A 11111 0114
84 622 -36 111 C> 11111 0114
85 655 -3 11112 C> 0114
86 658 -4 11112 <A 111 0113
87 694 -40 <A 11113 0113
88 697 -39 011 C> 11113 0113
89 736 0 011 11113 C> 0113
90 739 -1 011 11113 <A 111 0112
91 778 -40 011 <A 11114 0112
92 781 -43 <B 11115 0112
93 782 -42 001 C> 11115 0112
94 827 3 001 11115 C> 0112
95 830 2 001 11115 <A 111 011
96 875 -43 001 <A 11116 011
97 880 -42 111 C> 11116 011
98 928 6 11117 C> 011
99 931 5 11117 <A 111
100 982 -46 <A 11118
101 985 -45 011 C> 11118
102 1039 9 011 11118 C>
103 1042 8 011 11118 <D 110
104 1096 -46 011 <D 11019
105 1101 -45 111 A> 11019
106 1102 -46 111 <A 11019
107 1105 -49 <A 111 11019
108 1108 -48 011 C> 111 11019
109 1111 -45 011 111 C> 11019
110 1114 -42 011 1112 A> 11018
111 1115 -43 011 1112 <A 11018
112 1121 -49 011 <A 1112 11018
113 1124 -52 <B 1113 11018
114 1125 -51 001 C> 1113 11018
115 1134 -42 001 1113 C> 11018
116 1137 -39 001 1114 A> 11017
117 1138 -40 001 1114 <A 11017
118 1150 -52 001 <A 1114 11017
119 1155 -51 111 C> 1114 11017
120 1167 -39 1115 C> 11017
121 1170 -36 1116 A> 11016
122 1171 -37 1116 <A 11016
123 1189 -55 <A 1116 11016
124 1192 -54 011 C> 1116 11016
125 1210 -36 011 1116 C> 11016
126 1213 -33 011 1117 A> 11015
127 1214 -34 011 1117 <A 11015
128 1235 -55 011 <A 1117 11015
129 1238 -58 <B 1118 11015
130 1239 -57 001 C> 1118 11015
131 1263 -33 001 1118 C> 11015
132 1266 -30 001 1119 A> 11014
133 1267 -31 001 1119 <A 11014
134 1294 -58 001 <A 1119 11014
135 1299 -57 111 C> 1119 11014
136 1326 -30 11110 C> 11014
137 1329 -27 11111 A> 11013
138 1330 -28 11111 <A 11013
139 1363 -61 <A 11111 11013
140 1366 -60 011 C> 11111 11013
141 1399 -27 011 11111 C> 11013
142 1402 -24 011 11112 A> 11012
143 1403 -25 011 11112 <A 11012
144 1439 -61 011 <A 11112 11012
145 1442 -64 <B 11113 11012
146 1443 -63 001 C> 11113 11012
147 1482 -24 001 11113 C> 11012
148 1485 -21 001 11114 A> 11011
149 1486 -22 001 11114 <A 11011
150 1528 -64 001 <A 11114 11011
151 1533 -63 111 C> 11114 11011
152 1575 -21 11115 C> 11011
153 1578 -18 11116 A> 11010
154 1579 -19 11116 <A 11010
155 1627 -67 <A 11116 11010
156 1630 -66 011 C> 11116 11010
157 1678 -18 011 11116 C> 11010
158 1681 -15 011 11117 A> 1109
159 1682 -16 011 11117 <A 1109
160 1733 -67 011 <A 11117 1109
161 1736 -70 <B 11118 1109
162 1737 -69 001 C> 11118 1109
163 1791 -15 001 11118 C> 1109
164 1794 -12 001 11119 A> 1108
165 1795 -13 001 11119 <A 1108
166 1852 -70 001 <A 11119 1108
167 1857 -69 111 C> 11119 1108
168 1914 -12 11120 C> 1108
169 1917 -9 11121 A> 1107
170 1918 -10 11121 <A 1107
171 1981 -73 <A 11121 1107
172 1984 -72 011 C> 11121 1107
173 2047 -9 011 11121 C> 1107
174 2050 -6 011 11122 A> 1106
175 2051 -7 011 11122 <A 1106
176 2117 -73 011 <A 11122 1106
177 2120 -76 <B 11123 1106
178 2121 -75 001 C> 11123 1106
179 2190 -6 001 11123 C> 1106
180 2193 -3 001 11124 A> 1105
181 2194 -4 001 11124 <A 1105
182 2266 -76 001 <A 11124 1105
183 2271 -75 111 C> 11124 1105
184 2343 -3 11125 C> 1105
185 2346 0 11126 A> 1104
186 2347 -1 11126 <A 1104
187 2425 -79 <A 11126 1104
188 2428 -78 011 C> 11126 1104
189 2506 0 011 11126 C> 1104
190 2509 3 011 11127 A> 1103
191 2510 2 011 11127 <A 1103
192 2591 -79 011 <A 11127 1103
193 2594 -82 <B 11128 1103
194 2595 -81 001 C> 11128 1103
195 2679 3 001 11128 C> 1103
196 2682 6 001 11129 A> 1102
197 2683 5 001 11129 <A 1102
198 2770 -82 001 <A 11129 1102
199 2775 -81 111 C> 11129 1102
200 2862 6 11130 C> 1102
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2862
Tape index: 6
ones: 94
log10(ones ): 1.973
log10(steps ): 3.457
Input to awk program:
gohalt 1
L 46
5T B1L A1L C1R D1L A1R C1R H1L E0L C1R B1L : 4097 11798796
T 5-state TM #4 from MaBu-List
M 201
pref sim
machv mbL5_4 just simple
machv mbL5_4-r with repetitions reduced
machv mbL5_4-1 with tape symbol exponents
machv mbL5_4-m as 3-macro machine
machv mbL5_4-a as 3-macro machine with pure additive config-TRs
iam mbL5_4-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:19 CEST 2010
edate Tue Jul 6 22:10:19 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:19 CEST 2010