Comment: This TM produces 1,194,050,967 nonzeros in 339,466,124,499,007,251 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 | 3LA | 3LB | 0LB | 1RA | 1 | right | B | 3 | left | A | 3 | left | B | 0 | left | B | 1 | right | A |
| B | 2LA | 4LB | 4LA | 1RA | 1RH | 2 | left | A | 4 | left | B | 4 | left | A | 1 | 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 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .032
4 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .132
5 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .112
6 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .113
7 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .143
8 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 0443
9 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . . .02443
10 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . .12443
11 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . . .14443
12 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 034443
13 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . 134443
14 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . 114443
15 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . . 111443
16 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . 111143
17 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . 111113
18 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . 111110
19 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . 111140
20 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . 111440
21 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . 114440
22 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . . 144440
23 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . .0444440
24 -6 A . . . . . . . . . . . . . . . . . . . . . . . . . 02444440
25 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . 12444440
26 -6 A . . . . . . . . . . . . . . . . . . . . . . . . . 14444440
27 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .034444440
28 -6 B . . . . . . . . . . . . . . . . . . . . . . . . .134444440
29 -5 A . . . . . . . . . . . . . . . . . . . . . . . . .114444440
30 -4 A . . . . . . . . . . . . . . . . . . . . . . . . .111444440
31 -3 A . . . . . . . . . . . . . . . . . . . . . . . . .111144440
32 -2 A . . . . . . . . . . . . . . . . . . . . . . . . .111114440
33 -1 A . . . . . . . . . . . . . . . . . . . . . . . . .111111440
34 0 A . . . . . . . . . . . . . . . . . . . . . . . . .111111140
35 1 A . . . . . . . . . . . . . . . . . . . . . . . . .111111110
36 2 B . . . . . . . . . . . . . . . . . . . . . . . . .1111111110
37 1 A . . . . . . . . . . . . . . . . . . . . . . . . .1111111112
38 0 A . . . . . . . . . . . . . . . . . . . . . . . . .1111111132
39 -1 A . . . . . . . . . . . . . . . . . . . . . . . . .1111111332
40 -2 A . . . . . . . . . . . . . . . . . . . . . . . . .1111113332
41 -3 A . . . . . . . . . . . . . . . . . . . . . . . . .1111133332
42 -4 A . . . . . . . . . . . . . . . . . . . . . . . . .1111333332
43 -5 A . . . . . . . . . . . . . . . . . . . . . . . . .1113333332
44 -6 A . . . . . . . . . . . . . . . . . . . . . . . . .1133333332
45 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .1333333332
46 -8 A . . . . . . . . . . . . . . . . . . . . . . . . 03333333332
47 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 13333333332
48 -6 A . . . . . . . . . . . . . . . . . . . . . . . . 11333333332
49 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 11033333332
50 -8 B . . . . . . . . . . . . . . . . . . . . . . . . 14033333332
51 -9 B . . . . . . . . . . . . . . . . . . . . . . . .044033333332
52 -10 A . . . . . . . . . . . . . . . . . . . . . . . 0244033333332
53 -9 B . . . . . . . . . . . . . . . . . . . . . . . 1244033333332
54 -10 A . . . . . . . . . . . . . . . . . . . . . . . 1444033333332
55 -11 A . . . . . . . . . . . . . . . . . . . . . . .03444033333332
56 -10 B . . . . . . . . . . . . . . . . . . . . . . .13444033333332
57 -9 A . . . . . . . . . . . . . . . . . . . . . . .11444033333332
58 -8 A . . . . . . . . . . . . . . . . . . . . . . .11144033333332
59 -7 A . . . . . . . . . . . . . . . . . . . . . . .11114033333332
60 -6 A . . . . . . . . . . . . . . . . . . . . . . .11111033333332
61 -5 B . . . . . . . . . . . . . . . . . . . . . . .11111133333332
62 -4 A . . . . . . . . . . . . . . . . . . . . . . .11111113333332
63 -5 B . . . . . . . . . . . . . . . . . . . . . . .11111110333332
64 -6 B . . . . . . . . . . . . . . . . . . . . . . .11111140333332
65 -7 B . . . . . . . . . . . . . . . . . . . . . . .11111440333332
66 -8 B . . . . . . . . . . . . . . . . . . . . . . .11114440333332
67 -9 B . . . . . . . . . . . . . . . . . . . . . . .11144440333332
68 -10 B . . . . . . . . . . . . . . . . . . . . . . .11444440333332
69 -11 B . . . . . . . . . . . . . . . . . . . . . . .14444440333332
70 -12 B . . . . . . . . . . . . . . . . . . . . . . 044444440333332
71 -13 A . . . . . . . . . . . . . . . . . . . . . .0244444440333332
72 -12 B . . . . . . . . . . . . . . . . . . . . . .1244444440333332
73 -13 A . . . . . . . . . . . . . . . . . . . . . .1444444440333332
74 -14 A . . . . . . . . . . . . . . . . . . . . . 03444444440333332
75 -13 B . . . . . . . . . . . . . . . . . . . . . 13444444440333332
76 -12 A . . . . . . . . . . . . . . . . . . . . . 11444444440333332
77 -11 A . . . . . . . . . . . . . . . . . . . . . 11144444440333332
78 -10 A . . . . . . . . . . . . . . . . . . . . . 11114444440333332
79 -9 A . . . . . . . . . . . . . . . . . . . . . 11111444440333332
80 -8 A . . . . . . . . . . . . . . . . . . . . . 11111144440333332
81 -7 A . . . . . . . . . . . . . . . . . . . . . 11111114440333332
82 -6 A . . . . . . . . . . . . . . . . . . . . . 11111111440333332
83 -5 A . . . . . . . . . . . . . . . . . . . . . 11111111140333332
84 -4 A . . . . . . . . . . . . . . . . . . . . . 11111111110333332
85 -3 B . . . . . . . . . . . . . . . . . . . . . 11111111111333332
86 -2 A . . . . . . . . . . . . . . . . . . . . . 11111111111133332
87 -3 B . . . . . . . . . . . . . . . . . . . . . 11111111111103332
88 -4 B . . . . . . . . . . . . . . . . . . . . . 11111111111403332
89 -5 B . . . . . . . . . . . . . . . . . . . . . 11111111114403332
90 -6 B . . . . . . . . . . . . . . . . . . . . . 11111111144403332
91 -7 B . . . . . . . . . . . . . . . . . . . . . 11111111444403332
92 -8 B . . . . . . . . . . . . . . . . . . . . . 11111114444403332
93 -9 B . . . . . . . . . . . . . . . . . . . . . 11111144444403332
94 -10 B . . . . . . . . . . . . . . . . . . . . . 11111444444403332
95 -11 B . . . . . . . . . . . . . . . . . . . . . 11114444444403332
96 -12 B . . . . . . . . . . . . . . . . . . . . . 11144444444403332
97 -13 B . . . . . . . . . . . . . . . . . . . . . 11444444444403332
98 -14 B . . . . . . . . . . . . . . . . . . . . . 14444444444403332
99 -15 B . . . . . . . . . . . . . . . . . . . . .044444444444403332
100 -16 A . . . . . . . . . . . . . . . . . . . . 0244444444444403332
101 -15 B . . . . . . . . . . . . . . . . . . . . 1244444444444403332
102 -16 A . . . . . . . . . . . . . . . . . . . . 1444444444444403332
103 -17 A . . . . . . . . . . . . . . . . . . . .03444444444444403332
104 -16 B . . . . . . . . . . . . . . . . . . . .13444444444444403332
105 -15 A . . . . . . . . . . . . . . . . . . . .11444444444444403332
106 -14 A . . . . . . . . . . . . . . . . . . . .11144444444444403332
107 -13 A . . . . . . . . . . . . . . . . . . . .11114444444444403332
108 -12 A . . . . . . . . . . . . . . . . . . . .11111444444444403332
109 -11 A . . . . . . . . . . . . . . . . . . . .11111144444444403332
110 -10 A . . . . . . . . . . . . . . . . . . . .11111114444444403332
111 -9 A . . . . . . . . . . . . . . . . . . . .11111111444444403332
112 -8 A . . . . . . . . . . . . . . . . . . . .11111111144444403332
113 -7 A . . . . . . . . . . . . . . . . . . . .11111111114444403332
114 -6 A . . . . . . . . . . . . . . . . . . . .11111111111444403332
115 -5 A . . . . . . . . . . . . . . . . . . . .11111111111144403332
116 -4 A . . . . . . . . . . . . . . . . . . . .11111111111114403332
117 -3 A . . . . . . . . . . . . . . . . . . . .11111111111111403332
118 -2 A . . . . . . . . . . . . . . . . . . . .11111111111111103332
119 -1 B . . . . . . . . . . . . . . . . . . . .11111111111111113332
120 0 A . . . . . . . . . . . . . . . . . . . .11111111111111111332
121 -1 B . . . . . . . . . . . . . . . . . . . .11111111111111111032
122 -2 B . . . . . . . . . . . . . . . . . . . .11111111111111114032
123 -3 B . . . . . . . . . . . . . . . . . . . .11111111111111144032
124 -4 B . . . . . . . . . . . . . . . . . . . .11111111111111444032
125 -5 B . . . . . . . . . . . . . . . . . . . .11111111111114444032
126 -6 B . . . . . . . . . . . . . . . . . . . .11111111111144444032
127 -7 B . . . . . . . . . . . . . . . . . . . .11111111111444444032
128 -8 B . . . . . . . . . . . . . . . . . . . .11111111114444444032
129 -9 B . . . . . . . . . . . . . . . . . . . .11111111144444444032
130 -10 B . . . . . . . . . . . . . . . . . . . .11111111444444444032
131 -11 B . . . . . . . . . . . . . . . . . . . .11111114444444444032
132 -12 B . . . . . . . . . . . . . . . . . . . .11111144444444444032
133 -13 B . . . . . . . . . . . . . . . . . . . .11111444444444444032
134 -14 B . . . . . . . . . . . . . . . . . . . .11114444444444444032
135 -15 B . . . . . . . . . . . . . . . . . . . .11144444444444444032
136 -16 B . . . . . . . . . . . . . . . . . . . .11444444444444444032
137 -17 B . . . . . . . . . . . . . . . . . . . .14444444444444444032
138 -18 B . . . . . . . . . . . . . . . . . . . 044444444444444444032
139 -19 A . . . . . . . . . . . . . . . . . . .0244444444444444444032
140 -18 B . . . . . . . . . . . . . . . . . . .1244444444444444444032
141 -19 A . . . . . . . . . . . . . . . . . . .1444444444444444444032
142 -20 A . . . . . . . . . . . . . . . . . . 03444444444444444444032
143 -19 B . . . . . . . . . . . . . . . . . . 13444444444444444444032
144 -18 A . . . . . . . . . . . . . . . . . . 11444444444444444444032
145 -17 A . . . . . . . . . . . . . . . . . . 11144444444444444444032
146 -16 A . . . . . . . . . . . . . . . . . . 11114444444444444444032
147 -15 A . . . . . . . . . . . . . . . . . . 11111444444444444444032
148 -14 A . . . . . . . . . . . . . . . . . . 11111144444444444444032
149 -13 A . . . . . . . . . . . . . . . . . . 11111114444444444444032
150 -12 A . . . . . . . . . . . . . . . . . . 11111111444444444444032
151 -11 A . . . . . . . . . . . . . . . . . . 11111111144444444444032
152 -10 A . . . . . . . . . . . . . . . . . . 11111111114444444444032
153 -9 A . . . . . . . . . . . . . . . . . . 11111111111444444444032
154 -8 A . . . . . . . . . . . . . . . . . . 11111111111144444444032
155 -7 A . . . . . . . . . . . . . . . . . . 11111111111114444444032
156 -6 A . . . . . . . . . . . . . . . . . . 11111111111111444444032
157 -5 A . . . . . . . . . . . . . . . . . . 11111111111111144444032
158 -4 A . . . . . . . . . . . . . . . . . . 11111111111111114444032
159 -3 A . . . . . . . . . . . . . . . . . . 11111111111111111444032
160 -2 A . . . . . . . . . . . . . . . . . . 11111111111111111144032
161 -1 A . . . . . . . . . . . . . . . . . . 11111111111111111114032
162 0 A . . . . . . . . . . . . . . . . . . 11111111111111111111032
163 1 B . . . . . . . . . . . . . . . . . . 11111111111111111111132
164 2 A . . . . . . . . . . . . . . . . . . 11111111111111111111112
165 1 B . . . . . . . . . . . . . . . . . . 11111111111111111111113
166 0 B . . . . . . . . . . . . . . . . . . 11111111111111111111143
167 -1 B . . . . . . . . . . . . . . . . . . 11111111111111111111443
168 -2 B . . . . . . . . . . . . . . . . . . 11111111111111111114443
169 -3 B . . . . . . . . . . . . . . . . . . 11111111111111111144443
170 -4 B . . . . . . . . . . . . . . . . . . 11111111111111111444443
171 -5 B . . . . . . . . . . . . . . . . . . 11111111111111114444443
172 -6 B . . . . . . . . . . . . . . . . . . 11111111111111144444443
173 -7 B . . . . . . . . . . . . . . . . . . 11111111111111444444443
174 -8 B . . . . . . . . . . . . . . . . . . 11111111111114444444443
175 -9 B . . . . . . . . . . . . . . . . . . 11111111111144444444443
176 -10 B . . . . . . . . . . . . . . . . . . 11111111111444444444443
177 -11 B . . . . . . . . . . . . . . . . . . 11111111114444444444443
178 -12 B . . . . . . . . . . . . . . . . . . 11111111144444444444443
179 -13 B . . . . . . . . . . . . . . . . . . 11111111444444444444443
180 -14 B . . . . . . . . . . . . . . . . . . 11111114444444444444443
181 -15 B . . . . . . . . . . . . . . . . . . 11111144444444444444443
182 -16 B . . . . . . . . . . . . . . . . . . 11111444444444444444443
183 -17 B . . . . . . . . . . . . . . . . . . 11114444444444444444443
184 -18 B . . . . . . . . . . . . . . . . . . 11144444444444444444443
185 -19 B . . . . . . . . . . . . . . . . . . 11444444444444444444443
186 -20 B . . . . . . . . . . . . . . . . . . 14444444444444444444443
187 -21 B . . . . . . . . . . . . . . . . . .044444444444444444444443
188 -22 A . . . . . . . . . . . . . . . . . 0244444444444444444444443
189 -21 B . . . . . . . . . . . . . . . . . 1244444444444444444444443
190 -22 A . . . . . . . . . . . . . . . . . 1444444444444444444444443
191 -23 A . . . . . . . . . . . . . . . . .03444444444444444444444443
192 -22 B . . . . . . . . . . . . . . . . .13444444444444444444444443
193 -21 A . . . . . . . . . . . . . . . . .11444444444444444444444443
194 -20 A . . . . . . . . . . . . . . . . .11144444444444444444444443
195 -19 A . . . . . . . . . . . . . . . . .11114444444444444444444443
196 -18 A . . . . . . . . . . . . . . . . .11111444444444444444444443
197 -17 A . . . . . . . . . . . . . . . . .11111144444444444444444443
198 -16 A . . . . . . . . . . . . . . . . .11111114444444444444444443
199 -15 A . . . . . . . . . . . . . . . . .11111111444444444444444443
200 -14 A . . . . . . . . . . . . . . . . .11111111144444444444444443
After 200 steps (201 lines): state = A.
Produced 26 nonzeros.
Tape index -14, scanned [-23 .. 2].
| 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 | 104 | 22 | 17 | 2 | 5 | 58 | 0 | 2 | 5 | 17 | 14 |
| B | 96 | 9 | 67 | 7 | 13 | 1 | 6 | 10 | 4 | ||