Comment: This TM produces >8.0x10^986 nonzeros in >3.7x10^1973 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 | 1RA | 0LB | 1 | right | B | 1 | right | A | 0 | left | B |
| B | 2LC | 1LB | 1RC | 2 | left | C | 1 | left | B | 1 | right | C |
| C | 0RD | 2LC | 1RA | 0 | right | D | 2 | left | C | 1 | right | A |
| D | 2RA | 1RH | 1RC | 2 | right | A | 1 | right | H | 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 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . 0
1 1 B . . . . . . . 10
2 0 C . . . . . . . 12
3 -1 C . . . . . . .022
4 0 D . . . . . . .022
5 1 C . . . . . . .012
6 2 A . . . . . . .0110
7 3 B . . . . . . .01110
8 2 C . . . . . . .01112
9 1 C . . . . . . .01122
10 0 C . . . . . . .01222
11 -1 C . . . . . . .02222
12 0 D . . . . . . .02222
13 1 C . . . . . . .01222
14 2 A . . . . . . .01122
15 1 B . . . . . . .01102
16 0 B . . . . . . .01102
17 -1 B . . . . . . .01102
18 -2 C . . . . . . 021102
19 -1 D . . . . . . 021102
20 0 C . . . . . . 011102
21 -1 C . . . . . . 012102
22 -2 C . . . . . . 022102
23 -1 D . . . . . . 022102
24 0 C . . . . . . 012102
25 1 A . . . . . . 011102
26 2 A . . . . . . 011102
27 3 B . . . . . . 011112
28 4 C . . . . . . 0111110
29 5 D . . . . . . 01111100
30 6 A . . . . . . 011111020
31 7 B . . . . . . 0111110210
32 6 C . . . . . . 0111110212
33 5 C . . . . . . 0111110222
34 6 A . . . . . . 0111110122
35 5 B . . . . . . 0111110102
36 4 B . . . . . . 0111110102
37 3 C . . . . . . 0111112102
38 2 C . . . . . . 0111122102
39 1 C . . . . . . 0111222102
40 0 C . . . . . . 0112222102
41 -1 C . . . . . . 0122222102
42 -2 C . . . . . . 0222222102
43 -1 D . . . . . . 0222222102
44 0 C . . . . . . 0122222102
45 1 A . . . . . . 0112222102
46 0 B . . . . . . 0110222102
47 -1 B . . . . . . 0110222102
48 -2 B . . . . . . 0110222102
49 -3 C . . . . . .02110222102
50 -2 D . . . . . .02110222102
51 -1 C . . . . . .01110222102
52 -2 C . . . . . .01210222102
53 -3 C . . . . . .02210222102
54 -2 D . . . . . .02210222102
55 -1 C . . . . . .01210222102
56 0 A . . . . . .01110222102
57 1 A . . . . . .01110222102
58 2 B . . . . . .01111222102
59 3 C . . . . . .01111122102
60 4 A . . . . . .01111112102
61 3 B . . . . . .01111110102
62 2 B . . . . . .01111110102
63 1 B . . . . . .01111110102
64 0 B . . . . . .01111110102
65 -1 B . . . . . .01111110102
66 -2 B . . . . . .01111110102
67 -3 B . . . . . .01111110102
68 -4 C . . . . . 021111110102
69 -3 D . . . . . 021111110102
70 -2 C . . . . . 011111110102
71 -3 C . . . . . 012111110102
72 -4 C . . . . . 022111110102
73 -3 D . . . . . 022111110102
74 -2 C . . . . . 012111110102
75 -1 A . . . . . 011111110102
76 0 A . . . . . 011111110102
77 1 A . . . . . 011111110102
78 2 A . . . . . 011111110102
79 3 A . . . . . 011111110102
80 4 A . . . . . 011111110102
81 5 B . . . . . 011111111102
82 4 B . . . . . 011111111102
83 3 B . . . . . 011111111102
84 2 B . . . . . 011111111102
85 1 B . . . . . 011111111102
86 0 B . . . . . 011111111102
87 -1 B . . . . . 011111111102
88 -2 B . . . . . 011111111102
89 -3 B . . . . . 011111111102
90 -4 B . . . . . 011111111102
91 -5 C . . . . .0211111111102
92 -4 D . . . . .0211111111102
93 -3 C . . . . .0111111111102
94 -4 C . . . . .0121111111102
95 -5 C . . . . .0221111111102
96 -4 D . . . . .0221111111102
97 -3 C . . . . .0121111111102
98 -2 A . . . . .0111111111102
99 -1 A . . . . .0111111111102
100 0 A . . . . .0111111111102
101 1 A . . . . .0111111111102
102 2 A . . . . .0111111111102
103 3 A . . . . .0111111111102
104 4 A . . . . .0111111111102
105 5 A . . . . .0111111111102
106 6 A . . . . .0111111111102
107 7 B . . . . .0111111111112
108 8 C . . . . .01111111111110
109 9 D . . . . .011111111111100
110 10 A . . . . .0111111111111020
111 11 B . . . . .01111111111110210
112 10 C . . . . .01111111111110212
113 9 C . . . . .01111111111110222
114 10 A . . . . .01111111111110122
115 9 B . . . . .01111111111110102
116 8 B . . . . .01111111111110102
117 7 C . . . . .01111111111112102
118 6 C . . . . .01111111111122102
119 5 C . . . . .01111111111222102
120 4 C . . . . .01111111112222102
121 3 C . . . . .01111111122222102
122 2 C . . . . .01111111222222102
123 1 C . . . . .01111112222222102
124 0 C . . . . .01111122222222102
125 -1 C . . . . .01111222222222102
126 -2 C . . . . .01112222222222102
127 -3 C . . . . .01122222222222102
128 -4 C . . . . .01222222222222102
129 -5 C . . . . .02222222222222102
130 -4 D . . . . .02222222222222102
131 -3 C . . . . .01222222222222102
132 -2 A . . . . .01122222222222102
133 -3 B . . . . .01102222222222102
134 -4 B . . . . .01102222222222102
135 -5 B . . . . .01102222222222102
136 -6 C . . . . 021102222222222102
137 -5 D . . . . 021102222222222102
138 -4 C . . . . 011102222222222102
139 -5 C . . . . 012102222222222102
140 -6 C . . . . 022102222222222102
141 -5 D . . . . 022102222222222102
142 -4 C . . . . 012102222222222102
143 -3 A . . . . 011102222222222102
144 -2 A . . . . 011102222222222102
145 -1 B . . . . 011112222222222102
146 0 C . . . . 011111222222222102
147 1 A . . . . 011111122222222102
148 0 B . . . . 011111102222222102
149 -1 B . . . . 011111102222222102
150 -2 B . . . . 011111102222222102
151 -3 B . . . . 011111102222222102
152 -4 B . . . . 011111102222222102
153 -5 B . . . . 011111102222222102
154 -6 B . . . . 011111102222222102
155 -7 C . . . .0211111102222222102
156 -6 D . . . .0211111102222222102
157 -5 C . . . .0111111102222222102
158 -6 C . . . .0121111102222222102
159 -7 C . . . .0221111102222222102
160 -6 D . . . .0221111102222222102
161 -5 C . . . .0121111102222222102
162 -4 A . . . .0111111102222222102
163 -3 A . . . .0111111102222222102
164 -2 A . . . .0111111102222222102
165 -1 A . . . .0111111102222222102
166 0 A . . . .0111111102222222102
167 1 A . . . .0111111102222222102
168 2 B . . . .0111111112222222102
169 3 C . . . .0111111111222222102
170 4 A . . . .0111111111122222102
171 3 B . . . .0111111111102222102
172 2 B . . . .0111111111102222102
173 1 B . . . .0111111111102222102
174 0 B . . . .0111111111102222102
175 -1 B . . . .0111111111102222102
176 -2 B . . . .0111111111102222102
177 -3 B . . . .0111111111102222102
178 -4 B . . . .0111111111102222102
179 -5 B . . . .0111111111102222102
180 -6 B . . . .0111111111102222102
181 -7 B . . . .0111111111102222102
182 -8 C . . . 02111111111102222102
183 -7 D . . . 02111111111102222102
184 -6 C . . . 01111111111102222102
185 -7 C . . . 01211111111102222102
186 -8 C . . . 02211111111102222102
187 -7 D . . . 02211111111102222102
188 -6 C . . . 01211111111102222102
189 -5 A . . . 01111111111102222102
190 -4 A . . . 01111111111102222102
191 -3 A . . . 01111111111102222102
192 -2 A . . . 01111111111102222102
193 -1 A . . . 01111111111102222102
194 0 A . . . 01111111111102222102
195 1 A . . . 01111111111102222102
196 2 A . . . 01111111111102222102
197 3 A . . . 01111111111102222102
198 4 A . . . 01111111111102222102
199 5 B . . . 01111111111112222102
200 6 C . . . 01111111111111222102
After 200 steps (201 lines): state = C.
Produced 18 nonzeros.
Tape index 6, scanned [-8 .. 11].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 49 | 11 | 30 | 8 | 0 | 25 | 14 |
| B | 58 | 13 | 39 | 6 | 1 | 15 | 27 |
| C | 73 | 20 | 37 | 16 | 3 | 2 | 5 |
| D | 20 | 2 | 18 | 29 | 4 | ||