Comment: This TM produces 4,848,239 nonzeros in 14,103,258,269,249 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 | B3L | B4L | A4L | A2R | 1 | right | B | 3 | left | B | 4 | left | B | 4 | left | A | 2 | right | A |
| B | A2L | Z4L | B3R | A4R | B3R | 2 | left | A | 4 | left | Z | 3 | right | B | 4 | right | A | 3 | right | B |
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 . . .032
4 -2 A . . 0232
5 -1 B . . 1232
6 0 B . . 1332
7 1 A . . 1342
8 0 B . . 1344
9 1 B . . 1334
10 2 B . . 13330
11 1 A . . 13332
12 0 A . . 13342
13 -1 A . . 13442
14 -2 A . . 14442
15 -3 B . .034442
16 -4 A . 0234442
17 -3 B . 1234442
18 -2 B . 1334442
19 -1 A . 1344442
20 0 A . 1342442
21 1 A . 1342242
22 2 A . 1342222
23 1 B . 1342224
24 2 B . 1342234
25 3 B . 13422330
26 2 A . 13422332
27 1 A . 13422342
28 0 A . 13422442
29 -1 B . 13424442
30 0 B . 13434442
31 1 B . 13433442
32 2 B . 13433342
33 3 B . 13433332
34 4 B . 134333330
35 3 A . 134333332
36 2 A . 134333342
37 1 A . 134333442
38 0 A . 134334442
39 -1 A . 134344442
40 -2 A . 134444442
41 -1 A . 132444442
42 0 A . 132244442
43 1 A . 132224442
44 2 A . 132222442
45 3 A . 132222242
46 4 A . 132222222
47 3 B . 132222224
48 4 B . 132222234
49 5 B . 1322222330
50 4 A . 1322222332
51 3 A . 1322222342
52 2 A . 1322222442
53 1 B . 1322224442
54 2 B . 1322234442
55 3 B . 1322233442
56 4 B . 1322233342
57 5 B . 1322233332
58 6 B . 13222333330
59 5 A . 13222333332
60 4 A . 13222333342
61 3 A . 13222333442
62 2 A . 13222334442
63 1 A . 13222344442
64 0 A . 13222444442
65 -1 B . 13224444442
66 0 B . 13234444442
67 1 B . 13233444442
68 2 B . 13233344442
69 3 B . 13233334442
70 4 B . 13233333442
71 5 B . 13233333342
72 6 B . 13233333332
73 7 B . 132333333330
74 6 A . 132333333332
75 5 A . 132333333342
76 4 A . 132333333442
77 3 A . 132333334442
78 2 A . 132333344442
79 1 A . 132333444442
80 0 A . 132334444442
81 -1 A . 132344444442
82 -2 A . 132444444442
83 -3 B . 134444444442
84 -2 A . 144444444442
85 -1 A . 142444444442
86 0 A . 142244444442
87 1 A . 142224444442
88 2 A . 142222444442
89 3 A . 142222244442
90 4 A . 142222224442
91 5 A . 142222222442
92 6 A . 142222222242
93 7 A . 142222222222
94 6 B . 142222222224
95 7 B . 142222222234
96 8 B . 1422222222330
97 7 A . 1422222222332
98 6 A . 1422222222342
99 5 A . 1422222222442
100 4 B . 1422222224442
101 5 B . 1422222234442
102 6 B . 1422222233442
103 7 B . 1422222233342
104 8 B . 1422222233332
105 9 B . 14222222333330
106 8 A . 14222222333332
107 7 A . 14222222333342
108 6 A . 14222222333442
109 5 A . 14222222334442
110 4 A . 14222222344442
111 3 A . 14222222444442
112 2 B . 14222224444442
113 3 B . 14222234444442
114 4 B . 14222233444442
115 5 B . 14222233344442
116 6 B . 14222233334442
117 7 B . 14222233333442
118 8 B . 14222233333342
119 9 B . 14222233333332
120 10 B . 142222333333330
121 9 A . 142222333333332
122 8 A . 142222333333342
123 7 A . 142222333333442
124 6 A . 142222333334442
125 5 A . 142222333344442
126 4 A . 142222333444442
127 3 A . 142222334444442
128 2 A . 142222344444442
129 1 A . 142222444444442
130 0 B . 142224444444442
131 1 B . 142234444444442
132 2 B . 142233444444442
133 3 B . 142233344444442
134 4 B . 142233334444442
135 5 B . 142233333444442
136 6 B . 142233333344442
137 7 B . 142233333334442
138 8 B . 142233333333442
139 9 B . 142233333333342
140 10 B . 142233333333332
141 11 B . 1422333333333330
142 10 A . 1422333333333332
143 9 A . 1422333333333342
144 8 A . 1422333333333442
145 7 A . 1422333333334442
146 6 A . 1422333333344442
147 5 A . 1422333333444442
148 4 A . 1422333334444442
149 3 A . 1422333344444442
150 2 A . 1422333444444442
151 1 A . 1422334444444442
152 0 A . 1422344444444442
153 -1 A . 1422444444444442
154 -2 B . 1424444444444442
155 -1 B . 1434444444444442
156 0 B . 1433444444444442
157 1 B . 1433344444444442
158 2 B . 1433334444444442
159 3 B . 1433333444444442
160 4 B . 1433333344444442
161 5 B . 1433333334444442
162 6 B . 1433333333444442
163 7 B . 1433333333344442
164 8 B . 1433333333334442
165 9 B . 1433333333333442
166 10 B . 1433333333333342
167 11 B . 1433333333333332
168 12 B . 14333333333333330
169 11 A . 14333333333333332
170 10 A . 14333333333333342
171 9 A . 14333333333333442
172 8 A . 14333333333334442
173 7 A . 14333333333344442
174 6 A . 14333333333444442
175 5 A . 14333333334444442
176 4 A . 14333333344444442
177 3 A . 14333333444444442
178 2 A . 14333334444444442
179 1 A . 14333344444444442
180 0 A . 14333444444444442
181 -1 A . 14334444444444442
182 -2 A . 14344444444444442
183 -3 A . 14444444444444442
184 -2 A . 12444444444444442
185 -1 A . 12244444444444442
186 0 A . 12224444444444442
187 1 A . 12222444444444442
188 2 A . 12222244444444442
189 3 A . 12222224444444442
190 4 A . 12222222444444442
191 5 A . 12222222244444442
192 6 A . 12222222224444442
193 7 A . 12222222222444442
194 8 A . 12222222222244442
195 9 A . 12222222222224442
196 10 A . 12222222222222442
197 11 A . 12222222222222242
198 12 A . 12222222222222222
199 11 B . 12222222222222224
200 12 B . 12222222222222234
After 200 steps (201 lines): state = B.
Produced 17 nonzeros.
Tape index 12, scanned [-4 .. 12].
| 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 | 3 | 2 | 13 | 65 | 33 | 0 | 2 | 7 | 11 | 19 |
| B | 84 | 14 | 20 | 3 | 47 | 1 | 5 | 6 | 8 | ||