Comment: This TM produces 136612 ones in 13122572797 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 | F0R | D1R | 0 | right | F | 1 | right | D |
| D | A1L | E0R | 1 | left | A | 0 | right | E |
| E | A0L | C1R | 0 | left | A | 1 | right | C |
| F | E1L | H1L | 1 | left | E | 1 | left | H |
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 110 E> 110
5 15 -1 110 <A 111
6 18 0 111 B> 111
7 21 3 1112 B>
8 26 2 1112 <A 101
9 32 -4 <A 1112 101
10 35 -3 011 D> 1112 101
11 41 3 0113 D> 101
12 44 2 0113 <B 101
13 45 3 0113 B> 101
14 48 6 0113 111 D>
15 49 5 0113 111 <A 100
16 52 2 0113 <A 111 100
17 55 -1 0112 <B 1112 100
18 56 0 0112 B> 1112 100
19 62 6 0112 1112 B> 100
20 65 9 0112 1112 110 F>
21 66 8 0112 1112 110 <E 100
22 69 5 0112 1112 <A 110 100
23 75 -1 0112 <A 1112 110 100
24 78 -4 011 <B 1113 110 100
25 79 -3 011 B> 1113 110 100
26 88 6 011 1113 B> 110 100
27 91 9 011 1114 C> 100
28 94 8 011 1114 <A 110
29 106 -4 011 <A 1114 110
30 109 -7 <B 1115 110
31 110 -6 001 C> 1115 110
32 125 9 001 1015 C> 110
33 132 12 001 1015 111 C>
34 135 11 001 1015 111 <A 010
35 138 8 001 1015 <A 111 010
36 143 9 001 1014 111 B> 111 010
37 146 12 001 1014 1112 B> 010
38 151 11 001 1014 1112 <A 111
39 157 5 001 1014 <A 1113
40 162 6 001 1013 111 B> 1113
41 171 15 001 1013 1114 B>
42 176 14 001 1013 1114 <A 101
43 188 2 001 1013 <A 1114 101
44 193 3 001 1012 111 B> 1114 101
45 205 15 001 1012 1115 B> 101
46 208 18 001 1012 1116 D>
47 209 17 001 1012 1116 <A 100
48 227 -1 001 1012 <A 1116 100
49 232 0 001 101 111 B> 1116 100
50 250 18 001 101 1117 B> 100
51 253 21 001 101 1117 110 F>
52 254 20 001 101 1117 110 <E 100
53 257 17 001 101 1117 <A 110 100
54 278 -4 001 101 <A 1117 110 100
55 283 -3 001 111 B> 1117 110 100
56 304 18 001 1118 B> 110 100
57 307 21 001 1119 C> 100
58 310 20 001 1119 <A 110
59 337 -7 001 <A 1119 110
60 342 -6 110 E> 1119 110
61 369 21 11010 E> 110
62 374 20 11010 <A 111
63 377 21 1109 111 B> 111
64 380 24 1109 1112 B>
65 385 23 1109 1112 <A 101
66 391 17 1109 <A 1112 101
67 394 18 1108 111 B> 1112 101
68 400 24 1108 1113 B> 101
69 403 27 1108 1114 D>
70 404 26 1108 1114 <A 100
71 416 14 1108 <A 1114 100
72 419 15 1107 111 B> 1114 100
73 431 27 1107 1115 B> 100
74 434 30 1107 1115 110 F>
75 435 29 1107 1115 110 <E 100
76 438 26 1107 1115 <A 110 100
77 453 11 1107 <A 1115 110 100
78 456 12 1106 111 B> 1115 110 100
79 471 27 1106 1116 B> 110 100
80 474 30 1106 1117 C> 100
81 477 29 1106 1117 <A 110
82 498 8 1106 <A 1117 110
83 501 9 1105 111 B> 1117 110
84 522 30 1105 1118 B> 110
85 525 33 1105 1119 C>
86 528 32 1105 1119 <A 010
87 555 5 1105 <A 1119 010
88 558 6 1104 111 B> 1119 010
89 585 33 1104 11110 B> 010
90 590 32 1104 11110 <A 111
91 620 2 1104 <A 11111
92 623 3 1103 111 B> 11111
93 656 36 1103 11112 B>
94 661 35 1103 11112 <A 101
95 697 -1 1103 <A 11112 101
96 700 0 1102 111 B> 11112 101
97 736 36 1102 11113 B> 101
98 739 39 1102 11114 D>
99 740 38 1102 11114 <A 100
100 782 -4 1102 <A 11114 100
101 785 -3 110 111 B> 11114 100
102 827 39 110 11115 B> 100
103 830 42 110 11115 110 F>
104 831 41 110 11115 110 <E 100
105 834 38 110 11115 <A 110 100
106 879 -7 110 <A 11115 110 100
107 882 -6 111 B> 11115 110 100
108 927 39 11116 B> 110 100
109 930 42 11117 C> 100
110 933 41 11117 <A 110
111 984 -10 <A 11117 110
112 987 -9 011 D> 11117 110
113 1038 42 01118 D> 110
114 1041 45 01118 010 F>
115 1042 44 01118 010 <E 100
116 1045 41 01118 <B 110 100
117 1046 42 01118 B> 110 100
118 1049 45 01118 111 C> 100
119 1052 44 01118 111 <A 110
120 1055 41 01118 <A 111 110
121 1058 38 01117 <B 1112 110
122 1059 39 01117 B> 1112 110
123 1065 45 01117 1112 B> 110
124 1068 48 01117 1113 C>
125 1071 47 01117 1113 <A 010
126 1080 38 01117 <A 1113 010
127 1083 35 01116 <B 1114 010
128 1084 36 01116 B> 1114 010
129 1096 48 01116 1114 B> 010
130 1101 47 01116 1114 <A 111
131 1113 35 01116 <A 1115
132 1116 32 01115 <B 1116
133 1117 33 01115 B> 1116
134 1135 51 01115 1116 B>
135 1140 50 01115 1116 <A 101
136 1158 32 01115 <A 1116 101
137 1161 29 01114 <B 1117 101
138 1162 30 01114 B> 1117 101
139 1183 51 01114 1117 B> 101
140 1186 54 01114 1118 D>
141 1187 53 01114 1118 <A 100
142 1211 29 01114 <A 1118 100
143 1214 26 01113 <B 1119 100
144 1215 27 01113 B> 1119 100
145 1242 54 01113 1119 B> 100
146 1245 57 01113 1119 110 F>
147 1246 56 01113 1119 110 <E 100
148 1249 53 01113 1119 <A 110 100
149 1276 26 01113 <A 1119 110 100
150 1279 23 01112 <B 11110 110 100
151 1280 24 01112 B> 11110 110 100
152 1310 54 01112 11110 B> 110 100
153 1313 57 01112 11111 C> 100
154 1316 56 01112 11111 <A 110
155 1349 23 01112 <A 11111 110
156 1352 20 01111 <B 11112 110
157 1353 21 01111 B> 11112 110
158 1389 57 01111 11112 B> 110
159 1392 60 01111 11113 C>
160 1395 59 01111 11113 <A 010
161 1434 20 01111 <A 11113 010
162 1437 17 01110 <B 11114 010
163 1438 18 01110 B> 11114 010
164 1480 60 01110 11114 B> 010
165 1485 59 01110 11114 <A 111
166 1527 17 01110 <A 11115
167 1530 14 0119 <B 11116
168 1531 15 0119 B> 11116
169 1579 63 0119 11116 B>
170 1584 62 0119 11116 <A 101
171 1632 14 0119 <A 11116 101
172 1635 11 0118 <B 11117 101
173 1636 12 0118 B> 11117 101
174 1687 63 0118 11117 B> 101
175 1690 66 0118 11118 D>
176 1691 65 0118 11118 <A 100
177 1745 11 0118 <A 11118 100
178 1748 8 0117 <B 11119 100
179 1749 9 0117 B> 11119 100
180 1806 66 0117 11119 B> 100
181 1809 69 0117 11119 110 F>
182 1810 68 0117 11119 110 <E 100
183 1813 65 0117 11119 <A 110 100
184 1870 8 0117 <A 11119 110 100
185 1873 5 0116 <B 11120 110 100
186 1874 6 0116 B> 11120 110 100
187 1934 66 0116 11120 B> 110 100
188 1937 69 0116 11121 C> 100
189 1940 68 0116 11121 <A 110
190 2003 5 0116 <A 11121 110
191 2006 2 0115 <B 11122 110
192 2007 3 0115 B> 11122 110
193 2073 69 0115 11122 B> 110
194 2076 72 0115 11123 C>
195 2079 71 0115 11123 <A 010
196 2148 2 0115 <A 11123 010
197 2151 -1 0114 <B 11124 010
198 2152 0 0114 B> 11124 010
199 2224 72 0114 11124 B> 010
200 2229 71 0114 11124 <A 111
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2229
Tape index: 71
ones: 83
log10(ones ): 1.919
log10(steps ): 3.348
Input to awk program:
gohalt 1
5T B1L A1L C1R B1R F0R D1R A1L E0R A0L C1R E1L H1L : 136612 13122572797
T TM #7 from MaBu90-Paper
M 201
pref sim
machv mbP_7 just simple
machv mbP_7-r with repetitions reduced
machv mbP_7-1 with tape symbol exponents
machv mbP_7-m as 3-macro machine
machv mbP_7-a as 3-macro machine with pure additive config-TRs
iam mbP_7-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:10 CEST 2010
edate Tue Jul 6 22:10:11 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:10 CEST 2010