Comment: This TM produces >1.6x10^809 nonzeros in >7.7x10^1618 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 | 2RC | 1RA | 1 | right | B | 2 | right | C | 1 | right | A |
| B | 2LC | 1LA | 1LB | 2 | left | C | 1 | left | A | 1 | left | B |
| C | 2LD | 0LB | 0RC | 2 | left | D | 0 | left | B | 0 | right | C |
| D | 0RD | 1RH | 0RA | 0 | right | D | 1 | right | H | 0 | right | A |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 1 1 B>
2 0 1 <C 2
3 -1 <B 0 2
4 -2 <C 2 0 2
5 -3 <D 2 2 0 2
6 -2 D> 2 2 0 2
7 -1 A> 2 0 2
8 0 1 A> 0 2
9 1 1 1 B> 2
10 0 1 1 <B 1
11 -1 1 <A 1 1
12 0 2 C> 1 1
13 -1 2 <B 0 1
14 -2 <B 1 0 1
15 -3 <C 2 1 0 1
16 -4 <D 2 2 1 0 1
17 -3 D> 2 2 1 0 1
18 -2 A> 2 1 0 1
19 -1 1 A> 1 0 1
20 0 1 2 C> 0 1
21 -1 1 2 <D 2 1
22 0 1 0 A> 2 1
23 1 1 0 1 A> 1
24 2 1 0 1 2 C>
25 1 1 0 1 2 <D 2
26 2 1 0 1 0 A> 2
27 3 1 0 1 0 1 A>
28 4 1 0 1 0 1 1 B>
29 3 1 0 1 0 1 1 <C 2
30 2 1 0 1 0 1 <B 0 2
31 1 1 0 1 0 <A 1 0 2
32 2 1 0 1 1 B> 1 0 2
33 1 1 0 1 1 <A 1 0 2
34 2 1 0 1 2 C> 1 0 2
35 1 1 0 1 2 <B 0 0 2
36 0 1 0 1 <B 1 0 0 2
37 -1 1 0 <A 1 1 0 0 2
38 0 1 1 B> 1 1 0 0 2
39 -1 1 1 <A 1 1 0 0 2
40 0 1 2 C> 1 1 0 0 2
41 -1 1 2 <B 0 1 0 0 2
42 -2 1 <B 1 0 1 0 0 2
43 -3 <A 1 1 0 1 0 0 2
44 -2 1 B> 1 1 0 1 0 0 2
45 -3 1 <A 1 1 0 1 0 0 2
46 -2 2 C> 1 1 0 1 0 0 2
47 -3 2 <B 0 1 0 1 0 0 2
48 -4 <B 1 0 1 0 1 0 0 2
49 -5 <C 2 1 0 1 0 1 0 0 2
50 -6 <D 2 2 1 0 1 0 1 0 0 2
51 -5 D> 2 2 1 0 1 0 1 0 0 2
52 -4 A> 2 1 0 1 0 1 0 0 2
53 -3 1 A> 1 0 1 0 1 0 0 2
54 -2 1 2 C> 0 1 0 1 0 0 2
55 -3 1 2 <D 2 1 0 1 0 0 2
56 -2 1 0 A> 2 1 0 1 0 0 2
57 -1 1 0 1 A> 1 0 1 0 0 2
58 0 1 0 1 2 C> 0 1 0 0 2
59 -1 1 0 1 2 <D 2 1 0 0 2
60 0 1 0 1 0 A> 2 1 0 0 2
61 1 1 0 1 0 1 A> 1 0 0 2
62 2 1 0 1 0 1 2 C> 0 0 2
63 1 1 0 1 0 1 2 <D 2 0 2
64 2 1 0 1 0 1 0 A> 2 0 2
65 3 1 0 1 0 1 0 1 A> 0 2
66 4 1 0 1 0 1 0 1 1 B> 2
67 3 1 0 1 0 1 0 1 1 <B 1
68 2 1 0 1 0 1 0 1 <A 1 1
69 3 1 0 1 0 1 0 2 C> 1 1
70 2 1 0 1 0 1 0 2 <B 0 1
71 1 1 0 1 0 1 0 <B 1 0 1
72 0 1 0 1 0 1 <C 2 1 0 1
73 -1 1 0 1 0 <B 0 2 1 0 1
74 -2 1 0 1 <C 2 0 2 1 0 1
75 -3 1 0 <B 0 2 0 2 1 0 1
76 -4 1 <C 2 0 2 0 2 1 0 1
77 -5 <B 0 2 0 2 0 2 1 0 1
78 -6 <C 2 0 2 0 2 0 2 1 0 1
79 -7 <D 2 2 0 2 0 2 0 2 1 0 1
80 -6 D> 2 2 0 2 0 2 0 2 1 0 1
81 -5 A> 2 0 2 0 2 0 2 1 0 1
82 -4 1 A> 0 2 0 2 0 2 1 0 1
83 -3 1 1 B> 2 0 2 0 2 1 0 1
84 -4 1 1 <B 1 0 2 0 2 1 0 1
85 -5 1 <A 1 1 0 2 0 2 1 0 1
86 -4 2 C> 1 1 0 2 0 2 1 0 1
87 -5 2 <B 0 1 0 2 0 2 1 0 1
88 -6 <B 1 0 1 0 2 0 2 1 0 1
89 -7 <C 2 1 0 1 0 2 0 2 1 0 1
90 -8 <D 2 2 1 0 1 0 2 0 2 1 0 1
91 -7 D> 2 2 1 0 1 0 2 0 2 1 0 1
92 -6 A> 2 1 0 1 0 2 0 2 1 0 1
93 -5 1 A> 1 0 1 0 2 0 2 1 0 1
94 -4 1 2 C> 0 1 0 2 0 2 1 0 1
95 -5 1 2 <D 2 1 0 2 0 2 1 0 1
96 -4 1 0 A> 2 1 0 2 0 2 1 0 1
97 -3 1 0 1 A> 1 0 2 0 2 1 0 1
98 -2 1 0 1 2 C> 0 2 0 2 1 0 1
99 -3 1 0 1 2 <D 2 2 0 2 1 0 1
100 -2 1 0 1 0 A> 2 2 0 2 1 0 1
+ 102 0 1 0 1 0 1 1 A> 0 2 1 0 1
103 1 1 0 1 0 13 B> 2 1 0 1
104 0 1 0 1 0 13 <B 1 1 0 1
105 -1 1 0 1 0 1 1 <A 13 0 1
106 0 1 0 1 0 1 2 C> 13 0 1
107 -1 1 0 1 0 1 2 <B 0 1 1 0 1
108 -2 1 0 1 0 1 <B 1 0 1 1 0 1
109 -3 1 0 1 0 <A 1 1 0 1 1 0 1
110 -2 1 0 1 1 B> 1 1 0 1 1 0 1
111 -3 1 0 1 1 <A 1 1 0 1 1 0 1
112 -2 1 0 1 2 C> 1 1 0 1 1 0 1
113 -3 1 0 1 2 <B 0 1 0 1 1 0 1
114 -4 1 0 1 <B 1 0 1 0 1 1 0 1
115 -5 1 0 <A 1 1 0 1 0 1 1 0 1
116 -4 1 1 B> 1 1 0 1 0 1 1 0 1
117 -5 1 1 <A 1 1 0 1 0 1 1 0 1
118 -4 1 2 C> 1 1 0 1 0 1 1 0 1
119 -5 1 2 <B 0 1 0 1 0 1 1 0 1
120 -6 1 <B 1 0 1 0 1 0 1 1 0 1
121 -7 <A 1 1 0 1 0 1 0 1 1 0 1
122 -6 1 B> 1 1 0 1 0 1 0 1 1 0 1
123 -7 1 <A 1 1 0 1 0 1 0 1 1 0 1
124 -6 2 C> 1 1 0 1 0 1 0 1 1 0 1
125 -7 2 <B 0 1 0 1 0 1 0 1 1 0 1
126 -8 <B 1 0 1 0 1 0 1 0 1 1 0 1
127 -9 <C 2 1 0 1 0 1 0 1 0 1 1 0 1
128 -10 <D 2 2 1 0 1 0 1 0 1 0 1 1 0 1
129 -9 D> 2 2 1 0 1 0 1 0 1 0 1 1 0 1
130 -8 A> 2 1 0 1 0 1 0 1 0 1 1 0 1
131 -7 1 A> 1 0 1 0 1 0 1 0 1 1 0 1
132 -6 1 2 C> 0 1 0 1 0 1 0 1 1 0 1
133 -7 1 2 <D 2 1 0 1 0 1 0 1 1 0 1
134 -6 1 0 A> 2 1 0 1 0 1 0 1 1 0 1
135 -5 1 0 1 A> 1 0 1 0 1 0 1 1 0 1
136 -4 1 0 1 2 C> 0 1 0 1 0 1 1 0 1
137 -5 1 0 1 2 <D 2 1 0 1 0 1 1 0 1
138 -4 1 0 1 0 A> 2 1 0 1 0 1 1 0 1
139 -3 1 0 1 0 1 A> 1 0 1 0 1 1 0 1
140 -2 1 0 1 0 1 2 C> 0 1 0 1 1 0 1
141 -3 1 0 1 0 1 2 <D 2 1 0 1 1 0 1
142 -2 1 0 1 0 1 0 A> 2 1 0 1 1 0 1
143 -1 1 0 1 0 1 0 1 A> 1 0 1 1 0 1
144 0 1 0 1 0 1 0 1 2 C> 0 1 1 0 1
145 -1 1 0 1 0 1 0 1 2 <D 2 1 1 0 1
146 0 1 0 1 0 1 0 1 0 A> 2 1 1 0 1
147 1 1 0 1 0 1 0 1 0 1 A> 1 1 0 1
148 2 1 0 1 0 1 0 1 0 1 2 C> 1 0 1
149 1 1 0 1 0 1 0 1 0 1 2 <B 0 0 1
150 0 1 0 1 0 1 0 1 0 1 <B 1 0 0 1
151 -1 1 0 1 0 1 0 1 0 <A 1 1 0 0 1
152 0 1 0 1 0 1 0 1 1 B> 1 1 0 0 1
153 -1 1 0 1 0 1 0 1 1 <A 1 1 0 0 1
154 0 1 0 1 0 1 0 1 2 C> 1 1 0 0 1
155 -1 1 0 1 0 1 0 1 2 <B 0 1 0 0 1
156 -2 1 0 1 0 1 0 1 <B 1 0 1 0 0 1
157 -3 1 0 1 0 1 0 <A 1 1 0 1 0 0 1
158 -2 1 0 1 0 1 1 B> 1 1 0 1 0 0 1
159 -3 1 0 1 0 1 1 <A 1 1 0 1 0 0 1
160 -2 1 0 1 0 1 2 C> 1 1 0 1 0 0 1
161 -3 1 0 1 0 1 2 <B 0 1 0 1 0 0 1
162 -4 1 0 1 0 1 <B 1 0 1 0 1 0 0 1
163 -5 1 0 1 0 <A 1 1 0 1 0 1 0 0 1
164 -4 1 0 1 1 B> 1 1 0 1 0 1 0 0 1
165 -5 1 0 1 1 <A 1 1 0 1 0 1 0 0 1
166 -4 1 0 1 2 C> 1 1 0 1 0 1 0 0 1
167 -5 1 0 1 2 <B 0 1 0 1 0 1 0 0 1
168 -6 1 0 1 <B 1 0 1 0 1 0 1 0 0 1
169 -7 1 0 <A 1 1 0 1 0 1 0 1 0 0 1
170 -6 1 1 B> 1 1 0 1 0 1 0 1 0 0 1
171 -7 1 1 <A 1 1 0 1 0 1 0 1 0 0 1
172 -6 1 2 C> 1 1 0 1 0 1 0 1 0 0 1
173 -7 1 2 <B 0 1 0 1 0 1 0 1 0 0 1
174 -8 1 <B 1 0 1 0 1 0 1 0 1 0 0 1
175 -9 <A 1 1 0 1 0 1 0 1 0 1 0 0 1
176 -8 1 B> 1 1 0 1 0 1 0 1 0 1 0 0 1
177 -9 1 <A 1 1 0 1 0 1 0 1 0 1 0 0 1
178 -8 2 C> 1 1 0 1 0 1 0 1 0 1 0 0 1
179 -9 2 <B 0 1 0 1 0 1 0 1 0 1 0 0 1
180 -10 <B 1 0 1 0 1 0 1 0 1 0 1 0 0 1
181 -11 <C 2 1 0 1 0 1 0 1 0 1 0 1 0 0 1
182 -12 <D 2 2 1 0 1 0 1 0 1 0 1 0 1 0 0 1
183 -11 D> 2 2 1 0 1 0 1 0 1 0 1 0 1 0 0 1
184 -10 A> 2 1 0 1 0 1 0 1 0 1 0 1 0 0 1
185 -9 1 A> 1 0 1 0 1 0 1 0 1 0 1 0 0 1
186 -8 1 2 C> 0 1 0 1 0 1 0 1 0 1 0 0 1
187 -9 1 2 <D 2 1 0 1 0 1 0 1 0 1 0 0 1
188 -8 1 0 A> 2 1 0 1 0 1 0 1 0 1 0 0 1
189 -7 1 0 1 A> 1 0 1 0 1 0 1 0 1 0 0 1
190 -6 1 0 1 2 C> 0 1 0 1 0 1 0 1 0 0 1
191 -7 1 0 1 2 <D 2 1 0 1 0 1 0 1 0 0 1
192 -6 1 0 1 0 A> 2 1 0 1 0 1 0 1 0 0 1
193 -5 1 0 1 0 1 A> 1 0 1 0 1 0 1 0 0 1
194 -4 1 0 1 0 1 2 C> 0 1 0 1 0 1 0 0 1
195 -5 1 0 1 0 1 2 <D 2 1 0 1 0 1 0 0 1
196 -4 1 0 1 0 1 0 A> 2 1 0 1 0 1 0 0 1
197 -3 1 0 1 0 1 0 1 A> 1 0 1 0 1 0 0 1
198 -2 1 0 1 0 1 0 1 2 C> 0 1 0 1 0 0 1
199 -3 1 0 1 0 1 0 1 2 <D 2 1 0 1 0 0 1
200 -2 1 0 1 0 1 0 1 0 A> 2 1 0 1 0 0 1
201 -1 1 0 1 0 1 0 1 0 1 A> 1 0 1 0 0 1
After 201 steps (201 lines): state = A.
Produced 8 nonzeros.
Tape index -1, scanned [-12 .. 4].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 71 | 17 | 31 | 23 | 0 | 11 | 7 |
| B | 58 | 12 | 26 | 20 | 1 | 10 | 9 |
| C | 43 | 22 | 21 | 4 | 2 | ||
| D | 29 | 7 | 22 | 5 | 6 | ||