Comment: This TM produces >3.7x10^6518 nonzeros in >5.2x10^13036 steps. Comment: This is the currently best known 3x4 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 1RA | 2LB | 3LA | 1 | right | B | 1 | right | A | 2 | left | B | 3 | left | A |
| B | 2LA | 0LB | 1LC | 1LB | 2 | left | A | 0 | left | B | 1 | left | C | 1 | left | B |
| C | 3RB | 3RC | 1RH | 1LC | 3 | right | B | 3 | right | C | 1 | right | H | 1 | left | C |
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .002
6 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0202
7 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1202
8 -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
9 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3102
10 0 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3302
11 1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3332
12 0 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3331
13 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3311
14 -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3111
15 -3 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . .01111
16 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . .31111
17 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . .30111
18 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . 010111
19 -5 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .0210111
20 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .1210111
21 -5 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .1110111
22 -4 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .3110111
23 -3 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .3310111
24 -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . . .3330111
25 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3333111
26 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3333011
27 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3331011
28 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3311011
29 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .3111011
30 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 01111011
31 -7 A . . . . . . . . . . . . . . . . . . . . . . . . . . .021111011
32 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . . .121111011
33 -7 C . . . . . . . . . . . . . . . . . . . . . . . . . . .111111011
34 -6 C . . . . . . . . . . . . . . . . . . . . . . . . . . .311111011
35 -5 C . . . . . . . . . . . . . . . . . . . . . . . . . . .331111011
36 -4 C . . . . . . . . . . . . . . . . . . . . . . . . . . .333111011
37 -3 C . . . . . . . . . . . . . . . . . . . . . . . . . . .333311011
38 -2 C . . . . . . . . . . . . . . . . . . . . . . . . . . .333331011
39 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . . .333333011
40 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333333311
41 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333333301
42 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333333101
43 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333331101
44 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333311101
45 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . . .333111101
46 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . . .331111101
47 -7 B . . . . . . . . . . . . . . . . . . . . . . . . . . .311111101
48 -8 B . . . . . . . . . . . . . . . . . . . . . . . . . . 0111111101
49 -9 A . . . . . . . . . . . . . . . . . . . . . . . . . .02111111101
50 -8 B . . . . . . . . . . . . . . . . . . . . . . . . . .12111111101
51 -9 C . . . . . . . . . . . . . . . . . . . . . . . . . .11111111101
52 -8 C . . . . . . . . . . . . . . . . . . . . . . . . . .31111111101
53 -7 C . . . . . . . . . . . . . . . . . . . . . . . . . .33111111101
54 -6 C . . . . . . . . . . . . . . . . . . . . . . . . . .33311111101
55 -5 C . . . . . . . . . . . . . . . . . . . . . . . . . .33331111101
56 -4 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333111101
57 -3 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333311101
58 -2 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333331101
59 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333333101
60 0 C . . . . . . . . . . . . . . . . . . . . . . . . . .33333333301
61 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333331
62 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333330
63 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333310
64 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333333110
65 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333331110
66 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333311110
67 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . .33333111110
68 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . .33331111110
69 -7 B . . . . . . . . . . . . . . . . . . . . . . . . . .33311111110
70 -8 B . . . . . . . . . . . . . . . . . . . . . . . . . .33111111110
71 -9 B . . . . . . . . . . . . . . . . . . . . . . . . . .31111111110
72 -10 B . . . . . . . . . . . . . . . . . . . . . . . . . 011111111110
73 -11 A . . . . . . . . . . . . . . . . . . . . . . . . .0211111111110
74 -10 B . . . . . . . . . . . . . . . . . . . . . . . . .1211111111110
75 -11 C . . . . . . . . . . . . . . . . . . . . . . . . .1111111111110
76 -10 C . . . . . . . . . . . . . . . . . . . . . . . . .3111111111110
77 -9 C . . . . . . . . . . . . . . . . . . . . . . . . .3311111111110
78 -8 C . . . . . . . . . . . . . . . . . . . . . . . . .3331111111110
79 -7 C . . . . . . . . . . . . . . . . . . . . . . . . .3333111111110
80 -6 C . . . . . . . . . . . . . . . . . . . . . . . . .3333311111110
81 -5 C . . . . . . . . . . . . . . . . . . . . . . . . .3333331111110
82 -4 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333111110
83 -3 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333311110
84 -2 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333331110
85 -1 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333333110
86 0 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333333310
87 1 C . . . . . . . . . . . . . . . . . . . . . . . . .3333333333330
88 2 B . . . . . . . . . . . . . . . . . . . . . . . . .33333333333330
89 1 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
90 0 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
91 -1 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
92 -2 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
93 -3 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
94 -4 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
95 -5 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
96 -6 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
97 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
98 -8 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
99 -9 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
100 -10 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
101 -11 A . . . . . . . . . . . . . . . . . . . . . . . . .33333333333332
102 -12 A . . . . . . . . . . . . . . . . . . . . . . . . 033333333333332
103 -11 B . . . . . . . . . . . . . . . . . . . . . . . . 133333333333332
104 -12 B . . . . . . . . . . . . . . . . . . . . . . . . 113333333333332
105 -13 B . . . . . . . . . . . . . . . . . . . . . . . .0013333333333332
106 -14 A . . . . . . . . . . . . . . . . . . . . . . . 02013333333333332
107 -13 B . . . . . . . . . . . . . . . . . . . . . . . 12013333333333332
108 -14 C . . . . . . . . . . . . . . . . . . . . . . . 11013333333333332
109 -13 C . . . . . . . . . . . . . . . . . . . . . . . 31013333333333332
110 -12 C . . . . . . . . . . . . . . . . . . . . . . . 33013333333333332
111 -11 B . . . . . . . . . . . . . . . . . . . . . . . 33313333333333332
112 -12 B . . . . . . . . . . . . . . . . . . . . . . . 33303333333333332
113 -13 B . . . . . . . . . . . . . . . . . . . . . . . 33103333333333332
114 -14 B . . . . . . . . . . . . . . . . . . . . . . . 31103333333333332
115 -15 B . . . . . . . . . . . . . . . . . . . . . . .011103333333333332
116 -16 A . . . . . . . . . . . . . . . . . . . . . . 0211103333333333332
117 -15 B . . . . . . . . . . . . . . . . . . . . . . 1211103333333333332
118 -16 C . . . . . . . . . . . . . . . . . . . . . . 1111103333333333332
119 -15 C . . . . . . . . . . . . . . . . . . . . . . 3111103333333333332
120 -14 C . . . . . . . . . . . . . . . . . . . . . . 3311103333333333332
121 -13 C . . . . . . . . . . . . . . . . . . . . . . 3331103333333333332
122 -12 C . . . . . . . . . . . . . . . . . . . . . . 3333103333333333332
123 -11 C . . . . . . . . . . . . . . . . . . . . . . 3333303333333333332
124 -10 B . . . . . . . . . . . . . . . . . . . . . . 3333333333333333332
125 -11 B . . . . . . . . . . . . . . . . . . . . . . 3333331333333333332
126 -12 B . . . . . . . . . . . . . . . . . . . . . . 3333311333333333332
127 -13 B . . . . . . . . . . . . . . . . . . . . . . 3333111333333333332
128 -14 B . . . . . . . . . . . . . . . . . . . . . . 3331111333333333332
129 -15 B . . . . . . . . . . . . . . . . . . . . . . 3311111333333333332
130 -16 B . . . . . . . . . . . . . . . . . . . . . . 3111111333333333332
131 -17 B . . . . . . . . . . . . . . . . . . . . . .01111111333333333332
132 -18 A . . . . . . . . . . . . . . . . . . . . . 021111111333333333332
133 -17 B . . . . . . . . . . . . . . . . . . . . . 121111111333333333332
134 -18 C . . . . . . . . . . . . . . . . . . . . . 111111111333333333332
135 -17 C . . . . . . . . . . . . . . . . . . . . . 311111111333333333332
136 -16 C . . . . . . . . . . . . . . . . . . . . . 331111111333333333332
137 -15 C . . . . . . . . . . . . . . . . . . . . . 333111111333333333332
138 -14 C . . . . . . . . . . . . . . . . . . . . . 333311111333333333332
139 -13 C . . . . . . . . . . . . . . . . . . . . . 333331111333333333332
140 -12 C . . . . . . . . . . . . . . . . . . . . . 333333111333333333332
141 -11 C . . . . . . . . . . . . . . . . . . . . . 333333311333333333332
142 -10 C . . . . . . . . . . . . . . . . . . . . . 333333331333333333332
143 -9 C . . . . . . . . . . . . . . . . . . . . . 333333333333333333332
144 -10 C . . . . . . . . . . . . . . . . . . . . . 333333333133333333332
145 -11 C . . . . . . . . . . . . . . . . . . . . . 333333331133333333332
146 -12 C . . . . . . . . . . . . . . . . . . . . . 333333311133333333332
147 -13 C . . . . . . . . . . . . . . . . . . . . . 333333111133333333332
148 -14 C . . . . . . . . . . . . . . . . . . . . . 333331111133333333332
149 -15 C . . . . . . . . . . . . . . . . . . . . . 333311111133333333332
150 -16 C . . . . . . . . . . . . . . . . . . . . . 333111111133333333332
151 -17 C . . . . . . . . . . . . . . . . . . . . . 331111111133333333332
152 -18 C . . . . . . . . . . . . . . . . . . . . . 311111111133333333332
153 -19 C . . . . . . . . . . . . . . . . . . . . .0111111111133333333332
154 -18 B . . . . . . . . . . . . . . . . . . . . .3111111111133333333332
155 -19 B . . . . . . . . . . . . . . . . . . . . .3011111111133333333332
156 -20 B . . . . . . . . . . . . . . . . . . . . 01011111111133333333332
157 -21 A . . . . . . . . . . . . . . . . . . . .021011111111133333333332
158 -20 B . . . . . . . . . . . . . . . . . . . .121011111111133333333332
159 -21 C . . . . . . . . . . . . . . . . . . . .111011111111133333333332
160 -20 C . . . . . . . . . . . . . . . . . . . .311011111111133333333332
161 -19 C . . . . . . . . . . . . . . . . . . . .331011111111133333333332
162 -18 C . . . . . . . . . . . . . . . . . . . .333011111111133333333332
163 -17 B . . . . . . . . . . . . . . . . . . . .333311111111133333333332
164 -18 B . . . . . . . . . . . . . . . . . . . .333301111111133333333332
165 -19 B . . . . . . . . . . . . . . . . . . . .333101111111133333333332
166 -20 B . . . . . . . . . . . . . . . . . . . .331101111111133333333332
167 -21 B . . . . . . . . . . . . . . . . . . . .311101111111133333333332
168 -22 B . . . . . . . . . . . . . . . . . . . 0111101111111133333333332
169 -23 A . . . . . . . . . . . . . . . . . . .02111101111111133333333332
170 -22 B . . . . . . . . . . . . . . . . . . .12111101111111133333333332
171 -23 C . . . . . . . . . . . . . . . . . . .11111101111111133333333332
172 -22 C . . . . . . . . . . . . . . . . . . .31111101111111133333333332
173 -21 C . . . . . . . . . . . . . . . . . . .33111101111111133333333332
174 -20 C . . . . . . . . . . . . . . . . . . .33311101111111133333333332
175 -19 C . . . . . . . . . . . . . . . . . . .33331101111111133333333332
176 -18 C . . . . . . . . . . . . . . . . . . .33333101111111133333333332
177 -17 C . . . . . . . . . . . . . . . . . . .33333301111111133333333332
178 -16 B . . . . . . . . . . . . . . . . . . .33333331111111133333333332
179 -17 B . . . . . . . . . . . . . . . . . . .33333330111111133333333332
180 -18 B . . . . . . . . . . . . . . . . . . .33333310111111133333333332
181 -19 B . . . . . . . . . . . . . . . . . . .33333110111111133333333332
182 -20 B . . . . . . . . . . . . . . . . . . .33331110111111133333333332
183 -21 B . . . . . . . . . . . . . . . . . . .33311110111111133333333332
184 -22 B . . . . . . . . . . . . . . . . . . .33111110111111133333333332
185 -23 B . . . . . . . . . . . . . . . . . . .31111110111111133333333332
186 -24 B . . . . . . . . . . . . . . . . . . 011111110111111133333333332
187 -25 A . . . . . . . . . . . . . . . . . .0211111110111111133333333332
188 -24 B . . . . . . . . . . . . . . . . . .1211111110111111133333333332
189 -25 C . . . . . . . . . . . . . . . . . .1111111110111111133333333332
190 -24 C . . . . . . . . . . . . . . . . . .3111111110111111133333333332
191 -23 C . . . . . . . . . . . . . . . . . .3311111110111111133333333332
192 -22 C . . . . . . . . . . . . . . . . . .3331111110111111133333333332
193 -21 C . . . . . . . . . . . . . . . . . .3333111110111111133333333332
194 -20 C . . . . . . . . . . . . . . . . . .3333311110111111133333333332
195 -19 C . . . . . . . . . . . . . . . . . .3333331110111111133333333332
196 -18 C . . . . . . . . . . . . . . . . . .3333333110111111133333333332
197 -17 C . . . . . . . . . . . . . . . . . .3333333310111111133333333332
198 -16 C . . . . . . . . . . . . . . . . . .3333333330111111133333333332
199 -15 B . . . . . . . . . . . . . . . . . .3333333333111111133333333332
200 -16 B . . . . . . . . . . . . . . . . . .3333333333011111133333333332
After 200 steps (201 lines): state = B.
Produced 27 nonzeros.
Tape index -16, scanned [-25 .. 2].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 28 | 13 | 1 | 1 | 13 | 0 | 2 | 3 | 89 |
| B | 81 | 13 | 11 | 12 | 45 | 1 | 4 | 7 | 17 |
| C | 91 | 12 | 66 | 13 | 10 | 8 | 12 | ||