Comment: This TM produces >4.210x10^6034 nonzeros in >5.318x10^12068 steps. 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 | 0LB | 1RD | 1 | right | B | 0 | left | B | 1 | right | D |
| B | 2RC | 2LA | 0LA | 2 | right | C | 2 | left | A | 0 | left | A |
| C | 1LB | 0LA | 0LA | 1 | left | B | 0 | left | A | 0 | left | A |
| D | 1RA | 0RA | 1RH | 1 | right | A | 0 | right | A | 1 | right | H |
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 2 C . . . . . . . . . . 120
3 1 B . . . . . . . . . . 121
4 0 A . . . . . . . . . . 101
5 -1 B . . . . . . . . . .0001
6 0 C . . . . . . . . . .2001
7 -1 B . . . . . . . . . .2101
8 -2 A . . . . . . . . . 00101
9 -1 B . . . . . . . . . 10101
10 0 C . . . . . . . . . 12101
11 -1 A . . . . . . . . . 12001
12 0 D . . . . . . . . . 11001
13 1 A . . . . . . . . . 11101
14 2 B . . . . . . . . . 11111
15 1 A . . . . . . . . . 11112
16 0 B . . . . . . . . . 11102
17 -1 A . . . . . . . . . 11202
18 -2 B . . . . . . . . . 10202
19 -3 A . . . . . . . . .020202
20 -2 B . . . . . . . . .120202
21 -3 A . . . . . . . . .100202
22 -4 B . . . . . . . . 0000202
23 -3 C . . . . . . . . 2000202
24 -4 B . . . . . . . . 2100202
25 -5 A . . . . . . . .00100202
26 -4 B . . . . . . . .10100202
27 -3 C . . . . . . . .12100202
28 -4 A . . . . . . . .12000202
29 -3 D . . . . . . . .11000202
30 -2 A . . . . . . . .11100202
31 -1 B . . . . . . . .11110202
32 0 C . . . . . . . .11112202
33 -1 A . . . . . . . .11112002
34 0 D . . . . . . . .11111002
35 1 A . . . . . . . .11111102
36 2 B . . . . . . . .11111112
37 1 A . . . . . . . .11111110
38 0 B . . . . . . . .11111100
39 -1 A . . . . . . . .11111200
40 -2 B . . . . . . . .11110200
41 -3 A . . . . . . . .11120200
42 -4 B . . . . . . . .11020200
43 -5 A . . . . . . . .12020200
44 -6 B . . . . . . . 002020200
45 -5 C . . . . . . . 202020200
46 -6 B . . . . . . . 212020200
47 -7 A . . . . . . .0012020200
48 -6 B . . . . . . .1012020200
49 -5 C . . . . . . .1212020200
50 -6 A . . . . . . .1202020200
51 -5 D . . . . . . .1102020200
52 -4 A . . . . . . .1112020200
53 -3 D . . . . . . .1111020200
54 -2 A . . . . . . .1111120200
55 -1 D . . . . . . .1111110200
56 0 A . . . . . . .1111111200
57 1 D . . . . . . .1111111100
58 2 A . . . . . . .1111111110
59 3 B . . . . . . .11111111110
60 4 C . . . . . . .111111111120
61 3 B . . . . . . .111111111121
62 2 A . . . . . . .111111111101
63 1 B . . . . . . .111111111001
64 0 A . . . . . . .111111112001
65 -1 B . . . . . . .111111102001
66 -2 A . . . . . . .111111202001
67 -3 B . . . . . . .111110202001
68 -4 A . . . . . . .111120202001
69 -5 B . . . . . . .111020202001
70 -6 A . . . . . . .112020202001
71 -7 B . . . . . . .102020202001
72 -8 A . . . . . . 0202020202001
73 -7 B . . . . . . 1202020202001
74 -8 A . . . . . . 1002020202001
75 -9 B . . . . . .00002020202001
76 -8 C . . . . . .20002020202001
77 -9 B . . . . . .21002020202001
78 -10 A . . . . . 001002020202001
79 -9 B . . . . . 101002020202001
80 -8 C . . . . . 121002020202001
81 -9 A . . . . . 120002020202001
82 -8 D . . . . . 110002020202001
83 -7 A . . . . . 111002020202001
84 -6 B . . . . . 111102020202001
85 -5 C . . . . . 111122020202001
86 -6 A . . . . . 111120020202001
87 -5 D . . . . . 111110020202001
88 -4 A . . . . . 111111020202001
89 -3 B . . . . . 111111120202001
90 -4 A . . . . . 111111100202001
91 -5 B . . . . . 111111000202001
92 -6 A . . . . . 111112000202001
93 -7 B . . . . . 111102000202001
94 -8 A . . . . . 111202000202001
95 -9 B . . . . . 110202000202001
96 -10 A . . . . . 120202000202001
97 -11 B . . . . .0020202000202001
98 -10 C . . . . .2020202000202001
99 -11 B . . . . .2120202000202001
100 -12 A . . . . 00120202000202001
101 -11 B . . . . 10120202000202001
102 -10 C . . . . 12120202000202001
103 -11 A . . . . 12020202000202001
104 -10 D . . . . 11020202000202001
105 -9 A . . . . 11120202000202001
106 -8 D . . . . 11110202000202001
107 -7 A . . . . 11111202000202001
108 -6 D . . . . 11111102000202001
109 -5 A . . . . 11111112000202001
110 -4 D . . . . 11111111000202001
111 -3 A . . . . 11111111100202001
112 -2 B . . . . 11111111110202001
113 -1 C . . . . 11111111112202001
114 -2 A . . . . 11111111112002001
115 -1 D . . . . 11111111111002001
116 0 A . . . . 11111111111102001
117 1 B . . . . 11111111111112001
118 0 A . . . . 11111111111110001
119 -1 B . . . . 11111111111100001
120 -2 A . . . . 11111111111200001
121 -3 B . . . . 11111111110200001
122 -4 A . . . . 11111111120200001
123 -5 B . . . . 11111111020200001
124 -6 A . . . . 11111112020200001
125 -7 B . . . . 11111102020200001
126 -8 A . . . . 11111202020200001
127 -9 B . . . . 11110202020200001
128 -10 A . . . . 11120202020200001
129 -11 B . . . . 11020202020200001
130 -12 A . . . . 12020202020200001
131 -13 B . . . .002020202020200001
132 -12 C . . . .202020202020200001
133 -13 B . . . .212020202020200001
134 -14 A . . . 0012020202020200001
135 -13 B . . . 1012020202020200001
136 -12 C . . . 1212020202020200001
137 -13 A . . . 1202020202020200001
138 -12 D . . . 1102020202020200001
139 -11 A . . . 1112020202020200001
140 -10 D . . . 1111020202020200001
141 -9 A . . . 1111120202020200001
142 -8 D . . . 1111110202020200001
143 -7 A . . . 1111111202020200001
144 -6 D . . . 1111111102020200001
145 -5 A . . . 1111111112020200001
146 -4 D . . . 1111111111020200001
147 -3 A . . . 1111111111120200001
148 -2 D . . . 1111111111110200001
149 -1 A . . . 1111111111111200001
150 0 D . . . 1111111111111100001
151 1 A . . . 1111111111111110001
152 2 B . . . 1111111111111111001
153 3 C . . . 1111111111111111201
154 2 B . . . 1111111111111111211
155 1 A . . . 1111111111111111011
156 0 B . . . 1111111111111110011
157 -1 A . . . 1111111111111120011
158 -2 B . . . 1111111111111020011
159 -3 A . . . 1111111111112020011
160 -4 B . . . 1111111111102020011
161 -5 A . . . 1111111111202020011
162 -6 B . . . 1111111110202020011
163 -7 A . . . 1111111120202020011
164 -8 B . . . 1111111020202020011
165 -9 A . . . 1111112020202020011
166 -10 B . . . 1111102020202020011
167 -11 A . . . 1111202020202020011
168 -12 B . . . 1110202020202020011
169 -13 A . . . 1120202020202020011
170 -14 B . . . 1020202020202020011
171 -15 A . . .02020202020202020011
172 -14 B . . .12020202020202020011
173 -15 A . . .10020202020202020011
174 -16 B . . 000020202020202020011
175 -15 C . . 200020202020202020011
176 -16 B . . 210020202020202020011
177 -17 A . .0010020202020202020011
178 -16 B . .1010020202020202020011
179 -15 C . .1210020202020202020011
180 -16 A . .1200020202020202020011
181 -15 D . .1100020202020202020011
182 -14 A . .1110020202020202020011
183 -13 B . .1111020202020202020011
184 -12 C . .1111220202020202020011
185 -13 A . .1111200202020202020011
186 -12 D . .1111100202020202020011
187 -11 A . .1111110202020202020011
188 -10 B . .1111111202020202020011
189 -11 A . .1111111002020202020011
190 -12 B . .1111110002020202020011
191 -13 A . .1111120002020202020011
192 -14 B . .1111020002020202020011
193 -15 A . .1112020002020202020011
194 -16 B . .1102020002020202020011
195 -17 A . .1202020002020202020011
196 -18 B . 00202020002020202020011
197 -17 C . 20202020002020202020011
198 -18 B . 21202020002020202020011
199 -19 A .001202020002020202020011
200 -18 B .101202020002020202020011
After 200 steps (201 lines): state = B.
Produced 12 nonzeros.
Tape index -18, scanned [-19 .. 4].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 84 | 23 | 38 | 23 | 0 | 4 | 11 |
| B | 71 | 22 | 31 | 18 | 1 | 14 | 3 |
| C | 22 | 11 | 7 | 4 | 2 | 10 | 32 |
| D | 23 | 23 | 12 | ||||