Comment: This TM produces 1,194,050,967 nonzeros in 339,466,124,499,007,214 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 | 3RB | 3RA | 1RH | 2LB | 1 | right | B | 3 | right | B | 3 | right | A | 1 | right | H | 2 | left | B |
| B | 2LA | 4RA | 4RB | 2LB | 0RA | 2 | left | A | 4 | right | A | 4 | right | B | 2 | left | B | 0 | right | A |
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 . . . 32
4 2 B . . . 340
5 1 A . . . 342
6 0 B . . . 322
7 -1 B . . .0222
8 -2 A . . 02222
9 -1 B . . 12222
10 0 B . . 14222
11 1 B . . 14422
12 2 B . . 14442
13 3 B . . 144440
14 2 A . . 144442
15 1 B . . 144422
16 2 A . . 144022
17 3 A . . 144032
18 4 A . . 1440330
19 5 B . . 14403310
20 4 A . . 14403312
21 5 B . . 14403332
22 6 B . . 144033340
23 5 A . . 144033342
24 4 B . . 144033322
25 3 B . . 144033222
26 2 B . . 144032222
27 1 B . . 144022222
28 0 A . . 144222222
29 -1 B . . 142222222
30 0 A . . 102222222
31 1 A . . 103222222
32 2 A . . 103322222
33 3 A . . 103332222
34 4 A . . 103333222
35 5 A . . 103333322
36 6 A . . 103333332
37 7 A . . 1033333330
38 8 B . . 10333333310
39 7 A . . 10333333312
40 8 B . . 10333333332
41 9 B . . 103333333340
42 8 A . . 103333333342
43 7 B . . 103333333322
44 6 B . . 103333333222
45 5 B . . 103333332222
46 4 B . . 103333322222
47 3 B . . 103333222222
48 2 B . . 103332222222
49 1 B . . 103322222222
50 0 B . . 103222222222
51 -1 B . . 102222222222
52 -2 A . . 122222222222
53 -1 B . . 322222222222
54 0 B . . 342222222222
55 1 B . . 344222222222
56 2 B . . 344422222222
57 3 B . . 344442222222
58 4 B . . 344444222222
59 5 B . . 344444422222
60 6 B . . 344444442222
61 7 B . . 344444444222
62 8 B . . 344444444422
63 9 B . . 344444444442
64 10 B . . 3444444444440
65 9 A . . 3444444444442
66 8 B . . 3444444444422
67 9 A . . 3444444444022
68 10 A . . 3444444444032
69 11 A . . 34444444440330
70 12 B . . 344444444403310
71 11 A . . 344444444403312
72 12 B . . 344444444403332
73 13 B . . 3444444444033340
74 12 A . . 3444444444033342
75 11 B . . 3444444444033322
76 10 B . . 3444444444033222
77 9 B . . 3444444444032222
78 8 B . . 3444444444022222
79 7 A . . 3444444444222222
80 6 B . . 3444444442222222
81 7 A . . 3444444402222222
82 8 A . . 3444444403222222
83 9 A . . 3444444403322222
84 10 A . . 3444444403332222
85 11 A . . 3444444403333222
86 12 A . . 3444444403333322
87 13 A . . 3444444403333332
88 14 A . . 34444444033333330
89 15 B . . 344444440333333310
90 14 A . . 344444440333333312
91 15 B . . 344444440333333332
92 16 B . . 3444444403333333340
93 15 A . . 3444444403333333342
94 14 B . . 3444444403333333322
95 13 B . . 3444444403333333222
96 12 B . . 3444444403333332222
97 11 B . . 3444444403333322222
98 10 B . . 3444444403333222222
99 9 B . . 3444444403332222222
100 8 B . . 3444444403322222222
101 7 B . . 3444444403222222222
102 6 B . . 3444444402222222222
103 5 A . . 3444444422222222222
104 4 B . . 3444444222222222222
105 5 A . . 3444440222222222222
106 6 A . . 3444440322222222222
107 7 A . . 3444440332222222222
108 8 A . . 3444440333222222222
109 9 A . . 3444440333322222222
110 10 A . . 3444440333332222222
111 11 A . . 3444440333333222222
112 12 A . . 3444440333333322222
113 13 A . . 3444440333333332222
114 14 A . . 3444440333333333222
115 15 A . . 3444440333333333322
116 16 A . . 3444440333333333332
117 17 A . . 34444403333333333330
118 18 B . . 344444033333333333310
119 17 A . . 344444033333333333312
120 18 B . . 344444033333333333332
121 19 B . . 3444440333333333333340
122 18 A . . 3444440333333333333342
123 17 B . . 3444440333333333333322
124 16 B . . 3444440333333333333222
125 15 B . . 3444440333333333332222
126 14 B . . 3444440333333333322222
127 13 B . . 3444440333333333222222
128 12 B . . 3444440333333332222222
129 11 B . . 3444440333333322222222
130 10 B . . 3444440333333222222222
131 9 B . . 3444440333332222222222
132 8 B . . 3444440333322222222222
133 7 B . . 3444440333222222222222
134 6 B . . 3444440332222222222222
135 5 B . . 3444440322222222222222
136 4 B . . 3444440222222222222222
137 3 A . . 3444442222222222222222
138 2 B . . 3444422222222222222222
139 3 A . . 3444022222222222222222
140 4 A . . 3444032222222222222222
141 5 A . . 3444033222222222222222
142 6 A . . 3444033322222222222222
143 7 A . . 3444033332222222222222
144 8 A . . 3444033333222222222222
145 9 A . . 3444033333322222222222
146 10 A . . 3444033333332222222222
147 11 A . . 3444033333333222222222
148 12 A . . 3444033333333322222222
149 13 A . . 3444033333333332222222
150 14 A . . 3444033333333333222222
151 15 A . . 3444033333333333322222
152 16 A . . 3444033333333333332222
153 17 A . . 3444033333333333333222
154 18 A . . 3444033333333333333322
155 19 A . . 3444033333333333333332
156 20 A . . 34440333333333333333330
157 21 B . . 344403333333333333333310
158 20 A . . 344403333333333333333312
159 21 B . . 344403333333333333333332
160 22 B . . 3444033333333333333333340
161 21 A . . 3444033333333333333333342
162 20 B . . 3444033333333333333333322
163 19 B . . 3444033333333333333333222
164 18 B . . 3444033333333333333332222
165 17 B . . 3444033333333333333322222
166 16 B . . 3444033333333333333222222
167 15 B . . 3444033333333333332222222
168 14 B . . 3444033333333333322222222
169 13 B . . 3444033333333333222222222
170 12 B . . 3444033333333332222222222
171 11 B . . 3444033333333322222222222
172 10 B . . 3444033333333222222222222
173 9 B . . 3444033333332222222222222
174 8 B . . 3444033333322222222222222
175 7 B . . 3444033333222222222222222
176 6 B . . 3444033332222222222222222
177 5 B . . 3444033322222222222222222
178 4 B . . 3444033222222222222222222
179 3 B . . 3444032222222222222222222
180 2 B . . 3444022222222222222222222
181 1 A . . 3444222222222222222222222
182 0 B . . 3442222222222222222222222
183 1 A . . 3402222222222222222222222
184 2 A . . 3403222222222222222222222
185 3 A . . 3403322222222222222222222
186 4 A . . 3403332222222222222222222
187 5 A . . 3403333222222222222222222
188 6 A . . 3403333322222222222222222
189 7 A . . 3403333332222222222222222
190 8 A . . 3403333333222222222222222
191 9 A . . 3403333333322222222222222
192 10 A . . 3403333333332222222222222
193 11 A . . 3403333333333222222222222
194 12 A . . 3403333333333322222222222
195 13 A . . 3403333333333332222222222
196 14 A . . 3403333333333333222222222
197 15 A . . 3403333333333333322222222
198 16 A . . 3403333333333333332222222
199 17 A . . 3403333333333333333222222
200 18 A . . 3403333333333333333322222
After 200 steps (201 lines): state = A.
Produced 24 nonzeros.
Tape index 18, scanned [-2 .. 22].
| 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 | 94 | 8 | 8 | 64 | 14 | 0 | 2 | 16 | 5 | ||
| B | 106 | 23 | 22 | 54 | 7 | 1 | 3 | 6 | 15 | ||