Comment: This TM produces 4097 ones in 23554764 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | D0R | 1 | left | B | 0 | right | D |
| B | C1R | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | A1L | B0L | 1 | left | A | 0 | 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-bck-macro machine.
The same TM as 3-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000)A>
1 20 -4 <B(111) 111
2 24 0 001 (111)C> 111
3 27 3 001 111 (111)C>
4 33 -1 001 111 <D(101) 110
5 36 -4 001 <D(101) 101 110
6 39 -7 <B(111) 1012 110
7 43 -3 001 (111)C> 1012 110
8 46 0 001 111 (110)D> 101 110
9 54 -4 001 111 <A(111) 101 110
10 63 -7 001 <A(111) 111 101 110
11 73 -3 111 (111)C> 111 101 110
12 76 0 1112 (111)C> 101 110
13 79 3 1113 (110)D> 110
14 87 -1 1113 <A(111) 110
15 114 -10 <A(111) 1113 110
16 120 -6 011 (111)C> 1113 110
17 129 3 011 1113 (111)C> 110
18 132 6 011 1114 (111)A>
19 136 2 011 1114 <B(011) 100
20 148 -10 011 <B(011) 0114 100
21 151 -13 <A(111) 0115 100
22 157 -9 011 (111)C> 0115 100
23 173 -13 011 <A(111) 111 0114 100
24 180 -16 <B(111) 1112 0114 100
25 184 -12 001 (111)C> 1112 0114 100
26 190 -6 001 1112 (111)C> 0114 100
27 206 -10 001 1112 <A(111) 111 0113 100
28 224 -16 001 <A(111) 1113 0113 100
29 234 -12 111 (111)C> 1113 0113 100
30 243 -3 1114 (111)C> 0113 100
31 259 -7 1114 <A(111) 111 0112 100
32 295 -19 <A(111) 1115 0112 100
33 301 -15 011 (111)C> 1115 0112 100
34 316 0 011 1115 (111)C> 0112 100
35 332 -4 011 1115 <A(111) 111 011 100
36 377 -19 011 <A(111) 1116 011 100
37 384 -22 <B(111) 1117 011 100
38 388 -18 001 (111)C> 1117 011 100
39 409 3 001 1117 (111)C> 011 100
40 425 -1 001 1117 <A(111) 111 100
41 488 -22 001 <A(111) 1118 100
42 498 -18 111 (111)C> 1118 100
43 522 6 1119 (111)C> 100
44 530 2 1119 <E(110) 111
45 557 -25 <E(110) 1109 111
46 565 -21 111 (111)A> 1109 111
47 577 -25 111 <A(111) 1109 111
48 586 -28 <A(111) 111 1109 111
49 592 -24 011 (111)C> 111 1109 111
50 595 -21 011 111 (111)C> 1109 111
51 598 -18 011 1112 (111)A> 1108 111
52 610 -22 011 1112 <A(111) 1108 111
53 628 -28 011 <A(111) 1112 1108 111
54 635 -31 <B(111) 1113 1108 111
55 639 -27 001 (111)C> 1113 1108 111
56 648 -18 001 1113 (111)C> 1108 111
57 651 -15 001 1114 (111)A> 1107 111
58 663 -19 001 1114 <A(111) 1107 111
59 699 -31 001 <A(111) 1114 1107 111
60 709 -27 111 (111)C> 1114 1107 111
61 721 -15 1115 (111)C> 1107 111
62 724 -12 1116 (111)A> 1106 111
63 736 -16 1116 <A(111) 1106 111
64 790 -34 <A(111) 1116 1106 111
65 796 -30 011 (111)C> 1116 1106 111
66 814 -12 011 1116 (111)C> 1106 111
67 817 -9 011 1117 (111)A> 1105 111
68 829 -13 011 1117 <A(111) 1105 111
69 892 -34 011 <A(111) 1117 1105 111
70 899 -37 <B(111) 1118 1105 111
71 903 -33 001 (111)C> 1118 1105 111
72 927 -9 001 1118 (111)C> 1105 111
73 930 -6 001 1119 (111)A> 1104 111
74 942 -10 001 1119 <A(111) 1104 111
75 1023 -37 001 <A(111) 1119 1104 111
76 1033 -33 111 (111)C> 1119 1104 111
77 1060 -6 11110 (111)C> 1104 111
78 1063 -3 11111 (111)A> 1103 111
79 1075 -7 11111 <A(111) 1103 111
80 1174 -40 <A(111) 11111 1103 111
81 1180 -36 011 (111)C> 11111 1103 111
82 1213 -3 011 11111 (111)C> 1103 111
83 1216 0 011 11112 (111)A> 1102 111
84 1228 -4 011 11112 <A(111) 1102 111
85 1336 -40 011 <A(111) 11112 1102 111
86 1343 -43 <B(111) 11113 1102 111
87 1347 -39 001 (111)C> 11113 1102 111
88 1386 0 001 11113 (111)C> 1102 111
89 1389 3 001 11114 (111)A> 110 111
90 1401 -1 001 11114 <A(111) 110 111
91 1527 -43 001 <A(111) 11114 110 111
92 1537 -39 111 (111)C> 11114 110 111
93 1579 3 11115 (111)C> 110 111
94 1582 6 11116 (111)A> 111
95 1594 2 11116 <A(111) 111
96 1738 -46 <A(111) 11117
97 1744 -42 011 (111)C> 11117
98 1795 9 011 11117 (111)C>
99 1801 5 011 11117 <D(101) 110
100 1852 -46 011 <D(101) 10117 110
101 1865 -49 <A(111) 10118 110
102 1871 -45 011 (111)C> 10118 110
103 1874 -42 011 111 (110)D> 10117 110
104 1882 -46 011 111 <A(111) 10117 110
105 1891 -49 011 <A(111) 111 10117 110
106 1898 -52 <B(111) 1112 10117 110
107 1902 -48 001 (111)C> 1112 10117 110
108 1908 -42 001 1112 (111)C> 10117 110
109 1911 -39 001 1113 (110)D> 10116 110
110 1919 -43 001 1113 <A(111) 10116 110
111 1946 -52 001 <A(111) 1113 10116 110
112 1956 -48 111 (111)C> 1113 10116 110
113 1965 -39 1114 (111)C> 10116 110
114 1968 -36 1115 (110)D> 10115 110
115 1976 -40 1115 <A(111) 10115 110
116 2021 -55 <A(111) 1115 10115 110
117 2027 -51 011 (111)C> 1115 10115 110
118 2042 -36 011 1115 (111)C> 10115 110
119 2045 -33 011 1116 (110)D> 10114 110
120 2053 -37 011 1116 <A(111) 10114 110
121 2107 -55 011 <A(111) 1116 10114 110
122 2114 -58 <B(111) 1117 10114 110
123 2118 -54 001 (111)C> 1117 10114 110
124 2139 -33 001 1117 (111)C> 10114 110
125 2142 -30 001 1118 (110)D> 10113 110
126 2150 -34 001 1118 <A(111) 10113 110
127 2222 -58 001 <A(111) 1118 10113 110
128 2232 -54 111 (111)C> 1118 10113 110
129 2256 -30 1119 (111)C> 10113 110
130 2259 -27 11110 (110)D> 10112 110
131 2267 -31 11110 <A(111) 10112 110
132 2357 -61 <A(111) 11110 10112 110
133 2363 -57 011 (111)C> 11110 10112 110
134 2393 -27 011 11110 (111)C> 10112 110
135 2396 -24 011 11111 (110)D> 10111 110
136 2404 -28 011 11111 <A(111) 10111 110
137 2503 -61 011 <A(111) 11111 10111 110
138 2510 -64 <B(111) 11112 10111 110
139 2514 -60 001 (111)C> 11112 10111 110
140 2550 -24 001 11112 (111)C> 10111 110
141 2553 -21 001 11113 (110)D> 10110 110
142 2561 -25 001 11113 <A(111) 10110 110
143 2678 -64 001 <A(111) 11113 10110 110
144 2688 -60 111 (111)C> 11113 10110 110
145 2727 -21 11114 (111)C> 10110 110
146 2730 -18 11115 (110)D> 1019 110
147 2738 -22 11115 <A(111) 1019 110
148 2873 -67 <A(111) 11115 1019 110
149 2879 -63 011 (111)C> 11115 1019 110
150 2924 -18 011 11115 (111)C> 1019 110
151 2927 -15 011 11116 (110)D> 1018 110
152 2935 -19 011 11116 <A(111) 1018 110
153 3079 -67 011 <A(111) 11116 1018 110
154 3086 -70 <B(111) 11117 1018 110
155 3090 -66 001 (111)C> 11117 1018 110
156 3141 -15 001 11117 (111)C> 1018 110
157 3144 -12 001 11118 (110)D> 1017 110
158 3152 -16 001 11118 <A(111) 1017 110
159 3314 -70 001 <A(111) 11118 1017 110
160 3324 -66 111 (111)C> 11118 1017 110
161 3378 -12 11119 (111)C> 1017 110
162 3381 -9 11120 (110)D> 1016 110
163 3389 -13 11120 <A(111) 1016 110
164 3569 -73 <A(111) 11120 1016 110
165 3575 -69 011 (111)C> 11120 1016 110
166 3635 -9 011 11120 (111)C> 1016 110
167 3638 -6 011 11121 (110)D> 1015 110
168 3646 -10 011 11121 <A(111) 1015 110
169 3835 -73 011 <A(111) 11121 1015 110
170 3842 -76 <B(111) 11122 1015 110
171 3846 -72 001 (111)C> 11122 1015 110
172 3912 -6 001 11122 (111)C> 1015 110
173 3915 -3 001 11123 (110)D> 1014 110
174 3923 -7 001 11123 <A(111) 1014 110
175 4130 -76 001 <A(111) 11123 1014 110
176 4140 -72 111 (111)C> 11123 1014 110
177 4209 -3 11124 (111)C> 1014 110
178 4212 0 11125 (110)D> 1013 110
179 4220 -4 11125 <A(111) 1013 110
180 4445 -79 <A(111) 11125 1013 110
181 4451 -75 011 (111)C> 11125 1013 110
182 4526 0 011 11125 (111)C> 1013 110
183 4529 3 011 11126 (110)D> 1012 110
184 4537 -1 011 11126 <A(111) 1012 110
185 4771 -79 011 <A(111) 11126 1012 110
186 4778 -82 <B(111) 11127 1012 110
187 4782 -78 001 (111)C> 11127 1012 110
188 4863 3 001 11127 (111)C> 1012 110
189 4866 6 001 11128 (110)D> 101 110
190 4874 2 001 11128 <A(111) 101 110
191 5126 -82 001 <A(111) 11128 101 110
192 5136 -78 111 (111)C> 11128 101 110
193 5220 6 11129 (111)C> 101 110
194 5223 9 11130 (110)D> 110
195 5231 5 11130 <A(111) 110
196 5501 -85 <A(111) 11130 110
197 5507 -81 011 (111)C> 11130 110
198 5597 9 011 11130 (111)C> 110
199 5600 12 011 11131 (111)A>
200 5604 8 011 11131 <B(011) 100
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 5604
Tape index: 8
ones: 98
log10(ones ): 1.991
log10(steps ): 3.748
Input to awk program:
gohalt 1
5T B1L D0R C1R D1L A1R C1R H1L E1L A1L B0L : 4097 23554764
T 5-state TM #3 from MaBu-List
M 201
pref sim
machv mbL5_3 just simple
machv mbL5_3-r with repetitions reduced
machv mbL5_3-1 with tape symbol exponents
machv mbL5_3-m as 3-bck-macro machine
machv mbL5_3-a as 3-bck-macro machine with pure additive config-TRs
iam mbL5_3-m
mtype 3 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:17 CEST 2010
edate Tue Jul 6 22:10:18 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:17 CEST 2010