Comment: This TM produces 3685 nonzeros in 16268767 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 | 4RB | 2LA | 4LA | 4RA | 3LA | 4 | right | B | 2 | left | A | 4 | left | A | 4 | right | A | 3 | left | A |
| B | 1LA | 4LA | 4RA | 3RB | 3LH | 1 | left | A | 4 | left | A | 4 | right | A | 3 | right | B | 3 | left | 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 . . . . . 40
2 0 A . . . . . 41
3 -1 A . . . . .031
4 0 B . . . . .431
5 1 B . . . . .431
6 0 A . . . . .434
7 1 A . . . . .444
8 0 A . . . . .443
9 -1 A . . . . .433
10 -2 A . . . . 0333
11 -1 B . . . . 4333
12 0 B . . . . 4333
13 1 B . . . . 4333
14 2 B . . . . 43330
15 1 A . . . . 43331
16 2 A . . . . 43341
17 1 A . . . . 43342
18 0 A . . . . 43332
19 1 A . . . . 43432
20 2 A . . . . 43442
21 1 A . . . . 43444
22 0 A . . . . 43434
23 -1 A . . . . 43334
24 0 A . . . . 44334
25 1 A . . . . 44434
26 2 A . . . . 44444
27 1 A . . . . 44443
28 0 A . . . . 44433
29 -1 A . . . . 44333
30 -2 A . . . . 43333
31 -3 A . . . .033333
32 -2 B . . . .433333
33 -1 B . . . .433333
34 0 B . . . .433333
35 1 B . . . .433333
36 2 B . . . .433333
37 3 B . . . .4333330
38 2 A . . . .4333331
39 3 A . . . .4333341
40 2 A . . . .4333342
41 1 A . . . .4333332
42 2 A . . . .4333432
43 3 A . . . .4333442
44 2 A . . . .4333444
45 1 A . . . .4333434
46 0 A . . . .4333334
47 1 A . . . .4334334
48 2 A . . . .4334434
49 3 A . . . .4334444
50 2 A . . . .4334443
51 1 A . . . .4334433
52 0 A . . . .4334333
53 -1 A . . . .4333333
54 0 A . . . .4343333
55 1 A . . . .4344333
56 2 A . . . .4344433
57 3 A . . . .4344443
58 4 A . . . .43444440
59 5 B . . . .434444440
60 4 A . . . .434444441
61 3 A . . . .434444431
62 2 A . . . .434444331
63 1 A . . . .434443331
64 0 A . . . .434433331
65 -1 A . . . .434333331
66 -2 A . . . .433333331
67 -1 A . . . .443333331
68 0 A . . . .444333331
69 1 A . . . .444433331
70 2 A . . . .444443331
71 3 A . . . .444444331
72 4 A . . . .444444431
73 5 A . . . .444444441
74 4 A . . . .444444442
75 3 A . . . .444444432
76 2 A . . . .444444332
77 1 A . . . .444443332
78 0 A . . . .444433332
79 -1 A . . . .444333332
80 -2 A . . . .443333332
81 -3 A . . . .433333332
82 -4 A . . . 0333333332
83 -3 B . . . 4333333332
84 -2 B . . . 4333333332
85 -1 B . . . 4333333332
86 0 B . . . 4333333332
87 1 B . . . 4333333332
88 2 B . . . 4333333332
89 3 B . . . 4333333332
90 4 B . . . 4333333332
91 5 B . . . 4333333332
92 6 A . . . 43333333340
93 7 B . . . 433333333440
94 6 A . . . 433333333441
95 5 A . . . 433333333431
96 4 A . . . 433333333331
97 5 A . . . 433333334331
98 6 A . . . 433333334431
99 7 A . . . 433333334441
100 6 A . . . 433333334442
101 5 A . . . 433333334432
102 4 A . . . 433333334332
103 3 A . . . 433333333332
104 4 A . . . 433333343332
105 5 A . . . 433333344332
106 6 A . . . 433333344432
107 7 A . . . 433333344442
108 6 A . . . 433333344444
109 5 A . . . 433333344434
110 4 A . . . 433333344334
111 3 A . . . 433333343334
112 2 A . . . 433333333334
113 3 A . . . 433333433334
114 4 A . . . 433333443334
115 5 A . . . 433333444334
116 6 A . . . 433333444434
117 7 A . . . 433333444444
118 6 A . . . 433333444443
119 5 A . . . 433333444433
120 4 A . . . 433333444333
121 3 A . . . 433333443333
122 2 A . . . 433333433333
123 1 A . . . 433333333333
124 2 A . . . 433334333333
125 3 A . . . 433334433333
126 4 A . . . 433334443333
127 5 A . . . 433334444333
128 6 A . . . 433334444433
129 7 A . . . 433334444443
130 8 A . . . 4333344444440
131 9 B . . . 43333444444440
132 8 A . . . 43333444444441
133 7 A . . . 43333444444431
134 6 A . . . 43333444444331
135 5 A . . . 43333444443331
136 4 A . . . 43333444433331
137 3 A . . . 43333444333331
138 2 A . . . 43333443333331
139 1 A . . . 43333433333331
140 0 A . . . 43333333333331
141 1 A . . . 43334333333331
142 2 A . . . 43334433333331
143 3 A . . . 43334443333331
144 4 A . . . 43334444333331
145 5 A . . . 43334444433331
146 6 A . . . 43334444443331
147 7 A . . . 43334444444331
148 8 A . . . 43334444444431
149 9 A . . . 43334444444441
150 8 A . . . 43334444444442
151 7 A . . . 43334444444432
152 6 A . . . 43334444444332
153 5 A . . . 43334444443332
154 4 A . . . 43334444433332
155 3 A . . . 43334444333332
156 2 A . . . 43334443333332
157 1 A . . . 43334433333332
158 0 A . . . 43334333333332
159 -1 A . . . 43333333333332
160 0 A . . . 43343333333332
161 1 A . . . 43344333333332
162 2 A . . . 43344433333332
163 3 A . . . 43344443333332
164 4 A . . . 43344444333332
165 5 A . . . 43344444433332
166 6 A . . . 43344444443332
167 7 A . . . 43344444444332
168 8 A . . . 43344444444432
169 9 A . . . 43344444444442
170 8 A . . . 43344444444444
171 7 A . . . 43344444444434
172 6 A . . . 43344444444334
173 5 A . . . 43344444443334
174 4 A . . . 43344444433334
175 3 A . . . 43344444333334
176 2 A . . . 43344443333334
177 1 A . . . 43344433333334
178 0 A . . . 43344333333334
179 -1 A . . . 43343333333334
180 -2 A . . . 43333333333334
181 -1 A . . . 43433333333334
182 0 A . . . 43443333333334
183 1 A . . . 43444333333334
184 2 A . . . 43444433333334
185 3 A . . . 43444443333334
186 4 A . . . 43444444333334
187 5 A . . . 43444444433334
188 6 A . . . 43444444443334
189 7 A . . . 43444444444334
190 8 A . . . 43444444444434
191 9 A . . . 43444444444444
192 8 A . . . 43444444444443
193 7 A . . . 43444444444433
194 6 A . . . 43444444444333
195 5 A . . . 43444444443333
196 4 A . . . 43444444433333
197 3 A . . . 43444444333333
198 2 A . . . 43444443333333
199 1 A . . . 43444433333333
200 0 A . . . 43444333333333
After 200 steps (201 lines): state = A.
Produced 14 nonzeros.
Tape index 0, scanned [-4 .. 9].
| 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 | 175 | 8 | 5 | 4 | 74 | 84 | 0 | 16 | 20 | 6 | 2 |
| B | 25 | 6 | 1 | 1 | 17 | 1 | 5 | 91 | 4 | ||