Comment: This TM produces >1.9x10^4933 nonzeros in >2.4x10^9866 steps. Comment: This is the currently best known 2x6 TM Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 2LA | 1RH | 5LB | 5LA | 4LB | 1 | right | B | 2 | left | A | 1 | right | H | 5 | left | B | 5 | left | A | 4 | left | B |
| B | 1LA | 4RB | 3RB | 5LB | 1LB | 4RA | 1 | left | A | 4 | right | B | 3 | right | B | 5 | left | B | 1 | left | B | 4 | right | A |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . . . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . . . . . . . . . . . . 10
2 0 A . . . . . . . . . . . . . . . . . . . . . . 11
3 -1 A . . . . . . . . . . . . . . . . . . . . . .021
4 0 B . . . . . . . . . . . . . . . . . . . . . .121
5 1 B . . . . . . . . . . . . . . . . . . . . . .131
6 2 B . . . . . . . . . . . . . . . . . . . . . .1340
7 1 A . . . . . . . . . . . . . . . . . . . . . .1341
8 0 A . . . . . . . . . . . . . . . . . . . . . .1351
9 -1 B . . . . . . . . . . . . . . . . . . . . . .1551
10 0 B . . . . . . . . . . . . . . . . . . . . . .4551
11 1 A . . . . . . . . . . . . . . . . . . . . . .4451
12 0 B . . . . . . . . . . . . . . . . . . . . . .4441
13 -1 B . . . . . . . . . . . . . . . . . . . . . .4141
14 -2 B . . . . . . . . . . . . . . . . . . . . . 01141
15 -3 A . . . . . . . . . . . . . . . . . . . . .011141
16 -2 B . . . . . . . . . . . . . . . . . . . . .111141
17 -1 B . . . . . . . . . . . . . . . . . . . . .141141
18 0 B . . . . . . . . . . . . . . . . . . . . .144141
19 1 B . . . . . . . . . . . . . . . . . . . . .144441
20 0 B . . . . . . . . . . . . . . . . . . . . .144411
21 -1 B . . . . . . . . . . . . . . . . . . . . .144111
22 -2 B . . . . . . . . . . . . . . . . . . . . .141111
23 -3 B . . . . . . . . . . . . . . . . . . . . .111111
24 -2 B . . . . . . . . . . . . . . . . . . . . .411111
25 -1 B . . . . . . . . . . . . . . . . . . . . .441111
26 0 B . . . . . . . . . . . . . . . . . . . . .444111
27 1 B . . . . . . . . . . . . . . . . . . . . .444411
28 2 B . . . . . . . . . . . . . . . . . . . . .444441
29 3 B . . . . . . . . . . . . . . . . . . . . .4444440
30 2 A . . . . . . . . . . . . . . . . . . . . .4444441
31 1 A . . . . . . . . . . . . . . . . . . . . .4444451
32 0 A . . . . . . . . . . . . . . . . . . . . .4444551
33 -1 A . . . . . . . . . . . . . . . . . . . . .4445551
34 -2 A . . . . . . . . . . . . . . . . . . . . .4455551
35 -3 A . . . . . . . . . . . . . . . . . . . . .4555551
36 -4 A . . . . . . . . . . . . . . . . . . . . 05555551
37 -3 B . . . . . . . . . . . . . . . . . . . . 15555551
38 -2 A . . . . . . . . . . . . . . . . . . . . 14555551
39 -3 B . . . . . . . . . . . . . . . . . . . . 14455551
40 -4 B . . . . . . . . . . . . . . . . . . . . 11455551
41 -3 B . . . . . . . . . . . . . . . . . . . . 41455551
42 -2 B . . . . . . . . . . . . . . . . . . . . 44455551
43 -3 B . . . . . . . . . . . . . . . . . . . . 44155551
44 -4 B . . . . . . . . . . . . . . . . . . . . 41155551
45 -5 B . . . . . . . . . . . . . . . . . . . .011155551
46 -6 A . . . . . . . . . . . . . . . . . . . 0111155551
47 -5 B . . . . . . . . . . . . . . . . . . . 1111155551
48 -4 B . . . . . . . . . . . . . . . . . . . 1411155551
49 -3 B . . . . . . . . . . . . . . . . . . . 1441155551
50 -2 B . . . . . . . . . . . . . . . . . . . 1444155551
51 -1 B . . . . . . . . . . . . . . . . . . . 1444455551
52 0 A . . . . . . . . . . . . . . . . . . . 1444445551
53 -1 B . . . . . . . . . . . . . . . . . . . 1444444551
54 -2 B . . . . . . . . . . . . . . . . . . . 1444414551
55 -3 B . . . . . . . . . . . . . . . . . . . 1444114551
56 -4 B . . . . . . . . . . . . . . . . . . . 1441114551
57 -5 B . . . . . . . . . . . . . . . . . . . 1411114551
58 -6 B . . . . . . . . . . . . . . . . . . . 1111114551
59 -5 B . . . . . . . . . . . . . . . . . . . 4111114551
60 -4 B . . . . . . . . . . . . . . . . . . . 4411114551
61 -3 B . . . . . . . . . . . . . . . . . . . 4441114551
62 -2 B . . . . . . . . . . . . . . . . . . . 4444114551
63 -1 B . . . . . . . . . . . . . . . . . . . 4444414551
64 0 B . . . . . . . . . . . . . . . . . . . 4444444551
65 -1 B . . . . . . . . . . . . . . . . . . . 4444441551
66 -2 B . . . . . . . . . . . . . . . . . . . 4444411551
67 -3 B . . . . . . . . . . . . . . . . . . . 4444111551
68 -4 B . . . . . . . . . . . . . . . . . . . 4441111551
69 -5 B . . . . . . . . . . . . . . . . . . . 4411111551
70 -6 B . . . . . . . . . . . . . . . . . . . 4111111551
71 -7 B . . . . . . . . . . . . . . . . . . .01111111551
72 -8 A . . . . . . . . . . . . . . . . . . 011111111551
73 -7 B . . . . . . . . . . . . . . . . . . 111111111551
74 -6 B . . . . . . . . . . . . . . . . . . 141111111551
75 -5 B . . . . . . . . . . . . . . . . . . 144111111551
76 -4 B . . . . . . . . . . . . . . . . . . 144411111551
77 -3 B . . . . . . . . . . . . . . . . . . 144441111551
78 -2 B . . . . . . . . . . . . . . . . . . 144444111551
79 -1 B . . . . . . . . . . . . . . . . . . 144444411551
80 0 B . . . . . . . . . . . . . . . . . . 144444441551
81 1 B . . . . . . . . . . . . . . . . . . 144444444551
82 2 A . . . . . . . . . . . . . . . . . . 144444444451
83 1 B . . . . . . . . . . . . . . . . . . 144444444441
84 0 B . . . . . . . . . . . . . . . . . . 144444444141
85 -1 B . . . . . . . . . . . . . . . . . . 144444441141
86 -2 B . . . . . . . . . . . . . . . . . . 144444411141
87 -3 B . . . . . . . . . . . . . . . . . . 144444111141
88 -4 B . . . . . . . . . . . . . . . . . . 144441111141
89 -5 B . . . . . . . . . . . . . . . . . . 144411111141
90 -6 B . . . . . . . . . . . . . . . . . . 144111111141
91 -7 B . . . . . . . . . . . . . . . . . . 141111111141
92 -8 B . . . . . . . . . . . . . . . . . . 111111111141
93 -7 B . . . . . . . . . . . . . . . . . . 411111111141
94 -6 B . . . . . . . . . . . . . . . . . . 441111111141
95 -5 B . . . . . . . . . . . . . . . . . . 444111111141
96 -4 B . . . . . . . . . . . . . . . . . . 444411111141
97 -3 B . . . . . . . . . . . . . . . . . . 444441111141
98 -2 B . . . . . . . . . . . . . . . . . . 444444111141
99 -1 B . . . . . . . . . . . . . . . . . . 444444411141
100 0 B . . . . . . . . . . . . . . . . . . 444444441141
101 1 B . . . . . . . . . . . . . . . . . . 444444444141
102 2 B . . . . . . . . . . . . . . . . . . 444444444441
103 1 B . . . . . . . . . . . . . . . . . . 444444444411
104 0 B . . . . . . . . . . . . . . . . . . 444444444111
105 -1 B . . . . . . . . . . . . . . . . . . 444444441111
106 -2 B . . . . . . . . . . . . . . . . . . 444444411111
107 -3 B . . . . . . . . . . . . . . . . . . 444444111111
108 -4 B . . . . . . . . . . . . . . . . . . 444441111111
109 -5 B . . . . . . . . . . . . . . . . . . 444411111111
110 -6 B . . . . . . . . . . . . . . . . . . 444111111111
111 -7 B . . . . . . . . . . . . . . . . . . 441111111111
112 -8 B . . . . . . . . . . . . . . . . . . 411111111111
113 -9 B . . . . . . . . . . . . . . . . . .0111111111111
114 -10 A . . . . . . . . . . . . . . . . . 01111111111111
115 -9 B . . . . . . . . . . . . . . . . . 11111111111111
116 -8 B . . . . . . . . . . . . . . . . . 14111111111111
117 -7 B . . . . . . . . . . . . . . . . . 14411111111111
118 -6 B . . . . . . . . . . . . . . . . . 14441111111111
119 -5 B . . . . . . . . . . . . . . . . . 14444111111111
120 -4 B . . . . . . . . . . . . . . . . . 14444411111111
121 -3 B . . . . . . . . . . . . . . . . . 14444441111111
122 -2 B . . . . . . . . . . . . . . . . . 14444444111111
123 -1 B . . . . . . . . . . . . . . . . . 14444444411111
124 0 B . . . . . . . . . . . . . . . . . 14444444441111
125 1 B . . . . . . . . . . . . . . . . . 14444444444111
126 2 B . . . . . . . . . . . . . . . . . 14444444444411
127 3 B . . . . . . . . . . . . . . . . . 14444444444441
128 4 B . . . . . . . . . . . . . . . . . 144444444444440
129 3 A . . . . . . . . . . . . . . . . . 144444444444441
130 2 A . . . . . . . . . . . . . . . . . 144444444444451
131 1 A . . . . . . . . . . . . . . . . . 144444444444551
132 0 A . . . . . . . . . . . . . . . . . 144444444445551
133 -1 A . . . . . . . . . . . . . . . . . 144444444455551
134 -2 A . . . . . . . . . . . . . . . . . 144444444555551
135 -3 A . . . . . . . . . . . . . . . . . 144444445555551
136 -4 A . . . . . . . . . . . . . . . . . 144444455555551
137 -5 A . . . . . . . . . . . . . . . . . 144444555555551
138 -6 A . . . . . . . . . . . . . . . . . 144445555555551
139 -7 A . . . . . . . . . . . . . . . . . 144455555555551
140 -8 A . . . . . . . . . . . . . . . . . 144555555555551
141 -9 A . . . . . . . . . . . . . . . . . 145555555555551
142 -10 A . . . . . . . . . . . . . . . . . 155555555555551
143 -11 A . . . . . . . . . . . . . . . . .0255555555555551
144 -10 B . . . . . . . . . . . . . . . . .1255555555555551
145 -9 B . . . . . . . . . . . . . . . . .1355555555555551
146 -8 A . . . . . . . . . . . . . . . . .1345555555555551
147 -9 B . . . . . . . . . . . . . . . . .1344555555555551
148 -10 B . . . . . . . . . . . . . . . . .1314555555555551
149 -11 B . . . . . . . . . . . . . . . . .1514555555555551
150 -10 B . . . . . . . . . . . . . . . . .4514555555555551
151 -9 A . . . . . . . . . . . . . . . . .4414555555555551
152 -10 A . . . . . . . . . . . . . . . . .4424555555555551
153 -11 A . . . . . . . . . . . . . . . . .4524555555555551
154 -12 A . . . . . . . . . . . . . . . . 05524555555555551
155 -11 B . . . . . . . . . . . . . . . . 15524555555555551
156 -10 A . . . . . . . . . . . . . . . . 14524555555555551
157 -11 B . . . . . . . . . . . . . . . . 14424555555555551
158 -12 B . . . . . . . . . . . . . . . . 11424555555555551
159 -11 B . . . . . . . . . . . . . . . . 41424555555555551
160 -10 B . . . . . . . . . . . . . . . . 44424555555555551
161 -11 B . . . . . . . . . . . . . . . . 44124555555555551
162 -12 B . . . . . . . . . . . . . . . . 41124555555555551
163 -13 B . . . . . . . . . . . . . . . .011124555555555551
164 -14 A . . . . . . . . . . . . . . . 0111124555555555551
165 -13 B . . . . . . . . . . . . . . . 1111124555555555551
166 -12 B . . . . . . . . . . . . . . . 1411124555555555551
167 -11 B . . . . . . . . . . . . . . . 1441124555555555551
168 -10 B . . . . . . . . . . . . . . . 1444124555555555551
169 -9 B . . . . . . . . . . . . . . . 1444424555555555551
170 -8 B . . . . . . . . . . . . . . . 1444434555555555551
171 -9 B . . . . . . . . . . . . . . . 1444431555555555551
172 -10 B . . . . . . . . . . . . . . . 1444451555555555551
173 -11 B . . . . . . . . . . . . . . . 1444151555555555551
174 -12 B . . . . . . . . . . . . . . . 1441151555555555551
175 -13 B . . . . . . . . . . . . . . . 1411151555555555551
176 -14 B . . . . . . . . . . . . . . . 1111151555555555551
177 -13 B . . . . . . . . . . . . . . . 4111151555555555551
178 -12 B . . . . . . . . . . . . . . . 4411151555555555551
179 -11 B . . . . . . . . . . . . . . . 4441151555555555551
180 -10 B . . . . . . . . . . . . . . . 4444151555555555551
181 -9 B . . . . . . . . . . . . . . . 4444451555555555551
182 -8 A . . . . . . . . . . . . . . . 4444441555555555551
183 -9 A . . . . . . . . . . . . . . . 4444442555555555551
184 -10 A . . . . . . . . . . . . . . . 4444452555555555551
185 -11 A . . . . . . . . . . . . . . . 4444552555555555551
186 -12 A . . . . . . . . . . . . . . . 4445552555555555551
187 -13 A . . . . . . . . . . . . . . . 4455552555555555551
188 -14 A . . . . . . . . . . . . . . . 4555552555555555551
189 -15 A . . . . . . . . . . . . . . .05555552555555555551
190 -14 B . . . . . . . . . . . . . . .15555552555555555551
191 -13 A . . . . . . . . . . . . . . .14555552555555555551
192 -14 B . . . . . . . . . . . . . . .14455552555555555551
193 -15 B . . . . . . . . . . . . . . .11455552555555555551
194 -14 B . . . . . . . . . . . . . . .41455552555555555551
195 -13 B . . . . . . . . . . . . . . .44455552555555555551
196 -14 B . . . . . . . . . . . . . . .44155552555555555551
197 -15 B . . . . . . . . . . . . . . .41155552555555555551
198 -16 B . . . . . . . . . . . . . . 011155552555555555551
199 -17 A . . . . . . . . . . . . . .0111155552555555555551
200 -16 B . . . . . . . . . . . . . .1111155552555555555551
After 200 steps (201 lines): state = B.
Produced 22 nonzeros.
Tape index -16, scanned [-17 .. 4].
| State | Count | Execution count | First in step | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||
| A | 52 | 12 | 4 | 1 | 28 | 7 | 0 | 2 | 8 | 7 | 11 | ||
| B | 148 | 10 | 68 | 3 | 2 | 56 | 9 | 1 | 5 | 4 | 148 | 12 | 10 |