Comment: This TM produces 2,576,467 nonzeros in 3,793,261,759,791 steps. Comment: Same result with B4->B3L 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 | A3R | B4L | A2R | A3L | 1 | right | B | 3 | right | A | 4 | left | B | 2 | right | A | 3 | left | A |
| B | A2L | Z2L | B4R | B4R | B2L | 2 | left | A | 2 | left | Z | 4 | right | B | 4 | right | B | 2 | left | B |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-macro machine.
The same TM as bck-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 A . . . . . 32
4 0 B . . . . . 34
5 1 B . . . . . 44
6 0 B . . . . . 42
7 -1 B . . . . .022
8 -2 A . . . . 0222
9 -1 B . . . . 1222
10 0 B . . . . 1422
11 1 B . . . . 1442
12 2 B . . . . 14440
13 1 A . . . . 14442
14 0 A . . . . 14432
15 -1 A . . . . 14332
16 -2 A . . . . 13332
17 -1 A . . . . 33332
18 0 A . . . . 32332
19 1 A . . . . 32232
20 2 A . . . . 32222
21 1 B . . . . 32224
22 2 B . . . . 32244
23 1 B . . . . 32242
24 0 B . . . . 32222
25 1 B . . . . 32422
26 2 B . . . . 32442
27 3 B . . . . 324440
28 2 A . . . . 324442
29 1 A . . . . 324432
30 0 A . . . . 324332
31 -1 A . . . . 323332
32 -2 B . . . . 343332
33 -1 B . . . . 443332
34 -2 B . . . . 423332
35 -3 B . . . .0223332
36 -4 A . . . 02223332
37 -3 B . . . 12223332
38 -2 B . . . 14223332
39 -1 B . . . 14423332
40 0 B . . . 14443332
41 1 B . . . 14444332
42 2 B . . . 14444432
43 3 B . . . 14444442
44 4 B . . . 144444440
45 3 A . . . 144444442
46 2 A . . . 144444432
47 1 A . . . 144444332
48 0 A . . . 144443332
49 -1 A . . . 144433332
50 -2 A . . . 144333332
51 -3 A . . . 143333332
52 -4 A . . . 133333332
53 -3 A . . . 333333332
54 -2 A . . . 323333332
55 -1 A . . . 322333332
56 0 A . . . 322233332
57 1 A . . . 322223332
58 2 A . . . 322222332
59 3 A . . . 322222232
60 4 A . . . 322222222
61 3 B . . . 322222224
62 4 B . . . 322222244
63 3 B . . . 322222242
64 2 B . . . 322222222
65 3 B . . . 322222422
66 4 B . . . 322222442
67 5 B . . . 3222224440
68 4 A . . . 3222224442
69 3 A . . . 3222224432
70 2 A . . . 3222224332
71 1 A . . . 3222223332
72 0 B . . . 3222243332
73 1 B . . . 3222443332
74 0 B . . . 3222423332
75 -1 B . . . 3222223332
76 0 B . . . 3224223332
77 1 B . . . 3224423332
78 2 B . . . 3224443332
79 3 B . . . 3224444332
80 4 B . . . 3224444432
81 5 B . . . 3224444442
82 6 B . . . 32244444440
83 5 A . . . 32244444442
84 4 A . . . 32244444432
85 3 A . . . 32244444332
86 2 A . . . 32244443332
87 1 A . . . 32244433332
88 0 A . . . 32244333332
89 -1 A . . . 32243333332
90 -2 A . . . 32233333332
91 -3 B . . . 32433333332
92 -2 B . . . 34433333332
93 -3 B . . . 34233333332
94 -4 B . . . 32233333332
95 -3 B . . . 42233333332
96 -2 B . . . 44233333332
97 -1 B . . . 44433333332
98 0 B . . . 44443333332
99 1 B . . . 44444333332
100 2 B . . . 44444433332
101 3 B . . . 44444443332
102 4 B . . . 44444444332
103 5 B . . . 44444444432
104 6 B . . . 44444444442
105 7 B . . . 444444444440
106 6 A . . . 444444444442
107 5 A . . . 444444444432
108 4 A . . . 444444444332
109 3 A . . . 444444443332
110 2 A . . . 444444433332
111 1 A . . . 444444333332
112 0 A . . . 444443333332
113 -1 A . . . 444433333332
114 -2 A . . . 444333333332
115 -3 A . . . 443333333332
116 -4 A . . . 433333333332
117 -5 A . . .0333333333332
118 -4 B . . .1333333333332
119 -3 B . . .1433333333332
120 -2 B . . .1443333333332
121 -1 B . . .1444333333332
122 0 B . . .1444433333332
123 1 B . . .1444443333332
124 2 B . . .1444444333332
125 3 B . . .1444444433332
126 4 B . . .1444444443332
127 5 B . . .1444444444332
128 6 B . . .1444444444432
129 7 B . . .1444444444442
130 8 B . . .14444444444440
131 7 A . . .14444444444442
132 6 A . . .14444444444432
133 5 A . . .14444444444332
134 4 A . . .14444444443332
135 3 A . . .14444444433332
136 2 A . . .14444444333332
137 1 A . . .14444443333332
138 0 A . . .14444433333332
139 -1 A . . .14444333333332
140 -2 A . . .14443333333332
141 -3 A . . .14433333333332
142 -4 A . . .14333333333332
143 -5 A . . .13333333333332
144 -4 A . . .33333333333332
145 -3 A . . .32333333333332
146 -2 A . . .32233333333332
147 -1 A . . .32223333333332
148 0 A . . .32222333333332
149 1 A . . .32222233333332
150 2 A . . .32222223333332
151 3 A . . .32222222333332
152 4 A . . .32222222233332
153 5 A . . .32222222223332
154 6 A . . .32222222222332
155 7 A . . .32222222222232
156 8 A . . .32222222222222
157 7 B . . .32222222222224
158 8 B . . .32222222222244
159 7 B . . .32222222222242
160 6 B . . .32222222222222
161 7 B . . .32222222222422
162 8 B . . .32222222222442
163 9 B . . .322222222224440
164 8 A . . .322222222224442
165 7 A . . .322222222224432
166 6 A . . .322222222224332
167 5 A . . .322222222223332
168 4 B . . .322222222243332
169 5 B . . .322222222443332
170 4 B . . .322222222423332
171 3 B . . .322222222223332
172 4 B . . .322222224223332
173 5 B . . .322222224423332
174 6 B . . .322222224443332
175 7 B . . .322222224444332
176 8 B . . .322222224444432
177 9 B . . .322222224444442
178 10 B . . .3222222244444440
179 9 A . . .3222222244444442
180 8 A . . .3222222244444432
181 7 A . . .3222222244444332
182 6 A . . .3222222244443332
183 5 A . . .3222222244433332
184 4 A . . .3222222244333332
185 3 A . . .3222222243333332
186 2 A . . .3222222233333332
187 1 B . . .3222222433333332
188 2 B . . .3222224433333332
189 1 B . . .3222224233333332
190 0 B . . .3222222233333332
191 1 B . . .3222242233333332
192 2 B . . .3222244233333332
193 3 B . . .3222244433333332
194 4 B . . .3222244443333332
195 5 B . . .3222244444333332
196 6 B . . .3222244444433332
197 7 B . . .3222244444443332
198 8 B . . .3222244444444332
199 9 B . . .3222244444444432
200 10 B . . .3222244444444442
After 200 steps (201 lines): state = B.
Produced 16 nonzeros.
Tape index 10, scanned [-5 .. 10].
| 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 | 95 | 4 | 4 | 9 | 22 | 56 | 0 | 2 | 3 | 17 | 13 |
| B | 105 | 12 | 38 | 37 | 18 | 1 | 9 | 4 | 5 | ||