Comment: This TM produces 458,357 nonzeros in 233,431,192,481 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 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | B3R | B3R | A1L | B3L | 1 | right | B | 3 | right | B | 3 | right | B | 1 | left | A | 3 | left | B |
| B | A2L | A3R | B4L | A2R | Z1R | 2 | left | A | 3 | right | A | 4 | left | B | 2 | right | A | 1 | right | Z |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 10
2 0 A . . . . . 12
3 1 B . . . . . 32
4 0 B . . . . . 34
5 1 A . . . . . 24
6 0 B . . . . . 23
7 -1 B . . . . .043
8 -2 A . . . . 0243
9 -1 B . . . . 1243
10 -2 B . . . . 1443
11 -1 A . . . . 3443
12 -2 B . . . . 3343
13 -1 A . . . . 2343
14 -2 A . . . . 2143
15 -1 B . . . . 3143
16 0 A . . . . 3343
17 -1 B . . . . 3333
18 0 A . . . . 3233
19 -1 A . . . . 3213
20 0 B . . . . 3313
21 1 A . . . . 3333
22 0 A . . . . 3331
23 -1 A . . . . 3311
24 -2 A . . . . 3111
25 -3 A . . . .01111
26 -2 B . . . .11111
27 -1 A . . . .13111
28 0 B . . . .13311
29 1 A . . . .13331
30 2 B . . . .133330
31 1 A . . . .133332
32 0 A . . . .133312
33 -1 A . . . .133112
34 -2 A . . . .131112
35 -3 A . . . .111112
36 -2 B . . . .311112
37 -1 A . . . .331112
38 0 B . . . .333112
39 1 A . . . .333312
40 2 B . . . .333332
41 1 B . . . .333334
42 2 A . . . .333324
43 1 B . . . .333323
44 0 B . . . .333343
45 1 A . . . .333243
46 0 B . . . .333233
47 -1 B . . . .333433
48 0 A . . . .332433
49 -1 B . . . .332333
50 -2 B . . . .334333
51 -1 A . . . .324333
52 -2 B . . . .323333
53 -3 B . . . .343333
54 -2 A . . . .243333
55 -3 B . . . .233333
56 -4 B . . . 0433333
57 -5 A . . .02433333
58 -4 B . . .12433333
59 -5 B . . .14433333
60 -4 A . . .34433333
61 -5 B . . .33433333
62 -4 A . . .23433333
63 -5 A . . .21433333
64 -4 B . . .31433333
65 -3 A . . .33433333
66 -4 B . . .33333333
67 -3 A . . .32333333
68 -4 A . . .32133333
69 -3 B . . .33133333
70 -2 A . . .33333333
71 -3 A . . .33313333
72 -4 A . . .33113333
73 -5 A . . .31113333
74 -6 A . . 011113333
75 -5 B . . 111113333
76 -4 A . . 131113333
77 -3 B . . 133113333
78 -2 A . . 133313333
79 -1 B . . 133333333
80 0 A . . 133332333
81 -1 A . . 133332133
82 0 B . . 133333133
83 1 A . . 133333333
84 0 A . . 133333313
85 -1 A . . 133333113
86 -2 A . . 133331113
87 -3 A . . 133311113
88 -4 A . . 133111113
89 -5 A . . 131111113
90 -6 A . . 111111113
91 -5 B . . 311111113
92 -4 A . . 331111113
93 -3 B . . 333111113
94 -2 A . . 333311113
95 -1 B . . 333331113
96 0 A . . 333333113
97 1 B . . 333333313
98 2 A . . 333333333
99 1 A . . 333333331
100 0 A . . 333333311
101 -1 A . . 333333111
102 -2 A . . 333331111
103 -3 A . . 333311111
104 -4 A . . 333111111
105 -5 A . . 331111111
106 -6 A . . 311111111
107 -7 A . .0111111111
108 -6 B . .1111111111
109 -5 A . .1311111111
110 -4 B . .1331111111
111 -3 A . .1333111111
112 -2 B . .1333311111
113 -1 A . .1333331111
114 0 B . .1333333111
115 1 A . .1333333311
116 2 B . .1333333331
117 3 A . .13333333330
118 4 B . .133333333310
119 3 A . .133333333312
120 4 B . .133333333332
121 3 B . .133333333334
122 4 A . .133333333324
123 3 B . .133333333323
124 2 B . .133333333343
125 3 A . .133333333243
126 2 B . .133333333233
127 1 B . .133333333433
128 2 A . .133333332433
129 1 B . .133333332333
130 0 B . .133333334333
131 1 A . .133333324333
132 0 B . .133333323333
133 -1 B . .133333343333
134 0 A . .133333243333
135 -1 B . .133333233333
136 -2 B . .133333433333
137 -1 A . .133332433333
138 -2 B . .133332333333
139 -3 B . .133334333333
140 -2 A . .133324333333
141 -3 B . .133323333333
142 -4 B . .133343333333
143 -3 A . .133243333333
144 -4 B . .133233333333
145 -5 B . .133433333333
146 -4 A . .132433333333
147 -5 B . .132333333333
148 -6 B . .134333333333
149 -5 A . .124333333333
150 -6 B . .123333333333
151 -7 B . .143333333333
152 -6 A . .343333333333
153 -7 B . .333333333333
154 -6 A . .233333333333
155 -7 A . .213333333333
156 -6 B . .313333333333
157 -5 A . .333333333333
158 -6 A . .331333333333
159 -7 A . .311333333333
160 -8 A . 0111333333333
161 -7 B . 1111333333333
162 -6 A . 1311333333333
163 -5 B . 1331333333333
164 -4 A . 1333333333333
165 -5 A . 1333133333333
166 -6 A . 1331133333333
167 -7 A . 1311133333333
168 -8 A . 1111133333333
169 -7 B . 3111133333333
170 -6 A . 3311133333333
171 -5 B . 3331133333333
172 -4 A . 3333133333333
173 -3 B . 3333333333333
174 -2 A . 3333323333333
175 -3 A . 3333321333333
176 -2 B . 3333331333333
177 -1 A . 3333333333333
178 -2 A . 3333333133333
179 -3 A . 3333331133333
180 -4 A . 3333311133333
181 -5 A . 3333111133333
182 -6 A . 3331111133333
183 -7 A . 3311111133333
184 -8 A . 3111111133333
185 -9 A .01111111133333
186 -8 B .11111111133333
187 -7 A .13111111133333
188 -6 B .13311111133333
189 -5 A .13331111133333
190 -4 B .13333111133333
191 -3 A .13333311133333
192 -2 B .13333331133333
193 -1 A .13333333133333
194 0 B .13333333333333
195 1 A .13333333323333
196 0 A .13333333321333
197 1 B .13333333331333
198 2 A .13333333333333
199 1 A .13333333333133
200 0 A .13333333331133
After 200 steps (201 lines): state = A.
Produced 14 nonzeros.
Tape index 0, scanned [-9 .. 4].
| State | Count | Execution count | First in step | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
| A | 116 | 9 | 25 | 8 | 53 | 21 | 0 | 2 | 14 | 13 | 5 |
| B | 84 | 5 | 34 | 21 | 24 | 1 | 10 | 3 | 4 | ||