Comment: This TM produces 4098 ones in 47176870 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | C1R | 1 | left | B | 1 | right | C |
| B | C1L | B1L | 1 | left | C | 1 | left | B |
| C | D1L | E0R | 1 | left | D | 0 | right | E |
| D | A1R | D1R | 1 | right | A | 1 | right | D |
| E | H1L | A0R | 1 | left | H | 0 | right | A |
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 6 0 110 E> 100
3 9 -1 110 <C 110
4 12 0 111 D> 110
5 15 3 1112 A>
6 16 2 1112 <B 100
7 22 -4 <B 1112 100
8 27 -3 110 E> 1112 100
9 33 3 110 0102 E> 100
10 36 2 110 0102 <C 110
11 39 3 110 010 011 D> 110
12 42 6 110 010 011 111 A>
13 43 5 110 010 011 111 <B 100
14 46 2 110 010 011 <B 111 100
15 49 -1 110 010 <C 1112 100
16 52 0 110 011 D> 1112 100
17 58 6 110 011 1112 D> 100
18 63 5 110 011 1112 <B 111
19 69 -1 110 011 <B 1113
20 72 -4 110 <C 1114
21 75 -3 111 D> 1114
22 87 9 1115 D>
23 90 8 1115 <B 110
24 105 -7 <B 1115 110
25 110 -6 110 E> 1115 110
26 125 9 110 0105 E> 110
27 130 12 110 0105 011 D>
28 133 11 110 0105 011 <B 110
29 136 8 110 0105 <C 111 110
30 139 9 110 0104 011 D> 111 110
31 142 12 110 0104 011 111 D> 110
32 145 15 110 0104 011 1112 A>
33 146 14 110 0104 011 1112 <B 100
34 152 8 110 0104 011 <B 1112 100
35 155 5 110 0104 <C 1113 100
36 158 6 110 0103 011 D> 1113 100
37 167 15 110 0103 011 1113 D> 100
38 172 14 110 0103 011 1113 <B 111
39 181 5 110 0103 011 <B 1114
40 184 2 110 0103 <C 1115
41 187 3 110 0102 011 D> 1115
42 202 18 110 0102 011 1115 D>
43 205 17 110 0102 011 1115 <B 110
44 220 2 110 0102 011 <B 1115 110
45 223 -1 110 0102 <C 1116 110
46 226 0 110 010 011 D> 1116 110
47 244 18 110 010 011 1116 D> 110
48 247 21 110 010 011 1117 A>
49 248 20 110 010 011 1117 <B 100
50 269 -1 110 010 011 <B 1117 100
51 272 -4 110 010 <C 1118 100
52 275 -3 110 011 D> 1118 100
53 299 21 110 011 1118 D> 100
54 304 20 110 011 1118 <B 111
55 328 -4 110 011 <B 1119
56 331 -7 110 <C 11110
57 334 -6 111 D> 11110
58 364 24 11111 D>
59 367 23 11111 <B 110
60 400 -10 <B 11111 110
61 405 -9 110 E> 11111 110
62 438 24 110 01011 E> 110
63 443 27 110 01011 011 D>
64 446 26 110 01011 011 <B 110
65 449 23 110 01011 <C 111 110
66 452 24 110 01010 011 D> 111 110
67 455 27 110 01010 011 111 D> 110
68 458 30 110 01010 011 1112 A>
69 459 29 110 01010 011 1112 <B 100
70 465 23 110 01010 011 <B 1112 100
71 468 20 110 01010 <C 1113 100
72 471 21 110 0109 011 D> 1113 100
73 480 30 110 0109 011 1113 D> 100
74 485 29 110 0109 011 1113 <B 111
75 494 20 110 0109 011 <B 1114
76 497 17 110 0109 <C 1115
77 500 18 110 0108 011 D> 1115
78 515 33 110 0108 011 1115 D>
79 518 32 110 0108 011 1115 <B 110
80 533 17 110 0108 011 <B 1115 110
81 536 14 110 0108 <C 1116 110
82 539 15 110 0107 011 D> 1116 110
83 557 33 110 0107 011 1116 D> 110
84 560 36 110 0107 011 1117 A>
85 561 35 110 0107 011 1117 <B 100
86 582 14 110 0107 011 <B 1117 100
87 585 11 110 0107 <C 1118 100
88 588 12 110 0106 011 D> 1118 100
89 612 36 110 0106 011 1118 D> 100
90 617 35 110 0106 011 1118 <B 111
91 641 11 110 0106 011 <B 1119
92 644 8 110 0106 <C 11110
93 647 9 110 0105 011 D> 11110
94 677 39 110 0105 011 11110 D>
95 680 38 110 0105 011 11110 <B 110
96 710 8 110 0105 011 <B 11110 110
97 713 5 110 0105 <C 11111 110
98 716 6 110 0104 011 D> 11111 110
99 749 39 110 0104 011 11111 D> 110
100 752 42 110 0104 011 11112 A>
101 753 41 110 0104 011 11112 <B 100
102 789 5 110 0104 011 <B 11112 100
103 792 2 110 0104 <C 11113 100
104 795 3 110 0103 011 D> 11113 100
105 834 42 110 0103 011 11113 D> 100
106 839 41 110 0103 011 11113 <B 111
107 878 2 110 0103 011 <B 11114
108 881 -1 110 0103 <C 11115
109 884 0 110 0102 011 D> 11115
110 929 45 110 0102 011 11115 D>
111 932 44 110 0102 011 11115 <B 110
112 977 -1 110 0102 011 <B 11115 110
113 980 -4 110 0102 <C 11116 110
114 983 -3 110 010 011 D> 11116 110
115 1031 45 110 010 011 11116 D> 110
116 1034 48 110 010 011 11117 A>
117 1035 47 110 010 011 11117 <B 100
118 1086 -4 110 010 011 <B 11117 100
119 1089 -7 110 010 <C 11118 100
120 1092 -6 110 011 D> 11118 100
121 1146 48 110 011 11118 D> 100
122 1151 47 110 011 11118 <B 111
123 1205 -7 110 011 <B 11119
124 1208 -10 110 <C 11120
125 1211 -9 111 D> 11120
126 1271 51 11121 D>
127 1274 50 11121 <B 110
128 1337 -13 <B 11121 110
129 1342 -12 110 E> 11121 110
130 1405 51 110 01021 E> 110
131 1410 54 110 01021 011 D>
132 1413 53 110 01021 011 <B 110
133 1416 50 110 01021 <C 111 110
134 1419 51 110 01020 011 D> 111 110
135 1422 54 110 01020 011 111 D> 110
136 1425 57 110 01020 011 1112 A>
137 1426 56 110 01020 011 1112 <B 100
138 1432 50 110 01020 011 <B 1112 100
139 1435 47 110 01020 <C 1113 100
140 1438 48 110 01019 011 D> 1113 100
141 1447 57 110 01019 011 1113 D> 100
142 1452 56 110 01019 011 1113 <B 111
143 1461 47 110 01019 011 <B 1114
144 1464 44 110 01019 <C 1115
145 1467 45 110 01018 011 D> 1115
146 1482 60 110 01018 011 1115 D>
147 1485 59 110 01018 011 1115 <B 110
148 1500 44 110 01018 011 <B 1115 110
149 1503 41 110 01018 <C 1116 110
150 1506 42 110 01017 011 D> 1116 110
151 1524 60 110 01017 011 1116 D> 110
152 1527 63 110 01017 011 1117 A>
153 1528 62 110 01017 011 1117 <B 100
154 1549 41 110 01017 011 <B 1117 100
155 1552 38 110 01017 <C 1118 100
156 1555 39 110 01016 011 D> 1118 100
157 1579 63 110 01016 011 1118 D> 100
158 1584 62 110 01016 011 1118 <B 111
159 1608 38 110 01016 011 <B 1119
160 1611 35 110 01016 <C 11110
161 1614 36 110 01015 011 D> 11110
162 1644 66 110 01015 011 11110 D>
163 1647 65 110 01015 011 11110 <B 110
164 1677 35 110 01015 011 <B 11110 110
165 1680 32 110 01015 <C 11111 110
166 1683 33 110 01014 011 D> 11111 110
167 1716 66 110 01014 011 11111 D> 110
168 1719 69 110 01014 011 11112 A>
169 1720 68 110 01014 011 11112 <B 100
170 1756 32 110 01014 011 <B 11112 100
171 1759 29 110 01014 <C 11113 100
172 1762 30 110 01013 011 D> 11113 100
173 1801 69 110 01013 011 11113 D> 100
174 1806 68 110 01013 011 11113 <B 111
175 1845 29 110 01013 011 <B 11114
176 1848 26 110 01013 <C 11115
177 1851 27 110 01012 011 D> 11115
178 1896 72 110 01012 011 11115 D>
179 1899 71 110 01012 011 11115 <B 110
180 1944 26 110 01012 011 <B 11115 110
181 1947 23 110 01012 <C 11116 110
182 1950 24 110 01011 011 D> 11116 110
183 1998 72 110 01011 011 11116 D> 110
184 2001 75 110 01011 011 11117 A>
185 2002 74 110 01011 011 11117 <B 100
186 2053 23 110 01011 011 <B 11117 100
187 2056 20 110 01011 <C 11118 100
188 2059 21 110 01010 011 D> 11118 100
189 2113 75 110 01010 011 11118 D> 100
190 2118 74 110 01010 011 11118 <B 111
191 2172 20 110 01010 011 <B 11119
192 2175 17 110 01010 <C 11120
193 2178 18 110 0109 011 D> 11120
194 2238 78 110 0109 011 11120 D>
195 2241 77 110 0109 011 11120 <B 110
196 2301 17 110 0109 011 <B 11120 110
197 2304 14 110 0109 <C 11121 110
198 2307 15 110 0108 011 D> 11121 110
199 2370 78 110 0108 011 11121 D> 110
200 2373 81 110 0108 011 11122 A>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2373
Tape index: 81
ones: 78
log10(ones ): 1.892
log10(steps ): 3.375
Input to awk program:
gohalt 1
5T B1L C1R C1L B1L D1L E0R A1R D1R H1L A0R : 4098 47176870
T 5-state TM #1 from MaBu-List
M 201
pref sim
machv mbL5_1 just simple
machv mbL5_1-r with repetitions reduced
machv mbL5_1-1 with tape symbol exponents
machv mbL5_1-m as 3-macro machine
machv mbL5_1-a as 3-macro machine with pure additive config-TRs
iam mbL5_1-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:15 CEST 2010
edate Tue Jul 6 22:10:15 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:15 CEST 2010