Comment: This TM produces >2.5x10^881 ones in >8.9x10^1762 steps. Comment: This was the first known 6x2 TM to unseat Buntrock/Marxen Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | 1RB | 0RF | 1 | right | B | 0 | right | F |
| B | 0LB | 1LC | 0 | left | B | 1 | left | C |
| C | 1LD | 0RC | 1 | left | D | 0 | right | C |
| D | 1LE | 1RH | 1 | left | E | 1 | right | H |
| E | 1LF | 0LD | 1 | left | F | 0 | left | D |
| F | 1RA | 0LE | 1 | right | A | 0 | left | E |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . . 10
2 0 B . . . . . . . . . . . . 10
3 -1 C . . . . . . . . . . . .010
4 -2 D . . . . . . . . . . . 0110
5 -3 E . . . . . . . . . . .01110
6 -4 F . . . . . . . . . . 011110
7 -3 A . . . . . . . . . . 111110
8 -2 F . . . . . . . . . . 101110
9 -3 E . . . . . . . . . . 100110
10 -4 F . . . . . . . . . . 110110
11 -5 E . . . . . . . . . .0010110
12 -6 F . . . . . . . . . 01010110
13 -5 A . . . . . . . . . 11010110
14 -4 F . . . . . . . . . 10010110
15 -3 A . . . . . . . . . 10110110
16 -2 F . . . . . . . . . 10100110
17 -1 A . . . . . . . . . 10101110
18 0 F . . . . . . . . . 10101010
19 -1 E . . . . . . . . . 10101000
20 -2 F . . . . . . . . . 10101100
21 -3 E . . . . . . . . . 10100100
22 -4 F . . . . . . . . . 10110100
23 -5 E . . . . . . . . . 10010100
24 -6 F . . . . . . . . . 11010100
25 -7 E . . . . . . . . .001010100
26 -8 F . . . . . . . . 0101010100
27 -7 A . . . . . . . . 1101010100
28 -6 F . . . . . . . . 1001010100
29 -5 A . . . . . . . . 1011010100
30 -4 F . . . . . . . . 1010010100
31 -3 A . . . . . . . . 1010110100
32 -2 F . . . . . . . . 1010100100
33 -1 A . . . . . . . . 1010101100
34 0 F . . . . . . . . 1010101000
35 1 A . . . . . . . . 1010101010
36 2 B . . . . . . . . 10101010110
37 1 B . . . . . . . . 10101010110
38 0 C . . . . . . . . 10101010110
39 1 C . . . . . . . . 10101010010
40 2 C . . . . . . . . 10101010000
41 1 D . . . . . . . . 10101010001
42 0 E . . . . . . . . 10101010011
43 -1 F . . . . . . . . 10101010111
44 0 A . . . . . . . . 10101011111
45 1 F . . . . . . . . 10101011011
46 0 E . . . . . . . . 10101011001
47 -1 F . . . . . . . . 10101011101
48 -2 E . . . . . . . . 10101010101
49 -3 D . . . . . . . . 10101000101
50 -4 E . . . . . . . . 10101100101
51 -5 D . . . . . . . . 10100100101
52 -6 E . . . . . . . . 10110100101
53 -7 D . . . . . . . . 10010100101
54 -8 E . . . . . . . . 11010100101
55 -9 D . . . . . . . .001010100101
56 -10 E . . . . . . . 0101010100101
57 -11 F . . . . . . .01101010100101
58 -10 A . . . . . . .11101010100101
59 -9 F . . . . . . .10101010100101
60 -10 E . . . . . . .10001010100101
61 -11 F . . . . . . .11001010100101
62 -12 E . . . . . . 001001010100101
63 -13 F . . . . . .0101001010100101
64 -12 A . . . . . .1101001010100101
65 -11 F . . . . . .1001001010100101
66 -10 A . . . . . .1011001010100101
67 -9 F . . . . . .1010001010100101
68 -8 A . . . . . .1010101010100101
69 -7 B . . . . . .1010111010100101
70 -8 C . . . . . .1010111010100101
71 -7 C . . . . . .1010101010100101
72 -6 C . . . . . .1010100010100101
73 -7 D . . . . . .1010100110100101
74 -8 E . . . . . .1010101110100101
75 -9 F . . . . . .1010111110100101
76 -10 E . . . . . .1010011110100101
77 -11 F . . . . . .1011011110100101
78 -12 E . . . . . .1001011110100101
79 -13 F . . . . . .1101011110100101
80 -14 E . . . . . 00101011110100101
81 -15 F . . . . .010101011110100101
82 -14 A . . . . .110101011110100101
83 -13 F . . . . .100101011110100101
84 -12 A . . . . .101101011110100101
85 -11 F . . . . .101001011110100101
86 -10 A . . . . .101011011110100101
87 -9 F . . . . .101010011110100101
88 -8 A . . . . .101010111110100101
89 -7 F . . . . .101010101110100101
90 -8 E . . . . .101010100110100101
91 -9 F . . . . .101010110110100101
92 -10 E . . . . .101010010110100101
93 -11 F . . . . .101011010110100101
94 -12 E . . . . .101001010110100101
95 -13 F . . . . .101101010110100101
96 -14 E . . . . .100101010110100101
97 -15 F . . . . .110101010110100101
98 -16 E . . . . 0010101010110100101
99 -17 F . . . .01010101010110100101
100 -16 A . . . .11010101010110100101
101 -15 F . . . .10010101010110100101
102 -14 A . . . .10110101010110100101
103 -13 F . . . .10100101010110100101
104 -12 A . . . .10101101010110100101
105 -11 F . . . .10101001010110100101
106 -10 A . . . .10101011010110100101
107 -9 F . . . .10101010010110100101
108 -8 A . . . .10101010110110100101
109 -7 F . . . .10101010100110100101
110 -6 A . . . .10101010101110100101
111 -5 F . . . .10101010101010100101
112 -6 E . . . .10101010101000100101
113 -7 F . . . .10101010101100100101
114 -8 E . . . .10101010100100100101
115 -9 F . . . .10101010110100100101
116 -10 E . . . .10101010010100100101
117 -11 F . . . .10101011010100100101
118 -12 E . . . .10101001010100100101
119 -13 F . . . .10101101010100100101
120 -14 E . . . .10100101010100100101
121 -15 F . . . .10110101010100100101
122 -16 E . . . .10010101010100100101
123 -17 F . . . .11010101010100100101
124 -18 E . . . 001010101010100100101
125 -19 F . . .0101010101010100100101
126 -18 A . . .1101010101010100100101
127 -17 F . . .1001010101010100100101
128 -16 A . . .1011010101010100100101
129 -15 F . . .1010010101010100100101
130 -14 A . . .1010110101010100100101
131 -13 F . . .1010100101010100100101
132 -12 A . . .1010101101010100100101
133 -11 F . . .1010101001010100100101
134 -10 A . . .1010101011010100100101
135 -9 F . . .1010101010010100100101
136 -8 A . . .1010101010110100100101
137 -7 F . . .1010101010100100100101
138 -6 A . . .1010101010101100100101
139 -5 F . . .1010101010101000100101
140 -4 A . . .1010101010101010100101
141 -3 B . . .1010101010101011100101
142 -4 C . . .1010101010101011100101
143 -3 C . . .1010101010101010100101
144 -2 C . . .1010101010101010000101
145 -3 D . . .1010101010101010010101
146 -4 E . . .1010101010101010110101
147 -5 F . . .1010101010101011110101
148 -6 E . . .1010101010101001110101
149 -7 F . . .1010101010101101110101
150 -8 E . . .1010101010100101110101
151 -9 F . . .1010101010110101110101
152 -10 E . . .1010101010010101110101
153 -11 F . . .1010101011010101110101
154 -12 E . . .1010101001010101110101
155 -13 F . . .1010101101010101110101
156 -14 E . . .1010100101010101110101
157 -15 F . . .1010110101010101110101
158 -16 E . . .1010010101010101110101
159 -17 F . . .1011010101010101110101
160 -18 E . . .1001010101010101110101
161 -19 F . . .1101010101010101110101
162 -20 E . . 00101010101010101110101
163 -21 F . .010101010101010101110101
164 -20 A . .110101010101010101110101
165 -19 F . .100101010101010101110101
166 -18 A . .101101010101010101110101
167 -17 F . .101001010101010101110101
168 -16 A . .101011010101010101110101
169 -15 F . .101010010101010101110101
170 -14 A . .101010110101010101110101
171 -13 F . .101010100101010101110101
172 -12 A . .101010101101010101110101
173 -11 F . .101010101001010101110101
174 -10 A . .101010101011010101110101
175 -9 F . .101010101010010101110101
176 -8 A . .101010101010110101110101
177 -7 F . .101010101010100101110101
178 -6 A . .101010101010101101110101
179 -5 F . .101010101010101001110101
180 -4 A . .101010101010101011110101
181 -3 F . .101010101010101010110101
182 -4 E . .101010101010101010010101
183 -5 F . .101010101010101011010101
184 -6 E . .101010101010101001010101
185 -7 F . .101010101010101101010101
186 -8 E . .101010101010100101010101
187 -9 F . .101010101010110101010101
188 -10 E . .101010101010010101010101
189 -11 F . .101010101011010101010101
190 -12 E . .101010101001010101010101
191 -13 F . .101010101101010101010101
192 -14 E . .101010100101010101010101
193 -15 F . .101010110101010101010101
194 -16 E . .101010010101010101010101
195 -17 F . .101011010101010101010101
196 -18 E . .101001010101010101010101
197 -19 F . .101101010101010101010101
198 -20 E . .100101010101010101010101
199 -21 F . .110101010101010101010101
200 -22 E . 0010101010101010101010101
After 200 steps (201 lines): state = E.
Produced 12 ones.
Tape index -22, scanned [-21 .. 2].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 42 | 4 | 38 | 0 | 7 |
| B | 6 | 2 | 4 | 1 | 2 |
| C | 10 | 4 | 6 | 3 | 38 |
| D | 8 | 8 | 4 | ||
| E | 50 | 46 | 4 | 5 | 48 |
| F | 84 | 41 | 43 | 6 | 8 |