Comment: This TM produces 4098 ones in 11798826 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 | B1R | 1 | right | C | 1 | right | B |
| C | A1L | D1R | 1 | left | A | 1 | right | D |
| D | A1L | E1R | 1 | left | A | 1 | right | E |
| E | H1R | C0R | 1 | right | H | 0 | right | C |
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 5 -1 001 <A 110
4 10 0 111 E> 110
5 15 -1 111 <B 111
6 16 0 111 B> 111
7 19 3 1112 B>
8 22 2 1112 <A 110
9 28 -4 <A 1112 110
10 31 -3 011 D> 1112 110
11 37 3 011 1012 D> 110
12 44 6 011 1012 111 B>
13 47 5 011 1012 111 <A 110
14 50 2 011 1012 <A 111 110
15 55 3 011 101 111 B> 111 110
16 58 6 011 101 1112 B> 110
17 61 9 011 101 1113 C>
18 62 8 011 101 1113 <A 100
19 71 -1 011 101 <A 1113 100
20 76 0 011 111 B> 1113 100
21 85 9 011 1114 B> 100
22 90 8 011 1114 <A 111
23 102 -4 011 <A 1115
24 105 -7 <B 1116
25 106 -6 001 C> 1116
26 124 12 001 1106 C>
27 125 11 001 1106 <A 100
28 128 12 001 1105 111 B> 100
29 133 11 001 1105 111 <A 111
30 136 8 001 1105 <A 1112
31 139 9 001 1104 111 B> 1112
32 145 15 001 1104 1113 B>
33 148 14 001 1104 1113 <A 110
34 157 5 001 1104 <A 1113 110
35 160 6 001 1103 111 B> 1113 110
36 169 15 001 1103 1114 B> 110
37 172 18 001 1103 1115 C>
38 173 17 001 1103 1115 <A 100
39 188 2 001 1103 <A 1115 100
40 191 3 001 1102 111 B> 1115 100
41 206 18 001 1102 1116 B> 100
42 211 17 001 1102 1116 <A 111
43 229 -1 001 1102 <A 1117
44 232 0 001 110 111 B> 1117
45 253 21 001 110 1118 B>
46 256 20 001 110 1118 <A 110
47 280 -4 001 110 <A 1118 110
48 283 -3 001 111 B> 1118 110
49 307 21 001 1119 B> 110
50 310 24 001 11110 C>
51 311 23 001 11110 <A 100
52 341 -7 001 <A 11110 100
53 346 -6 111 E> 11110 100
54 376 24 111 01110 E> 100
55 379 23 111 01110 <B 110
56 380 24 111 01110 B> 110
57 383 27 111 01110 111 C>
58 384 26 111 01110 111 <A 100
59 387 23 111 01110 <A 111 100
60 390 20 111 0119 <B 1112 100
61 391 21 111 0119 B> 1112 100
62 397 27 111 0119 1112 B> 100
63 402 26 111 0119 1112 <A 111
64 408 20 111 0119 <A 1113
65 411 17 111 0118 <B 1114
66 412 18 111 0118 B> 1114
67 424 30 111 0118 1114 B>
68 427 29 111 0118 1114 <A 110
69 439 17 111 0118 <A 1114 110
70 442 14 111 0117 <B 1115 110
71 443 15 111 0117 B> 1115 110
72 458 30 111 0117 1115 B> 110
73 461 33 111 0117 1116 C>
74 462 32 111 0117 1116 <A 100
75 480 14 111 0117 <A 1116 100
76 483 11 111 0116 <B 1117 100
77 484 12 111 0116 B> 1117 100
78 505 33 111 0116 1117 B> 100
79 510 32 111 0116 1117 <A 111
80 531 11 111 0116 <A 1118
81 534 8 111 0115 <B 1119
82 535 9 111 0115 B> 1119
83 562 36 111 0115 1119 B>
84 565 35 111 0115 1119 <A 110
85 592 8 111 0115 <A 1119 110
86 595 5 111 0114 <B 11110 110
87 596 6 111 0114 B> 11110 110
88 626 36 111 0114 11110 B> 110
89 629 39 111 0114 11111 C>
90 630 38 111 0114 11111 <A 100
91 663 5 111 0114 <A 11111 100
92 666 2 111 0113 <B 11112 100
93 667 3 111 0113 B> 11112 100
94 703 39 111 0113 11112 B> 100
95 708 38 111 0113 11112 <A 111
96 744 2 111 0113 <A 11113
97 747 -1 111 0112 <B 11114
98 748 0 111 0112 B> 11114
99 790 42 111 0112 11114 B>
100 793 41 111 0112 11114 <A 110
101 835 -1 111 0112 <A 11114 110
102 838 -4 111 011 <B 11115 110
103 839 -3 111 011 B> 11115 110
104 884 42 111 011 11115 B> 110
105 887 45 111 011 11116 C>
106 888 44 111 011 11116 <A 100
107 936 -4 111 011 <A 11116 100
108 939 -7 111 <B 11117 100
109 940 -6 111 B> 11117 100
110 991 45 11118 B> 100
111 996 44 11118 <A 111
112 1050 -10 <A 11119
113 1053 -9 011 D> 11119
114 1110 48 011 10119 D>
115 1111 47 011 10119 <A 100
116 1116 48 011 10118 111 B> 100
117 1121 47 011 10118 111 <A 111
118 1124 44 011 10118 <A 1112
119 1129 45 011 10117 111 B> 1112
120 1135 51 011 10117 1113 B>
121 1138 50 011 10117 1113 <A 110
122 1147 41 011 10117 <A 1113 110
123 1152 42 011 10116 111 B> 1113 110
124 1161 51 011 10116 1114 B> 110
125 1164 54 011 10116 1115 C>
126 1165 53 011 10116 1115 <A 100
127 1180 38 011 10116 <A 1115 100
128 1185 39 011 10115 111 B> 1115 100
129 1200 54 011 10115 1116 B> 100
130 1205 53 011 10115 1116 <A 111
131 1223 35 011 10115 <A 1117
132 1228 36 011 10114 111 B> 1117
133 1249 57 011 10114 1118 B>
134 1252 56 011 10114 1118 <A 110
135 1276 32 011 10114 <A 1118 110
136 1281 33 011 10113 111 B> 1118 110
137 1305 57 011 10113 1119 B> 110
138 1308 60 011 10113 11110 C>
139 1309 59 011 10113 11110 <A 100
140 1339 29 011 10113 <A 11110 100
141 1344 30 011 10112 111 B> 11110 100
142 1374 60 011 10112 11111 B> 100
143 1379 59 011 10112 11111 <A 111
144 1412 26 011 10112 <A 11112
145 1417 27 011 10111 111 B> 11112
146 1453 63 011 10111 11113 B>
147 1456 62 011 10111 11113 <A 110
148 1495 23 011 10111 <A 11113 110
149 1500 24 011 10110 111 B> 11113 110
150 1539 63 011 10110 11114 B> 110
151 1542 66 011 10110 11115 C>
152 1543 65 011 10110 11115 <A 100
153 1588 20 011 10110 <A 11115 100
154 1593 21 011 1019 111 B> 11115 100
155 1638 66 011 1019 11116 B> 100
156 1643 65 011 1019 11116 <A 111
157 1691 17 011 1019 <A 11117
158 1696 18 011 1018 111 B> 11117
159 1747 69 011 1018 11118 B>
160 1750 68 011 1018 11118 <A 110
161 1804 14 011 1018 <A 11118 110
162 1809 15 011 1017 111 B> 11118 110
163 1863 69 011 1017 11119 B> 110
164 1866 72 011 1017 11120 C>
165 1867 71 011 1017 11120 <A 100
166 1927 11 011 1017 <A 11120 100
167 1932 12 011 1016 111 B> 11120 100
168 1992 72 011 1016 11121 B> 100
169 1997 71 011 1016 11121 <A 111
170 2060 8 011 1016 <A 11122
171 2065 9 011 1015 111 B> 11122
172 2131 75 011 1015 11123 B>
173 2134 74 011 1015 11123 <A 110
174 2203 5 011 1015 <A 11123 110
175 2208 6 011 1014 111 B> 11123 110
176 2277 75 011 1014 11124 B> 110
177 2280 78 011 1014 11125 C>
178 2281 77 011 1014 11125 <A 100
179 2356 2 011 1014 <A 11125 100
180 2361 3 011 1013 111 B> 11125 100
181 2436 78 011 1013 11126 B> 100
182 2441 77 011 1013 11126 <A 111
183 2519 -1 011 1013 <A 11127
184 2524 0 011 1012 111 B> 11127
185 2605 81 011 1012 11128 B>
186 2608 80 011 1012 11128 <A 110
187 2692 -4 011 1012 <A 11128 110
188 2697 -3 011 101 111 B> 11128 110
189 2781 81 011 101 11129 B> 110
190 2784 84 011 101 11130 C>
191 2785 83 011 101 11130 <A 100
192 2875 -7 011 101 <A 11130 100
193 2880 -6 011 111 B> 11130 100
194 2970 84 011 11131 B> 100
195 2975 83 011 11131 <A 111
196 3068 -10 011 <A 11132
197 3071 -13 <B 11133
198 3072 -12 001 C> 11133
199 3171 87 001 11033 C>
200 3172 86 001 11033 <A 100
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 3172
Tape index: 86
ones: 68
log10(ones ): 1.833
log10(steps ): 3.501
Input to awk program:
gohalt 1
5T B1L A1L C1R B1R A1L D1R A1L E1R H1R C0R : 4098 11798826
T 5-state TM #2 from MaBu-List
M 201
pref sim
machv mbL5_2 just simple
machv mbL5_2-r with repetitions reduced
machv mbL5_2-1 with tape symbol exponents
machv mbL5_2-m as 3-macro machine
machv mbL5_2-a as 3-macro machine with pure additive config-TRs
iam mbL5_2-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:16 CEST 2010
edate Tue Jul 6 22:10:16 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:16 CEST 2010