Comment: This TM produces 17323 nonzeros in 262,759,288 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 2LC | 0LC | 0RA | 1 | right | B | 2 | left | C | 0 | left | C | 0 | right | A |
| B | 3LC | 2RC | 1LB | 0RC | 3 | left | C | 2 | right | C | 1 | left | B | 0 | right | C |
| C | 1RA | 0LB | 1RH | 0RB | 1 | right | A | 0 | left | B | 1 | right | H | 0 | right | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 6-bck-macro machine.
The same TM as 6-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 6.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000000)A>
1 16 6 000010 (102101)B>
2 23 -1 000010 <B(031030) 300000
3 46 6 001010 (221001)B> 300000
4 82 12 001010 222101 (011010)A>
5 107 5 001010 222101 <C(310303) 030300
6 113 -1 001010 <B(111030) 310303 030300
7 145 -7 <B(030311) 000030 310303 030300
8 160 0 000010 (102112)C> 000030 310303 030300
9 170 6 000010 102112 (210101)A> 310303 030300
10 186 12 000010 102112 210102 (210010)C> 030300
11 192 18 000010 102112 210102 210010 (101011)B>
12 207 11 000010 102112 210102 210010 <B(030310) 303000
13 238 18 000010 102112 210102 221010 (101011)B> 303000
14 256 24 000010 102112 210102 221010 101021 (010101)B>
15 263 17 000010 102112 210102 221010 101021 <C(303030) 300000
16 269 11 000010 102112 210102 221010 <B(030310) 303030 300000
17 275 5 000010 102112 210102 <B(110303) 030310 303030 300000
18 281 -1 000010 102112 <B(103031) 110303 030310 303030 300000
19 291 -7 000010 <B(031100) 103031 110303 030310 303030 300000
20 310 0 001010 (211211)B> 103031 110303 030310 303030 300000
21 335 -7 001010 <B(110010) 003030 110303 030310 303030 300000
22 358 0 101021 (121121)A> 003030 110303 030310 303030 300000
23 368 6 101021 121122 (100101)A> 110303 030310 303030 300000
24 396 12 101021 121122 210101 (121010)C> 030310 303030 300000
25 413 5 101021 121122 210101 <B(100303) 030300 303030 300000
26 421 -1 101021 121122 <B(103031) 000303 030300 303030 300000
27 433 -7 101021 <B(101001) 103031 000303 030300 303030 300000
28 441 -13 <B(030311) 001001 103031 000303 030300 303030 300000
29 456 -6 000010 (102112)C> 001001 103031 000303 030300 303030 300000
30 462 0 000010 102112 (112112)C> 103031 000303 030300 303030 300000
31 477 -7 000010 102112 <B(100100) 003031 000303 030300 303030 300000
32 487 -13 000010 <B(031100) 100100 003031 000303 030300 303030 300000
33 506 -6 001010 (211211)B> 100100 003031 000303 030300 303030 300000
34 512 0 001010 211211 (211211)B> 003031 000303 030300 303030 300000
35 528 6 001010 211211 211221 (010211)B> 000303 030300 303030 300000
36 543 -1 001010 211211 211221 <C(303110) 303303 030300 303030 300000
37 553 -7 001010 211211 <B(110010) 303110 303303 030300 303030 300000
38 567 -13 001010 <B(110010) 010010 303110 303303 030300 303030 300000
39 590 -6 101021 (121121)A> 010010 303110 303303 030300 303030 300000
40 596 0 101021 121121 (121121)A> 303110 303303 030300 303030 300000
41 615 -7 101021 121121 <B(101000) 303010 303303 030300 303030 300000
42 629 -13 101021 <B(101001) 001000 303010 303303 030300 303030 300000
43 637 -19 <B(030311) 001001 001000 303010 303303 030300 303030 300000
44 652 -12 000010 (102112)C> 001001 001000 303010 303303 030300 303030 300000
45 658 -6 000010 102112 (112112)C> 001000 303010 303303 030300 303030 300000
46 668 0 000010 102112 112112 (112210)A> 303010 303303 030300 303030 300000
47 700 6 000010 102112 112112 112221 (010210)A> 303303 030300 303030 300000
48 708 12 000010 102112 112112 112221 010210 (010100)A> 030300 303030 300000
49 728 18 000010 102112 112112 112221 010210 010110 (101010)C> 303030 300000
50 736 24 000010 102112 112112 112221 010210 010110 101010 (100101)A> 300000
51 760 30 000010 102112 112112 112221 010210 010110 101010 110101 (010210)A>
52 769 23 000010 102112 112112 112221 010210 010110 101010 110101 <C(303103) 030000
53 793 17 000010 102112 112112 112221 010210 010110 101010 <B(103030) 303003 030000
54 799 11 000010 102112 112112 112221 010210 010110 <B(030303) 103030 303003 030000
55 810 18 000010 102112 112112 112221 0102102 (101010)C> 103030 303003 030000
56 817 11 000010 102112 112112 112221 0102102 <B(030303) 003030 303003 030000
57 823 5 000010 102112 112112 112221 010210 <C(303103) 030303 003030 303003 030000
58 840 12 000010 102112 112112 112221 010221 (010110)C> 030303 003030 303003 030000
59 846 18 000010 102112 112112 112221 010221 010110 (101010)A> 003030 303003 030000
60 855 11 000010 102112 112112 112221 010221 010110 <B(030303) 033030 303003 030000
61 866 18 000010 102112 112112 112221 010221 010210 (101010)C> 033030 303003 030000
62 872 24 000010 102112 112112 112221 010221 010210 101010 (100101)A> 303003 030000
63 878 30 000010 102112 112112 112221 010221 010210 101010 100101 (010110)C> 030000
64 907 23 000010 102112 112112 112221 010221 010210 101010 100101 <C(303103) 030303
65 940 30 000010 102112 112112 112221 010221 010210 101010 210101 (010110)C> 030303
66 946 36 000010 102112 112112 112221 010221 010210 101010 210101 010110 (101010)A>
67 955 29 000010 102112 112112 112221 010221 010210 101010 210101 010110 <B(030303) 030000
68 966 36 000010 102112 112112 112221 010221 010210 101010 210101 010210 (101010)C> 030000
69 979 29 000010 102112 112112 112221 010221 010210 101010 210101 010210 <B(030303) 030300
70 985 23 000010 102112 112112 112221 010221 010210 101010 210101 <C(303103) 030303 030300
71 991 17 000010 102112 112112 112221 010221 010210 101010 <B(103030) 303103 030303 030300
72 997 11 000010 102112 112112 112221 010221 010210 <B(030303) 103030 303103 030303 030300
73 1003 5 000010 102112 112112 112221 010221 <C(303103) 030303 103030 303103 030303 030300
74 1009 -1 000010 102112 112112 112221 <C(303110) 303103 030303 103030 303103 030303 030300
75 1019 -7 000010 102112 112112 <B(100110) 303110 303103 030303 103030 303103 030303 030300
76 1033 -13 000010 102112 <B(100100) 100110 303110 303103 030303 103030 303103 030303 030300
77 1043 -19 000010 <B(031100) 100100 100110 303110 303103 030303 103030 303103 030303 030300
78 1062 -12 001010 (211211)B> 100100 100110 303110 303103 030303 103030 303103 030303 030300
79 1068 -6 001010 211211 (211211)B> 100110 303110 303103 030303 103030 303103 030303 030300
80 1095 -13 001010 211211 <B(110010) 010000 303110 303103 030303 103030 303103 030303 030300
81 1109 -19 001010 <B(110010) 010010 010000 303110 303103 030303 103030 303103 030303 030300
82 1132 -12 101021 (121121)A> 010010 010000 303110 303103 030303 103030 303103 030303 030300
83 1138 -6 101021 121121 (121121)A> 010000 303110 303103 030303 103030 303103 030303 030300
84 1148 0 101021 1211212 (122101)B> 303110 303103 030303 103030 303103 030303 030300
85 1160 6 101021 1211212 122101 (021121)A> 303103 030303 103030 303103 030303 030300
86 1177 -1 101021 1211212 122101 <C(311000) 303003 030303 103030 303103 030303 030300
87 1185 -7 101021 1211212 <B(101030) 311000 303003 030303 103030 303103 030303 030300
88 1199 -13 101021 121121 <B(101001) 001030 311000 303003 030303 103030 303103 030303 030300
89 1213 -19 101021 <B(101001) 001001 001030 311000 303003 030303 103030 303103 030303 030300
90 1221 -25 <B(030311) 0010012 001030 311000 303003 030303 103030 303103 030303 030300
91 1236 -18 000010 (102112)C> 0010012 001030 311000 303003 030303 103030 303103 030303 030300
92 1242 -12 000010 102112 (112112)C> 001001 001030 311000 303003 030303 103030 303103 030303 030300
93 1248 -6 000010 102112 112112 (112112)C> 001030 311000 303003 030303 103030 303103 030303 030300
94 1254 0 000010 102112 1121122 (112101)B> 311000 303003 030303 103030 303103 030303 030300
95 1267 -7 000010 102112 1121122 <B(100030) 301000 303003 030303 103030 303103 030303 030300
96 1281 -13 000010 102112 112112 <B(100100) 100030 301000 303003 030303 103030 303103 030303 030300
97 1295 -19 000010 102112 <B(100100) 100100 100030 301000 303003 030303 103030 303103 030303 030300
98 1305 -25 000010 <B(031100) 1001002 100030 301000 303003 030303 103030 303103 030303 030300
99 1324 -18 001010 (211211)B> 1001002 100030 301000 303003 030303 103030 303103 030303 030300
100 1336 -6 001010 2112112 (211211)B> 100030 301000 303003 030303 103030 303103 030303 030300
101 1346 0 001010 2112113 (221001)B> 301000 303003 030303 103030 303103 030303 030300
102 1389 -7 001010 2112113 <B(111030) 310303 303003 030303 103030 303103 030303 030300
103 1403 -13 001010 2112112 <B(110010) 011030 310303 303003 030303 103030 303103 030303 030300
104 1431 -25 001010 <B(110010) 0100102 011030 310303 303003 030303 103030 303103 030303 030300
105 1454 -18 101021 (121121)A> 0100102 011030 310303 303003 030303 103030 303103 030303 030300
106 1466 -6 101021 1211212 (121121)A> 011030 310303 303003 030303 103030 303103 030303 030300
107 1487 -13 101021 1211212 <B(101001) 000030 310303 303003 030303 103030 303103 030303 030300
108 1515 -25 101021 <B(101001) 0010012 000030 310303 303003 030303 103030 303103 030303 030300
109 1523 -31 <B(030311) 0010013 000030 310303 303003 030303 103030 303103 030303 030300
110 1538 -24 000010 (102112)C> 0010013 000030 310303 303003 030303 103030 303103 030303 030300
111 1544 -18 000010 102112 (112112)C> 0010012 000030 310303 303003 030303 103030 303103 030303 030300
112 1556 -6 000010 102112 1121122 (112112)C> 000030 310303 303003 030303 103030 303103 030303 030300
113 1566 0 000010 102112 1121123 (210101)A> 310303 303003 030303 103030 303103 030303 030300
114 1582 6 000010 102112 1121123 210102 (210010)C> 303003 030303 103030 303103 030303 030300
115 1596 12 000010 102112 1121123 210102 210010 (110100)B> 030303 103030 303103 030303 030300
116 1604 18 000010 102112 1121123 210102 210010 110101 (001010)A> 103030 303103 030303 030300
117 1620 24 000010 102112 1121123 210102 210010 110101 001022 (100101)A> 303103 030303 030300
118 1642 30 000010 102112 1121123 210102 210010 110101 001022 110101 (010110)C> 030303 030300
119 1648 36 000010 102112 1121123 210102 210010 110101 001022 110101 010110 (101010)A> 030300
120 1665 29 000010 102112 1121123 210102 210010 110101 001022 110101 010110 <B(030303) 030303
121 1676 36 000010 102112 1121123 210102 210010 110101 001022 110101 010210 (101010)C> 030303
122 1682 42 000010 102112 1121123 210102 210010 110101 001022 110101 010210 101010 (101010)A>
123 1691 35 000010 102112 1121123 210102 210010 110101 001022 110101 010210 101010 <B(030303) 030000
124 1697 29 000010 102112 1121123 210102 210010 110101 001022 110101 010210 <B(030303) 030303 030000
125 1703 23 000010 102112 1121123 210102 210010 110101 001022 110101 <C(303103) 0303032 030000
126 1727 17 000010 102112 1121123 210102 210010 110101 001022 <B(103030) 303003 0303032 030000
127 1741 11 000010 102112 1121123 210102 210010 110101 <B(030301) 103030 303003 0303032 030000
128 1769 5 000010 102112 1121123 210102 210010 <B(103030) 030302 103030 303003 0303032 030000
129 1792 12 000010 102112 1121123 210102 221010 (110101)B> 030302 103030 303003 0303032 030000
130 1820 18 000010 102112 1121123 210102 221010 210101 (101011)B> 103030 303003 0303032 030000
131 1826 24 000010 102112 1121123 210102 221010 210101 101011 (210101)A> 303003 0303032 030000
132 1832 30 000010 102112 1121123 210102 221010 210101 101011 210101 (010110)C> 0303032 030000
133 1838 36 000010 102112 1121123 210102 221010 210101 101011 210101 010110 (101010)A> 030303 030000
134 1844 42 000010 102112 1121123 210102 221010 210101 101011 210101 010110 101010 (101010)C> 030000
135 1857 35 000010 102112 1121123 210102 221010 210101 101011 210101 010110 101010 <B(030303) 030300
136 1863 29 000010 102112 1121123 210102 221010 210101 101011 210101 010110 <B(030303) 030303 030300
137 1874 36 000010 102112 1121123 210102 221010 210101 101011 210101 010210 (101010)C> 030303 030300
138 1880 42 000010 102112 1121123 210102 221010 210101 101011 210101 010210 101010 (101010)A> 030300
139 1897 35 000010 102112 1121123 210102 221010 210101 101011 210101 010210 101010 <B(030303) 030303
140 1903 29 000010 102112 1121123 210102 221010 210101 101011 210101 010210 <B(030303) 0303032
141 1909 23 000010 102112 1121123 210102 221010 210101 101011 210101 <C(303103) 0303033
142 1915 17 000010 102112 1121123 210102 221010 210101 101011 <B(103030) 303103 0303033
143 1925 11 000010 102112 1121123 210102 221010 210101 <B(030310) 003030 303103 0303033
144 1941 5 000010 102112 1121123 210102 221010 <B(103031) 030300 003030 303103 0303033
145 1947 -1 000010 102112 1121123 210102 <B(110303) 103031 030300 003030 303103 0303033
146 1953 -7 000010 102112 1121123 <B(103031) 110303 103031 030300 003030 303103 0303033
147 1967 -13 000010 102112 1121122 <B(100100) 103031 110303 103031 030300 003030 303103 0303033
148 1995 -25 000010 102112 <B(100100) 1001002 103031 110303 103031 030300 003030 303103 0303033
149 2005 -31 000010 <B(031100) 1001003 103031 110303 103031 030300 003030 303103 0303033
150 2024 -24 001010 (211211)B> 1001003 103031 110303 103031 030300 003030 303103 0303033
151 2042 -6 001010 2112113 (211211)B> 103031 110303 103031 030300 003030 303103 0303033
152 2067 -13 001010 2112113 <B(110010) 003030 110303 103031 030300 003030 303103 0303033
153 2109 -31 001010 <B(110010) 0100103 003030 110303 103031 030300 003030 303103 0303033
154 2132 -24 101021 (121121)A> 0100103 003030 110303 103031 030300 003030 303103 0303033
155 2150 -6 101021 1211213 (121121)A> 003030 110303 103031 030300 003030 303103 0303033
156 2160 0 101021 1211213 121122 (100101)A> 110303 103031 030300 003030 303103 0303033
157 2188 6 101021 1211213 121122 210101 (121010)C> 103031 030300 003030 303103 0303033
158 2197 -1 101021 1211213 121122 210101 <B(100303) 003031 030300 003030 303103 0303033
159 2205 -7 101021 1211213 121122 <B(103031) 000303 003031 030300 003030 303103 0303033
160 2217 -13 101021 1211213 <B(101001) 103031 000303 003031 030300 003030 303103 0303033
161 2259 -31 101021 <B(101001) 0010013 103031 000303 003031 030300 003030 303103 0303033
162 2267 -37 <B(030311) 0010014 103031 000303 003031 030300 003030 303103 0303033
163 2282 -30 000010 (102112)C> 0010014 103031 000303 003031 030300 003030 303103 0303033
164 2288 -24 000010 102112 (112112)C> 0010013 103031 000303 003031 030300 003030 303103 0303033
165 2306 -6 000010 102112 1121123 (112112)C> 103031 000303 003031 030300 003030 303103 0303033
166 2321 -13 000010 102112 1121123 <B(100100) 003031 000303 003031 030300 003030 303103 0303033
167 2363 -31 000010 102112 <B(100100) 1001003 003031 000303 003031 030300 003030 303103 0303033
168 2373 -37 000010 <B(031100) 1001004 003031 000303 003031 030300 003030 303103 0303033
169 2392 -30 001010 (211211)B> 1001004 003031 000303 003031 030300 003030 303103 0303033
170 2416 -6 001010 2112114 (211211)B> 003031 000303 003031 030300 003030 303103 0303033
171 2432 0 001010 2112114 211221 (010211)B> 000303 003031 030300 003030 303103 0303033
172 2447 -7 001010 2112114 211221 <C(303110) 303303 003031 030300 003030 303103 0303033
173 2457 -13 001010 2112114 <B(110010) 303110 303303 003031 030300 003030 303103 0303033
174 2513 -37 001010 <B(110010) 0100104 303110 303303 003031 030300 003030 303103 0303033
175 2536 -30 101021 (121121)A> 0100104 303110 303303 003031 030300 003030 303103 0303033
176 2560 -6 101021 1211214 (121121)A> 303110 303303 003031 030300 003030 303103 0303033
177 2579 -13 101021 1211214 <B(101000) 303010 303303 003031 030300 003030 303103 0303033
178 2593 -19 101021 1211213 <B(101001) 001000 303010 303303 003031 030300 003030 303103 0303033
179 2635 -37 101021 <B(101001) 0010013 001000 303010 303303 003031 030300 003030 303103 0303033
180 2643 -43 <B(030311) 0010014 001000 303010 303303 003031 030300 003030 303103 0303033
181 2658 -36 000010 (102112)C> 0010014 001000 303010 303303 003031 030300 003030 303103 0303033
182 2664 -30 000010 102112 (112112)C> 0010013 001000 303010 303303 003031 030300 003030 303103 0303033
183 2682 -12 000010 102112 1121123 (112112)C> 001000 303010 303303 003031 030300 003030 303103 0303033
184 2692 -6 000010 102112 1121124 (112210)A> 303010 303303 003031 030300 003030 303103 0303033
185 2724 0 000010 102112 1121124 112221 (010210)A> 303303 003031 030300 003030 303103 0303033
186 2732 6 000010 102112 1121124 112221 010210 (010100)A> 003031 030300 003030 303103 0303033
187 2775 -1 000010 102112 1121124 112221 010210 <C(303103) 030303 030300 003030 303103 0303033
188 2792 6 000010 102112 1121124 112221 010221 (010110)C> 030303 030300 003030 303103 0303033
189 2798 12 000010 102112 1121124 112221 010221 010110 (101010)A> 030300 003030 303103 0303033
190 2815 5 000010 102112 1121124 112221 010221 010110 <B(030303) 030303 003030 303103 0303033
191 2826 12 000010 102112 1121124 112221 010221 010210 (101010)C> 030303 003030 303103 0303033
192 2832 18 000010 102112 1121124 112221 010221 010210 101010 (101010)A> 003030 303103 0303033
193 2841 11 000010 102112 1121124 112221 010221 010210 101010 <B(030303) 033030 303103 0303033
194 2847 5 000010 102112 1121124 112221 010221 010210 <B(030303) 030303 033030 303103 0303033
195 2853 -1 000010 102112 1121124 112221 010221 <C(303103) 0303032 033030 303103 0303033
196 2859 -7 000010 102112 1121124 112221 <C(303110) 303103 0303032 033030 303103 0303033
197 2869 -13 000010 102112 1121124 <B(100110) 303110 303103 0303032 033030 303103 0303033
198 2883 -19 000010 102112 1121123 <B(100100) 100110 303110 303103 0303032 033030 303103 0303033
199 2925 -37 000010 102112 <B(100100) 1001003 100110 303110 303103 0303032 033030 303103 0303033
200 2935 -43 000010 <B(031100) 1001004 100110 303110 303103 0303032 033030 303103 0303033
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2935
Tape index: -43
nonzeros: 45
log10(nonzeros): 1.653
log10(steps ): 3.468
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #a (T.J. & S. Ligocki)
: 17323 262,759,288
5T 1RB 2LC 0LC 0RA 3LC 2RC 1LB 0RC 1RA 0LB 1RH 0RB
L 10
M 201
pref sim
machv Lig34_a just simple
machv Lig34_a-r with repetitions reduced
machv Lig34_a-1 with tape symbol exponents
machv Lig34_a-m as 6-bck-macro machine
machv Lig34_a-a as 6-bck-macro machine with pure additive config-TRs
iam Lig34_a-m
mtype 6 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:31 CEST 2010
edate Tue Jul 6 22:13:31 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:13:31 CEST 2010