Comment: This TM produces 2,950,149 nonzeros in 4,144,465,135,614 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 | B1R | Z2L | C2L | 1 | right | B | 2 | left | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | C2R | A2L | 1 | left | A | 2 | right | C | 2 | left | A |
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 C . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 1 C . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4 2 C . . . . . . . . . . . . . . . . . . . . . . . . . . 220
5 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . 221
6 0 C . . . . . . . . . . . . . . . . . . . . . . . . . . 221
7 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . .0221
8 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .1221
9 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1121
10 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .2121
11 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .2221
12 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .2211
13 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .2111
14 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . 01111
15 -3 C . . . . . . . . . . . . . . . . . . . . . . . . .011111
16 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 0111111
17 -3 B . . . . . . . . . . . . . . . . . . . . . . . . 1111111
18 -2 B . . . . . . . . . . . . . . . . . . . . . . . . 1211111
19 -1 B . . . . . . . . . . . . . . . . . . . . . . . . 1221111
20 0 B . . . . . . . . . . . . . . . . . . . . . . . . 1222111
21 1 B . . . . . . . . . . . . . . . . . . . . . . . . 1222211
22 2 B . . . . . . . . . . . . . . . . . . . . . . . . 1222221
23 3 B . . . . . . . . . . . . . . . . . . . . . . . . 12222220
24 2 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
25 1 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
26 0 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
27 -1 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
28 -2 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
29 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
30 -4 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
31 -3 C . . . . . . . . . . . . . . . . . . . . . . . . 22222221
32 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 22222221
33 -5 C . . . . . . . . . . . . . . . . . . . . . . . .022222221
34 -6 A . . . . . . . . . . . . . . . . . . . . . . . 0122222221
35 -5 B . . . . . . . . . . . . . . . . . . . . . . . 1122222221
36 -4 B . . . . . . . . . . . . . . . . . . . . . . . 1222222221
37 -5 B . . . . . . . . . . . . . . . . . . . . . . . 1212222221
38 -6 B . . . . . . . . . . . . . . . . . . . . . . . 1112222221
39 -5 B . . . . . . . . . . . . . . . . . . . . . . . 2112222221
40 -4 B . . . . . . . . . . . . . . . . . . . . . . . 2212222221
41 -3 B . . . . . . . . . . . . . . . . . . . . . . . 2222222221
42 -4 B . . . . . . . . . . . . . . . . . . . . . . . 2221222221
43 -5 B . . . . . . . . . . . . . . . . . . . . . . . 2211222221
44 -6 B . . . . . . . . . . . . . . . . . . . . . . . 2111222221
45 -7 B . . . . . . . . . . . . . . . . . . . . . . .01111222221
46 -8 C . . . . . . . . . . . . . . . . . . . . . . 011111222221
47 -9 A . . . . . . . . . . . . . . . . . . . . . .0111111222221
48 -8 B . . . . . . . . . . . . . . . . . . . . . .1111111222221
49 -7 B . . . . . . . . . . . . . . . . . . . . . .1211111222221
50 -6 B . . . . . . . . . . . . . . . . . . . . . .1221111222221
51 -5 B . . . . . . . . . . . . . . . . . . . . . .1222111222221
52 -4 B . . . . . . . . . . . . . . . . . . . . . .1222211222221
53 -3 B . . . . . . . . . . . . . . . . . . . . . .1222221222221
54 -2 B . . . . . . . . . . . . . . . . . . . . . .1222222222221
55 -3 B . . . . . . . . . . . . . . . . . . . . . .1222222122221
56 -4 B . . . . . . . . . . . . . . . . . . . . . .1222221122221
57 -5 B . . . . . . . . . . . . . . . . . . . . . .1222211122221
58 -6 B . . . . . . . . . . . . . . . . . . . . . .1222111122221
59 -7 B . . . . . . . . . . . . . . . . . . . . . .1221111122221
60 -8 B . . . . . . . . . . . . . . . . . . . . . .1211111122221
61 -9 B . . . . . . . . . . . . . . . . . . . . . .1111111122221
62 -8 B . . . . . . . . . . . . . . . . . . . . . .2111111122221
63 -7 B . . . . . . . . . . . . . . . . . . . . . .2211111122221
64 -6 B . . . . . . . . . . . . . . . . . . . . . .2221111122221
65 -5 B . . . . . . . . . . . . . . . . . . . . . .2222111122221
66 -4 B . . . . . . . . . . . . . . . . . . . . . .2222211122221
67 -3 B . . . . . . . . . . . . . . . . . . . . . .2222221122221
68 -2 B . . . . . . . . . . . . . . . . . . . . . .2222222122221
69 -1 B . . . . . . . . . . . . . . . . . . . . . .2222222222221
70 -2 B . . . . . . . . . . . . . . . . . . . . . .2222222212221
71 -3 B . . . . . . . . . . . . . . . . . . . . . .2222222112221
72 -4 B . . . . . . . . . . . . . . . . . . . . . .2222221112221
73 -5 B . . . . . . . . . . . . . . . . . . . . . .2222211112221
74 -6 B . . . . . . . . . . . . . . . . . . . . . .2222111112221
75 -7 B . . . . . . . . . . . . . . . . . . . . . .2221111112221
76 -8 B . . . . . . . . . . . . . . . . . . . . . .2211111112221
77 -9 B . . . . . . . . . . . . . . . . . . . . . .2111111112221
78 -10 B . . . . . . . . . . . . . . . . . . . . . 01111111112221
79 -11 C . . . . . . . . . . . . . . . . . . . . .011111111112221
80 -12 A . . . . . . . . . . . . . . . . . . . . 0111111111112221
81 -11 B . . . . . . . . . . . . . . . . . . . . 1111111111112221
82 -10 B . . . . . . . . . . . . . . . . . . . . 1211111111112221
83 -9 B . . . . . . . . . . . . . . . . . . . . 1221111111112221
84 -8 B . . . . . . . . . . . . . . . . . . . . 1222111111112221
85 -7 B . . . . . . . . . . . . . . . . . . . . 1222211111112221
86 -6 B . . . . . . . . . . . . . . . . . . . . 1222221111112221
87 -5 B . . . . . . . . . . . . . . . . . . . . 1222222111112221
88 -4 B . . . . . . . . . . . . . . . . . . . . 1222222211112221
89 -3 B . . . . . . . . . . . . . . . . . . . . 1222222221112221
90 -2 B . . . . . . . . . . . . . . . . . . . . 1222222222112221
91 -1 B . . . . . . . . . . . . . . . . . . . . 1222222222212221
92 0 B . . . . . . . . . . . . . . . . . . . . 1222222222222221
93 -1 B . . . . . . . . . . . . . . . . . . . . 1222222222221221
94 -2 B . . . . . . . . . . . . . . . . . . . . 1222222222211221
95 -3 B . . . . . . . . . . . . . . . . . . . . 1222222222111221
96 -4 B . . . . . . . . . . . . . . . . . . . . 1222222221111221
97 -5 B . . . . . . . . . . . . . . . . . . . . 1222222211111221
98 -6 B . . . . . . . . . . . . . . . . . . . . 1222222111111221
99 -7 B . . . . . . . . . . . . . . . . . . . . 1222221111111221
100 -8 B . . . . . . . . . . . . . . . . . . . . 1222211111111221
101 -9 B . . . . . . . . . . . . . . . . . . . . 1222111111111221
102 -10 B . . . . . . . . . . . . . . . . . . . . 1221111111111221
103 -11 B . . . . . . . . . . . . . . . . . . . . 1211111111111221
104 -12 B . . . . . . . . . . . . . . . . . . . . 1111111111111221
105 -11 B . . . . . . . . . . . . . . . . . . . . 2111111111111221
106 -10 B . . . . . . . . . . . . . . . . . . . . 2211111111111221
107 -9 B . . . . . . . . . . . . . . . . . . . . 2221111111111221
108 -8 B . . . . . . . . . . . . . . . . . . . . 2222111111111221
109 -7 B . . . . . . . . . . . . . . . . . . . . 2222211111111221
110 -6 B . . . . . . . . . . . . . . . . . . . . 2222221111111221
111 -5 B . . . . . . . . . . . . . . . . . . . . 2222222111111221
112 -4 B . . . . . . . . . . . . . . . . . . . . 2222222211111221
113 -3 B . . . . . . . . . . . . . . . . . . . . 2222222221111221
114 -2 B . . . . . . . . . . . . . . . . . . . . 2222222222111221
115 -1 B . . . . . . . . . . . . . . . . . . . . 2222222222211221
116 0 B . . . . . . . . . . . . . . . . . . . . 2222222222221221
117 1 B . . . . . . . . . . . . . . . . . . . . 2222222222222221
118 0 B . . . . . . . . . . . . . . . . . . . . 2222222222222121
119 -1 B . . . . . . . . . . . . . . . . . . . . 2222222222221121
120 -2 B . . . . . . . . . . . . . . . . . . . . 2222222222211121
121 -3 B . . . . . . . . . . . . . . . . . . . . 2222222222111121
122 -4 B . . . . . . . . . . . . . . . . . . . . 2222222221111121
123 -5 B . . . . . . . . . . . . . . . . . . . . 2222222211111121
124 -6 B . . . . . . . . . . . . . . . . . . . . 2222222111111121
125 -7 B . . . . . . . . . . . . . . . . . . . . 2222221111111121
126 -8 B . . . . . . . . . . . . . . . . . . . . 2222211111111121
127 -9 B . . . . . . . . . . . . . . . . . . . . 2222111111111121
128 -10 B . . . . . . . . . . . . . . . . . . . . 2221111111111121
129 -11 B . . . . . . . . . . . . . . . . . . . . 2211111111111121
130 -12 B . . . . . . . . . . . . . . . . . . . . 2111111111111121
131 -13 B . . . . . . . . . . . . . . . . . . . .01111111111111121
132 -14 C . . . . . . . . . . . . . . . . . . . 011111111111111121
133 -15 A . . . . . . . . . . . . . . . . . . .0111111111111111121
134 -14 B . . . . . . . . . . . . . . . . . . .1111111111111111121
135 -13 B . . . . . . . . . . . . . . . . . . .1211111111111111121
136 -12 B . . . . . . . . . . . . . . . . . . .1221111111111111121
137 -11 B . . . . . . . . . . . . . . . . . . .1222111111111111121
138 -10 B . . . . . . . . . . . . . . . . . . .1222211111111111121
139 -9 B . . . . . . . . . . . . . . . . . . .1222221111111111121
140 -8 B . . . . . . . . . . . . . . . . . . .1222222111111111121
141 -7 B . . . . . . . . . . . . . . . . . . .1222222211111111121
142 -6 B . . . . . . . . . . . . . . . . . . .1222222221111111121
143 -5 B . . . . . . . . . . . . . . . . . . .1222222222111111121
144 -4 B . . . . . . . . . . . . . . . . . . .1222222222211111121
145 -3 B . . . . . . . . . . . . . . . . . . .1222222222221111121
146 -2 B . . . . . . . . . . . . . . . . . . .1222222222222111121
147 -1 B . . . . . . . . . . . . . . . . . . .1222222222222211121
148 0 B . . . . . . . . . . . . . . . . . . .1222222222222221121
149 1 B . . . . . . . . . . . . . . . . . . .1222222222222222121
150 2 B . . . . . . . . . . . . . . . . . . .1222222222222222221
151 1 B . . . . . . . . . . . . . . . . . . .1222222222222222211
152 0 B . . . . . . . . . . . . . . . . . . .1222222222222222111
153 -1 B . . . . . . . . . . . . . . . . . . .1222222222222221111
154 -2 B . . . . . . . . . . . . . . . . . . .1222222222222211111
155 -3 B . . . . . . . . . . . . . . . . . . .1222222222222111111
156 -4 B . . . . . . . . . . . . . . . . . . .1222222222221111111
157 -5 B . . . . . . . . . . . . . . . . . . .1222222222211111111
158 -6 B . . . . . . . . . . . . . . . . . . .1222222222111111111
159 -7 B . . . . . . . . . . . . . . . . . . .1222222221111111111
160 -8 B . . . . . . . . . . . . . . . . . . .1222222211111111111
161 -9 B . . . . . . . . . . . . . . . . . . .1222222111111111111
162 -10 B . . . . . . . . . . . . . . . . . . .1222221111111111111
163 -11 B . . . . . . . . . . . . . . . . . . .1222211111111111111
164 -12 B . . . . . . . . . . . . . . . . . . .1222111111111111111
165 -13 B . . . . . . . . . . . . . . . . . . .1221111111111111111
166 -14 B . . . . . . . . . . . . . . . . . . .1211111111111111111
167 -15 B . . . . . . . . . . . . . . . . . . .1111111111111111111
168 -14 B . . . . . . . . . . . . . . . . . . .2111111111111111111
169 -13 B . . . . . . . . . . . . . . . . . . .2211111111111111111
170 -12 B . . . . . . . . . . . . . . . . . . .2221111111111111111
171 -11 B . . . . . . . . . . . . . . . . . . .2222111111111111111
172 -10 B . . . . . . . . . . . . . . . . . . .2222211111111111111
173 -9 B . . . . . . . . . . . . . . . . . . .2222221111111111111
174 -8 B . . . . . . . . . . . . . . . . . . .2222222111111111111
175 -7 B . . . . . . . . . . . . . . . . . . .2222222211111111111
176 -6 B . . . . . . . . . . . . . . . . . . .2222222221111111111
177 -5 B . . . . . . . . . . . . . . . . . . .2222222222111111111
178 -4 B . . . . . . . . . . . . . . . . . . .2222222222211111111
179 -3 B . . . . . . . . . . . . . . . . . . .2222222222221111111
180 -2 B . . . . . . . . . . . . . . . . . . .2222222222222111111
181 -1 B . . . . . . . . . . . . . . . . . . .2222222222222211111
182 0 B . . . . . . . . . . . . . . . . . . .2222222222222221111
183 1 B . . . . . . . . . . . . . . . . . . .2222222222222222111
184 2 B . . . . . . . . . . . . . . . . . . .2222222222222222211
185 3 B . . . . . . . . . . . . . . . . . . .2222222222222222221
186 4 B . . . . . . . . . . . . . . . . . . .22222222222222222220
187 3 C . . . . . . . . . . . . . . . . . . .22222222222222222221
188 2 A . . . . . . . . . . . . . . . . . . .22222222222222222221
189 1 C . . . . . . . . . . . . . . . . . . .22222222222222222221
190 0 A . . . . . . . . . . . . . . . . . . .22222222222222222221
191 -1 C . . . . . . . . . . . . . . . . . . .22222222222222222221
192 -2 A . . . . . . . . . . . . . . . . . . .22222222222222222221
193 -3 C . . . . . . . . . . . . . . . . . . .22222222222222222221
194 -4 A . . . . . . . . . . . . . . . . . . .22222222222222222221
195 -5 C . . . . . . . . . . . . . . . . . . .22222222222222222221
196 -6 A . . . . . . . . . . . . . . . . . . .22222222222222222221
197 -7 C . . . . . . . . . . . . . . . . . . .22222222222222222221
198 -8 A . . . . . . . . . . . . . . . . . . .22222222222222222221
199 -9 C . . . . . . . . . . . . . . . . . . .22222222222222222221
200 -10 A . . . . . . . . . . . . . . . . . . .22222222222222222221
After 200 steps (201 lines): state = A.
Produced 20 nonzeros.
Tape index -10, scanned [-15 .. 4].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 18 | 7 | 11 | 0 | 5 | ||
| B | 161 | 7 | 85 | 69 | 1 | 9 | 8 |
| C | 21 | 6 | 3 | 12 | 4 | 2 | 6 |