Comment: This TM produces 374,676,383 nonzeros in 119,112,334,170,342,540 steps. Comment: This is the currently best known 3x3 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2LA | 1LC | 1 | right | B | 2 | left | A | 1 | left | C |
| B | 0LA | 2RB | 1LB | 0 | left | A | 2 | right | B | 1 | left | B |
| C | 1RH | 1RA | 1RC | 1 | right | H | 1 | right | A | 1 | right | C |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . . . 10
2 0 A . . . . . . . . . . . . . 10
3 -1 A . . . . . . . . . . . . .020
4 0 B . . . . . . . . . . . . .120
5 -1 B . . . . . . . . . . . . .110
6 0 B . . . . . . . . . . . . .210
7 1 B . . . . . . . . . . . . .220
8 0 A . . . . . . . . . . . . .220
9 -1 C . . . . . . . . . . . . .210
10 0 C . . . . . . . . . . . . .110
11 1 A . . . . . . . . . . . . .110
12 2 B . . . . . . . . . . . . .1110
13 1 A . . . . . . . . . . . . .1110
14 0 A . . . . . . . . . . . . .1120
15 -1 A . . . . . . . . . . . . .1220
16 -2 A . . . . . . . . . . . . 02220
17 -1 B . . . . . . . . . . . . 12220
18 -2 B . . . . . . . . . . . . 11220
19 -1 B . . . . . . . . . . . . 21220
20 0 B . . . . . . . . . . . . 22220
21 -1 B . . . . . . . . . . . . 22120
22 -2 B . . . . . . . . . . . . 21120
23 -3 B . . . . . . . . . . . .011120
24 -4 A . . . . . . . . . . . 0011120
25 -3 B . . . . . . . . . . . 1011120
26 -4 A . . . . . . . . . . . 1011120
27 -5 A . . . . . . . . . . .02011120
28 -4 B . . . . . . . . . . .12011120
29 -5 B . . . . . . . . . . .11011120
30 -4 B . . . . . . . . . . .21011120
31 -3 B . . . . . . . . . . .22011120
32 -4 A . . . . . . . . . . .22011120
33 -5 C . . . . . . . . . . .21011120
34 -4 C . . . . . . . . . . .11011120
35 -3 A . . . . . . . . . . .11011120
36 -2 B . . . . . . . . . . .11111120
37 -1 B . . . . . . . . . . .11121120
38 0 B . . . . . . . . . . .11122120
39 1 B . . . . . . . . . . .11122220
40 0 B . . . . . . . . . . .11122210
41 -1 B . . . . . . . . . . .11122110
42 -2 B . . . . . . . . . . .11121110
43 -3 B . . . . . . . . . . .11111110
44 -2 B . . . . . . . . . . .11211110
45 -1 B . . . . . . . . . . .11221110
46 0 B . . . . . . . . . . .11222110
47 1 B . . . . . . . . . . .11222210
48 2 B . . . . . . . . . . .11222220
49 1 A . . . . . . . . . . .11222220
50 0 C . . . . . . . . . . .11222210
51 1 C . . . . . . . . . . .11222110
52 2 A . . . . . . . . . . .11222110
53 3 B . . . . . . . . . . .112221110
54 2 A . . . . . . . . . . .112221110
55 1 A . . . . . . . . . . .112221120
56 0 A . . . . . . . . . . .112221220
57 -1 A . . . . . . . . . . .112222220
58 -2 C . . . . . . . . . . .112212220
59 -1 C . . . . . . . . . . .112112220
60 0 A . . . . . . . . . . .112112220
61 -1 C . . . . . . . . . . .112111220
62 0 A . . . . . . . . . . .112111220
63 -1 A . . . . . . . . . . .112112220
64 -2 A . . . . . . . . . . .112122220
65 -3 A . . . . . . . . . . .112222220
66 -4 C . . . . . . . . . . .111222220
67 -3 A . . . . . . . . . . .111222220
68 -4 A . . . . . . . . . . .112222220
69 -5 A . . . . . . . . . . .122222220
70 -6 A . . . . . . . . . . 0222222220
71 -5 B . . . . . . . . . . 1222222220
72 -6 B . . . . . . . . . . 1122222220
73 -5 B . . . . . . . . . . 2122222220
74 -4 B . . . . . . . . . . 2222222220
75 -5 B . . . . . . . . . . 2212222220
76 -6 B . . . . . . . . . . 2112222220
77 -7 B . . . . . . . . . .01112222220
78 -8 A . . . . . . . . . 001112222220
79 -7 B . . . . . . . . . 101112222220
80 -8 A . . . . . . . . . 101112222220
81 -9 A . . . . . . . . .0201112222220
82 -8 B . . . . . . . . .1201112222220
83 -9 B . . . . . . . . .1101112222220
84 -8 B . . . . . . . . .2101112222220
85 -7 B . . . . . . . . .2201112222220
86 -8 A . . . . . . . . .2201112222220
87 -9 C . . . . . . . . .2101112222220
88 -8 C . . . . . . . . .1101112222220
89 -7 A . . . . . . . . .1101112222220
90 -6 B . . . . . . . . .1111112222220
91 -5 B . . . . . . . . .1112112222220
92 -4 B . . . . . . . . .1112212222220
93 -3 B . . . . . . . . .1112222222220
94 -4 B . . . . . . . . .1112221222220
95 -5 B . . . . . . . . .1112211222220
96 -6 B . . . . . . . . .1112111222220
97 -7 B . . . . . . . . .1111111222220
98 -6 B . . . . . . . . .1121111222220
99 -5 B . . . . . . . . .1122111222220
100 -4 B . . . . . . . . .1122211222220
101 -3 B . . . . . . . . .1122221222220
102 -2 B . . . . . . . . .1122222222220
103 -3 B . . . . . . . . .1122222122220
104 -4 B . . . . . . . . .1122221122220
105 -5 B . . . . . . . . .1122211122220
106 -6 B . . . . . . . . .1122111122220
107 -7 B . . . . . . . . .1121111122220
108 -8 B . . . . . . . . .1111111122220
109 -7 B . . . . . . . . .1211111122220
110 -6 B . . . . . . . . .1221111122220
111 -5 B . . . . . . . . .1222111122220
112 -4 B . . . . . . . . .1222211122220
113 -3 B . . . . . . . . .1222221122220
114 -2 B . . . . . . . . .1222222122220
115 -1 B . . . . . . . . .1222222222220
116 -2 B . . . . . . . . .1222222212220
117 -3 B . . . . . . . . .1222222112220
118 -4 B . . . . . . . . .1222221112220
119 -5 B . . . . . . . . .1222211112220
120 -6 B . . . . . . . . .1222111112220
121 -7 B . . . . . . . . .1221111112220
122 -8 B . . . . . . . . .1211111112220
123 -9 B . . . . . . . . .1111111112220
124 -8 B . . . . . . . . .2111111112220
125 -7 B . . . . . . . . .2211111112220
126 -6 B . . . . . . . . .2221111112220
127 -5 B . . . . . . . . .2222111112220
128 -4 B . . . . . . . . .2222211112220
129 -3 B . . . . . . . . .2222221112220
130 -2 B . . . . . . . . .2222222112220
131 -1 B . . . . . . . . .2222222212220
132 0 B . . . . . . . . .2222222222220
133 -1 B . . . . . . . . .2222222221220
134 -2 B . . . . . . . . .2222222211220
135 -3 B . . . . . . . . .2222222111220
136 -4 B . . . . . . . . .2222221111220
137 -5 B . . . . . . . . .2222211111220
138 -6 B . . . . . . . . .2222111111220
139 -7 B . . . . . . . . .2221111111220
140 -8 B . . . . . . . . .2211111111220
141 -9 B . . . . . . . . .2111111111220
142 -10 B . . . . . . . . 01111111111220
143 -11 A . . . . . . . .001111111111220
144 -10 B . . . . . . . .101111111111220
145 -11 A . . . . . . . .101111111111220
146 -12 A . . . . . . . 0201111111111220
147 -11 B . . . . . . . 1201111111111220
148 -12 B . . . . . . . 1101111111111220
149 -11 B . . . . . . . 2101111111111220
150 -10 B . . . . . . . 2201111111111220
151 -11 A . . . . . . . 2201111111111220
152 -12 C . . . . . . . 2101111111111220
153 -11 C . . . . . . . 1101111111111220
154 -10 A . . . . . . . 1101111111111220
155 -9 B . . . . . . . 1111111111111220
156 -8 B . . . . . . . 1112111111111220
157 -7 B . . . . . . . 1112211111111220
158 -6 B . . . . . . . 1112221111111220
159 -5 B . . . . . . . 1112222111111220
160 -4 B . . . . . . . 1112222211111220
161 -3 B . . . . . . . 1112222221111220
162 -2 B . . . . . . . 1112222222111220
163 -1 B . . . . . . . 1112222222211220
164 0 B . . . . . . . 1112222222221220
165 1 B . . . . . . . 1112222222222220
166 0 B . . . . . . . 1112222222222120
167 -1 B . . . . . . . 1112222222221120
168 -2 B . . . . . . . 1112222222211120
169 -3 B . . . . . . . 1112222222111120
170 -4 B . . . . . . . 1112222221111120
171 -5 B . . . . . . . 1112222211111120
172 -6 B . . . . . . . 1112222111111120
173 -7 B . . . . . . . 1112221111111120
174 -8 B . . . . . . . 1112211111111120
175 -9 B . . . . . . . 1112111111111120
176 -10 B . . . . . . . 1111111111111120
177 -9 B . . . . . . . 1121111111111120
178 -8 B . . . . . . . 1122111111111120
179 -7 B . . . . . . . 1122211111111120
180 -6 B . . . . . . . 1122221111111120
181 -5 B . . . . . . . 1122222111111120
182 -4 B . . . . . . . 1122222211111120
183 -3 B . . . . . . . 1122222221111120
184 -2 B . . . . . . . 1122222222111120
185 -1 B . . . . . . . 1122222222211120
186 0 B . . . . . . . 1122222222221120
187 1 B . . . . . . . 1122222222222120
188 2 B . . . . . . . 1122222222222220
189 1 B . . . . . . . 1122222222222210
190 0 B . . . . . . . 1122222222222110
191 -1 B . . . . . . . 1122222222221110
192 -2 B . . . . . . . 1122222222211110
193 -3 B . . . . . . . 1122222222111110
194 -4 B . . . . . . . 1122222221111110
195 -5 B . . . . . . . 1122222211111110
196 -6 B . . . . . . . 1122222111111110
197 -7 B . . . . . . . 1122221111111110
198 -8 B . . . . . . . 1122211111111110
199 -9 B . . . . . . . 1122111111111110
200 -10 B . . . . . . . 1121111111111110
After 200 steps (201 lines): state = B.
Produced 15 nonzeros.
Tape index -10, scanned [-12 .. 3].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 39 | 15 | 16 | 8 | 0 | 2 | 8 |
| B | 147 | 14 | 66 | 67 | 1 | 5 | 4 |
| C | 14 | 8 | 6 | 10 | 9 | ||