Comment: This TM produces 172,312,766,455 nonzeros in 7,069,449,877,176,007,352,687 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 | 1RB | 0RB | 4RA | 2LB | 2LA | 1 | right | B | 0 | right | B | 4 | right | A | 2 | left | B | 2 | left | A |
| B | 2LA | 1LB | 3RB | 4RA | 1RH | 2 | left | A | 1 | left | B | 3 | right | B | 4 | right | A | 1 | right | H |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-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 . . . 02
4 2 B . . . 030
5 1 A . . . 032
6 0 B . . . 022
7 -1 A . . .0222
8 0 B . . .1222
9 1 B . . .1322
10 2 B . . .1332
11 3 B . . .13330
12 2 A . . .13332
13 1 B . . .13322
14 2 A . . .13422
15 3 A . . .13442
16 4 A . . .134440
17 5 B . . .1344410
18 4 A . . .1344412
19 5 B . . .1344402
20 6 B . . .13444030
21 5 A . . .13444032
22 4 B . . .13444022
23 3 A . . .13444222
24 2 A . . .13442222
25 1 A . . .13422222
26 0 A . . .13222222
27 -1 B . . .12222222
28 -2 B . . 012222222
29 -3 A . .0212222222
30 -2 B . .1212222222
31 -1 B . .1312222222
32 -2 B . .1312222222
33 -1 A . .1412222222
34 0 B . .1402222222
35 1 B . .1403222222
36 2 B . .1403322222
37 3 B . .1403332222
38 4 B . .1403333222
39 5 B . .1403333322
40 6 B . .1403333332
41 7 B . .14033333330
42 6 A . .14033333332
43 5 B . .14033333322
44 6 A . .14033333422
45 7 A . .14033333442
46 8 A . .140333334440
47 9 B . .1403333344410
48 8 A . .1403333344412
49 9 B . .1403333344402
50 10 B . .14033333444030
51 9 A . .14033333444032
52 8 B . .14033333444022
53 7 A . .14033333444222
54 6 A . .14033333442222
55 5 A . .14033333422222
56 4 A . .14033333222222
57 3 B . .14033332222222
58 4 A . .14033342222222
59 5 A . .14033344222222
60 6 A . .14033344422222
61 7 A . .14033344442222
62 8 A . .14033344444222
63 9 A . .14033344444422
64 10 A . .14033344444442
65 11 A . .140333444444440
66 12 B . .1403334444444410
67 11 A . .1403334444444412
68 12 B . .1403334444444402
69 13 B . .14033344444444030
70 12 A . .14033344444444032
71 11 B . .14033344444444022
72 10 A . .14033344444444222
73 9 A . .14033344444442222
74 8 A . .14033344444422222
75 7 A . .14033344444222222
76 6 A . .14033344442222222
77 5 A . .14033344422222222
78 4 A . .14033344222222222
79 3 A . .14033342222222222
80 2 A . .14033322222222222
81 1 B . .14033222222222222
82 2 A . .14034222222222222
83 3 A . .14034422222222222
84 4 A . .14034442222222222
85 5 A . .14034444222222222
86 6 A . .14034444422222222
87 7 A . .14034444442222222
88 8 A . .14034444444222222
89 9 A . .14034444444422222
90 10 A . .14034444444442222
91 11 A . .14034444444444222
92 12 A . .14034444444444422
93 13 A . .14034444444444442
94 14 A . .140344444444444440
95 15 B . .1403444444444444410
96 14 A . .1403444444444444412
97 15 B . .1403444444444444402
98 16 B . .14034444444444444030
99 15 A . .14034444444444444032
100 14 B . .14034444444444444022
101 13 A . .14034444444444444222
102 12 A . .14034444444444442222
103 11 A . .14034444444444422222
104 10 A . .14034444444444222222
105 9 A . .14034444444442222222
106 8 A . .14034444444422222222
107 7 A . .14034444444222222222
108 6 A . .14034444442222222222
109 5 A . .14034444422222222222
110 4 A . .14034444222222222222
111 3 A . .14034442222222222222
112 2 A . .14034422222222222222
113 1 A . .14034222222222222222
114 0 A . .14032222222222222222
115 -1 B . .14022222222222222222
116 -2 A . .14222222222222222222
117 -3 A . .12222222222222222222
118 -2 B . .02222222222222222222
119 -1 B . .03222222222222222222
120 0 B . .03322222222222222222
121 1 B . .03332222222222222222
122 2 B . .03333222222222222222
123 3 B . .03333322222222222222
124 4 B . .03333332222222222222
125 5 B . .03333333222222222222
126 6 B . .03333333322222222222
127 7 B . .03333333332222222222
128 8 B . .03333333333222222222
129 9 B . .03333333333322222222
130 10 B . .03333333333332222222
131 11 B . .03333333333333222222
132 12 B . .03333333333333322222
133 13 B . .03333333333333332222
134 14 B . .03333333333333333222
135 15 B . .03333333333333333322
136 16 B . .03333333333333333332
137 17 B . .033333333333333333330
138 16 A . .033333333333333333332
139 15 B . .033333333333333333322
140 16 A . .033333333333333333422
141 17 A . .033333333333333333442
142 18 A . .0333333333333333334440
143 19 B . .03333333333333333344410
144 18 A . .03333333333333333344412
145 19 B . .03333333333333333344402
146 20 B . .033333333333333333444030
147 19 A . .033333333333333333444032
148 18 B . .033333333333333333444022
149 17 A . .033333333333333333444222
150 16 A . .033333333333333333442222
151 15 A . .033333333333333333422222
152 14 A . .033333333333333333222222
153 13 B . .033333333333333332222222
154 14 A . .033333333333333342222222
155 15 A . .033333333333333344222222
156 16 A . .033333333333333344422222
157 17 A . .033333333333333344442222
158 18 A . .033333333333333344444222
159 19 A . .033333333333333344444422
160 20 A . .033333333333333344444442
161 21 A . .0333333333333333444444440
162 22 B . .03333333333333334444444410
163 21 A . .03333333333333334444444412
164 22 B . .03333333333333334444444402
165 23 B . .033333333333333344444444030
166 22 A . .033333333333333344444444032
167 21 B . .033333333333333344444444022
168 20 A . .033333333333333344444444222
169 19 A . .033333333333333344444442222
170 18 A . .033333333333333344444422222
171 17 A . .033333333333333344444222222
172 16 A . .033333333333333344442222222
173 15 A . .033333333333333344422222222
174 14 A . .033333333333333344222222222
175 13 A . .033333333333333342222222222
176 12 A . .033333333333333322222222222
177 11 B . .033333333333333222222222222
178 12 A . .033333333333334222222222222
179 13 A . .033333333333334422222222222
180 14 A . .033333333333334442222222222
181 15 A . .033333333333334444222222222
182 16 A . .033333333333334444422222222
183 17 A . .033333333333334444442222222
184 18 A . .033333333333334444444222222
185 19 A . .033333333333334444444422222
186 20 A . .033333333333334444444442222
187 21 A . .033333333333334444444444222
188 22 A . .033333333333334444444444422
189 23 A . .033333333333334444444444442
190 24 A . .0333333333333344444444444440
191 25 B . .03333333333333444444444444410
192 24 A . .03333333333333444444444444412
193 25 B . .03333333333333444444444444402
194 26 B . .033333333333334444444444444030
195 25 A . .033333333333334444444444444032
196 24 B . .033333333333334444444444444022
197 23 A . .033333333333334444444444444222
198 22 A . .033333333333334444444444442222
199 21 A . .033333333333334444444444422222
200 20 A . .033333333333334444444444222222
After 200 steps (201 lines): state = A.
Produced 29 nonzeros.
Tape index 20, scanned [-3 .. 26].
| 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 | 123 | 10 | 10 | 44 | 17 | 42 | 0 | 2 | 14 | 5 | 23 |
| B | 77 | 29 | 2 | 38 | 8 | 1 | 27 | 3 | 13 | ||