Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 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 | 2RA | 1LA | 3LA | 2RA | 1 | right | B | 2 | right | A | 1 | left | A | 3 | left | A | 2 | right | A |
| B | 2LA | 3RB | 4LA | 1LB | 1RH | 2 | left | A | 3 | right | B | 4 | left | A | 1 | left | B | 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 . . . . . . . . . . . . . . . . . . . . . . 22
4 0 A . . . . . . . . . . . . . . . . . . . . . . 21
5 -1 A . . . . . . . . . . . . . . . . . . . . . .011
6 0 B . . . . . . . . . . . . . . . . . . . . . .111
7 1 B . . . . . . . . . . . . . . . . . . . . . .131
8 2 B . . . . . . . . . . . . . . . . . . . . . .1330
9 1 A . . . . . . . . . . . . . . . . . . . . . .1332
10 0 A . . . . . . . . . . . . . . . . . . . . . .1332
11 -1 A . . . . . . . . . . . . . . . . . . . . . .1332
12 0 A . . . . . . . . . . . . . . . . . . . . . .2332
13 -1 A . . . . . . . . . . . . . . . . . . . . . .2332
14 -2 A . . . . . . . . . . . . . . . . . . . . . 01332
15 -1 B . . . . . . . . . . . . . . . . . . . . . 11332
16 0 B . . . . . . . . . . . . . . . . . . . . . 13332
17 -1 B . . . . . . . . . . . . . . . . . . . . . 13132
18 -2 B . . . . . . . . . . . . . . . . . . . . . 11132
19 -1 B . . . . . . . . . . . . . . . . . . . . . 31132
20 0 B . . . . . . . . . . . . . . . . . . . . . 33132
21 1 B . . . . . . . . . . . . . . . . . . . . . 33332
22 0 B . . . . . . . . . . . . . . . . . . . . . 33312
23 -1 B . . . . . . . . . . . . . . . . . . . . . 33112
24 -2 B . . . . . . . . . . . . . . . . . . . . . 31112
25 -3 B . . . . . . . . . . . . . . . . . . . . .011112
26 -4 A . . . . . . . . . . . . . . . . . . . . 0211112
27 -3 B . . . . . . . . . . . . . . . . . . . . 1211112
28 -4 A . . . . . . . . . . . . . . . . . . . . 1411112
29 -3 A . . . . . . . . . . . . . . . . . . . . 2411112
30 -2 A . . . . . . . . . . . . . . . . . . . . 2211112
31 -1 A . . . . . . . . . . . . . . . . . . . . 2221112
32 0 A . . . . . . . . . . . . . . . . . . . . 2222112
33 1 A . . . . . . . . . . . . . . . . . . . . 2222212
34 2 A . . . . . . . . . . . . . . . . . . . . 2222222
35 1 A . . . . . . . . . . . . . . . . . . . . 2222221
36 0 A . . . . . . . . . . . . . . . . . . . . 2222211
37 -1 A . . . . . . . . . . . . . . . . . . . . 2222111
38 -2 A . . . . . . . . . . . . . . . . . . . . 2221111
39 -3 A . . . . . . . . . . . . . . . . . . . . 2211111
40 -4 A . . . . . . . . . . . . . . . . . . . . 2111111
41 -5 A . . . . . . . . . . . . . . . . . . . .01111111
42 -4 B . . . . . . . . . . . . . . . . . . . .11111111
43 -3 B . . . . . . . . . . . . . . . . . . . .13111111
44 -2 B . . . . . . . . . . . . . . . . . . . .13311111
45 -1 B . . . . . . . . . . . . . . . . . . . .13331111
46 0 B . . . . . . . . . . . . . . . . . . . .13333111
47 1 B . . . . . . . . . . . . . . . . . . . .13333311
48 2 B . . . . . . . . . . . . . . . . . . . .13333331
49 3 B . . . . . . . . . . . . . . . . . . . .133333330
50 2 A . . . . . . . . . . . . . . . . . . . .133333332
51 1 A . . . . . . . . . . . . . . . . . . . .133333332
52 0 A . . . . . . . . . . . . . . . . . . . .133333332
53 -1 A . . . . . . . . . . . . . . . . . . . .133333332
54 -2 A . . . . . . . . . . . . . . . . . . . .133333332
55 -3 A . . . . . . . . . . . . . . . . . . . .133333332
56 -4 A . . . . . . . . . . . . . . . . . . . .133333332
57 -5 A . . . . . . . . . . . . . . . . . . . .133333332
58 -4 A . . . . . . . . . . . . . . . . . . . .233333332
59 -5 A . . . . . . . . . . . . . . . . . . . .233333332
60 -6 A . . . . . . . . . . . . . . . . . . . 0133333332
61 -5 B . . . . . . . . . . . . . . . . . . . 1133333332
62 -4 B . . . . . . . . . . . . . . . . . . . 1333333332
63 -5 B . . . . . . . . . . . . . . . . . . . 1313333332
64 -6 B . . . . . . . . . . . . . . . . . . . 1113333332
65 -5 B . . . . . . . . . . . . . . . . . . . 3113333332
66 -4 B . . . . . . . . . . . . . . . . . . . 3313333332
67 -3 B . . . . . . . . . . . . . . . . . . . 3333333332
68 -4 B . . . . . . . . . . . . . . . . . . . 3331333332
69 -5 B . . . . . . . . . . . . . . . . . . . 3311333332
70 -6 B . . . . . . . . . . . . . . . . . . . 3111333332
71 -7 B . . . . . . . . . . . . . . . . . . .01111333332
72 -8 A . . . . . . . . . . . . . . . . . . 021111333332
73 -7 B . . . . . . . . . . . . . . . . . . 121111333332
74 -8 A . . . . . . . . . . . . . . . . . . 141111333332
75 -7 A . . . . . . . . . . . . . . . . . . 241111333332
76 -6 A . . . . . . . . . . . . . . . . . . 221111333332
77 -5 A . . . . . . . . . . . . . . . . . . 222111333332
78 -4 A . . . . . . . . . . . . . . . . . . 222211333332
79 -3 A . . . . . . . . . . . . . . . . . . 222221333332
80 -2 A . . . . . . . . . . . . . . . . . . 222222333332
81 -3 A . . . . . . . . . . . . . . . . . . 222222333332
82 -4 A . . . . . . . . . . . . . . . . . . 222221333332
83 -5 A . . . . . . . . . . . . . . . . . . 222211333332
84 -6 A . . . . . . . . . . . . . . . . . . 222111333332
85 -7 A . . . . . . . . . . . . . . . . . . 221111333332
86 -8 A . . . . . . . . . . . . . . . . . . 211111333332
87 -9 A . . . . . . . . . . . . . . . . . .0111111333332
88 -8 B . . . . . . . . . . . . . . . . . .1111111333332
89 -7 B . . . . . . . . . . . . . . . . . .1311111333332
90 -6 B . . . . . . . . . . . . . . . . . .1331111333332
91 -5 B . . . . . . . . . . . . . . . . . .1333111333332
92 -4 B . . . . . . . . . . . . . . . . . .1333311333332
93 -3 B . . . . . . . . . . . . . . . . . .1333331333332
94 -2 B . . . . . . . . . . . . . . . . . .1333333333332
95 -3 B . . . . . . . . . . . . . . . . . .1333333133332
96 -4 B . . . . . . . . . . . . . . . . . .1333331133332
97 -5 B . . . . . . . . . . . . . . . . . .1333311133332
98 -6 B . . . . . . . . . . . . . . . . . .1333111133332
99 -7 B . . . . . . . . . . . . . . . . . .1331111133332
100 -8 B . . . . . . . . . . . . . . . . . .1311111133332
101 -9 B . . . . . . . . . . . . . . . . . .1111111133332
102 -8 B . . . . . . . . . . . . . . . . . .3111111133332
103 -7 B . . . . . . . . . . . . . . . . . .3311111133332
104 -6 B . . . . . . . . . . . . . . . . . .3331111133332
105 -5 B . . . . . . . . . . . . . . . . . .3333111133332
106 -4 B . . . . . . . . . . . . . . . . . .3333311133332
107 -3 B . . . . . . . . . . . . . . . . . .3333331133332
108 -2 B . . . . . . . . . . . . . . . . . .3333333133332
109 -1 B . . . . . . . . . . . . . . . . . .3333333333332
110 -2 B . . . . . . . . . . . . . . . . . .3333333313332
111 -3 B . . . . . . . . . . . . . . . . . .3333333113332
112 -4 B . . . . . . . . . . . . . . . . . .3333331113332
113 -5 B . . . . . . . . . . . . . . . . . .3333311113332
114 -6 B . . . . . . . . . . . . . . . . . .3333111113332
115 -7 B . . . . . . . . . . . . . . . . . .3331111113332
116 -8 B . . . . . . . . . . . . . . . . . .3311111113332
117 -9 B . . . . . . . . . . . . . . . . . .3111111113332
118 -10 B . . . . . . . . . . . . . . . . . 01111111113332
119 -11 A . . . . . . . . . . . . . . . . .021111111113332
120 -10 B . . . . . . . . . . . . . . . . .121111111113332
121 -11 A . . . . . . . . . . . . . . . . .141111111113332
122 -10 A . . . . . . . . . . . . . . . . .241111111113332
123 -9 A . . . . . . . . . . . . . . . . .221111111113332
124 -8 A . . . . . . . . . . . . . . . . .222111111113332
125 -7 A . . . . . . . . . . . . . . . . .222211111113332
126 -6 A . . . . . . . . . . . . . . . . .222221111113332
127 -5 A . . . . . . . . . . . . . . . . .222222111113332
128 -4 A . . . . . . . . . . . . . . . . .222222211113332
129 -3 A . . . . . . . . . . . . . . . . .222222221113332
130 -2 A . . . . . . . . . . . . . . . . .222222222113332
131 -1 A . . . . . . . . . . . . . . . . .222222222213332
132 0 A . . . . . . . . . . . . . . . . .222222222223332
133 -1 A . . . . . . . . . . . . . . . . .222222222223332
134 -2 A . . . . . . . . . . . . . . . . .222222222213332
135 -3 A . . . . . . . . . . . . . . . . .222222222113332
136 -4 A . . . . . . . . . . . . . . . . .222222221113332
137 -5 A . . . . . . . . . . . . . . . . .222222211113332
138 -6 A . . . . . . . . . . . . . . . . .222222111113332
139 -7 A . . . . . . . . . . . . . . . . .222221111113332
140 -8 A . . . . . . . . . . . . . . . . .222211111113332
141 -9 A . . . . . . . . . . . . . . . . .222111111113332
142 -10 A . . . . . . . . . . . . . . . . .221111111113332
143 -11 A . . . . . . . . . . . . . . . . .211111111113332
144 -12 A . . . . . . . . . . . . . . . . 0111111111113332
145 -11 B . . . . . . . . . . . . . . . . 1111111111113332
146 -10 B . . . . . . . . . . . . . . . . 1311111111113332
147 -9 B . . . . . . . . . . . . . . . . 1331111111113332
148 -8 B . . . . . . . . . . . . . . . . 1333111111113332
149 -7 B . . . . . . . . . . . . . . . . 1333311111113332
150 -6 B . . . . . . . . . . . . . . . . 1333331111113332
151 -5 B . . . . . . . . . . . . . . . . 1333333111113332
152 -4 B . . . . . . . . . . . . . . . . 1333333311113332
153 -3 B . . . . . . . . . . . . . . . . 1333333331113332
154 -2 B . . . . . . . . . . . . . . . . 1333333333113332
155 -1 B . . . . . . . . . . . . . . . . 1333333333313332
156 0 B . . . . . . . . . . . . . . . . 1333333333333332
157 -1 B . . . . . . . . . . . . . . . . 1333333333331332
158 -2 B . . . . . . . . . . . . . . . . 1333333333311332
159 -3 B . . . . . . . . . . . . . . . . 1333333333111332
160 -4 B . . . . . . . . . . . . . . . . 1333333331111332
161 -5 B . . . . . . . . . . . . . . . . 1333333311111332
162 -6 B . . . . . . . . . . . . . . . . 1333333111111332
163 -7 B . . . . . . . . . . . . . . . . 1333331111111332
164 -8 B . . . . . . . . . . . . . . . . 1333311111111332
165 -9 B . . . . . . . . . . . . . . . . 1333111111111332
166 -10 B . . . . . . . . . . . . . . . . 1331111111111332
167 -11 B . . . . . . . . . . . . . . . . 1311111111111332
168 -12 B . . . . . . . . . . . . . . . . 1111111111111332
169 -11 B . . . . . . . . . . . . . . . . 3111111111111332
170 -10 B . . . . . . . . . . . . . . . . 3311111111111332
171 -9 B . . . . . . . . . . . . . . . . 3331111111111332
172 -8 B . . . . . . . . . . . . . . . . 3333111111111332
173 -7 B . . . . . . . . . . . . . . . . 3333311111111332
174 -6 B . . . . . . . . . . . . . . . . 3333331111111332
175 -5 B . . . . . . . . . . . . . . . . 3333333111111332
176 -4 B . . . . . . . . . . . . . . . . 3333333311111332
177 -3 B . . . . . . . . . . . . . . . . 3333333331111332
178 -2 B . . . . . . . . . . . . . . . . 3333333333111332
179 -1 B . . . . . . . . . . . . . . . . 3333333333311332
180 0 B . . . . . . . . . . . . . . . . 3333333333331332
181 1 B . . . . . . . . . . . . . . . . 3333333333333332
182 0 B . . . . . . . . . . . . . . . . 3333333333333132
183 -1 B . . . . . . . . . . . . . . . . 3333333333331132
184 -2 B . . . . . . . . . . . . . . . . 3333333333311132
185 -3 B . . . . . . . . . . . . . . . . 3333333333111132
186 -4 B . . . . . . . . . . . . . . . . 3333333331111132
187 -5 B . . . . . . . . . . . . . . . . 3333333311111132
188 -6 B . . . . . . . . . . . . . . . . 3333333111111132
189 -7 B . . . . . . . . . . . . . . . . 3333331111111132
190 -8 B . . . . . . . . . . . . . . . . 3333311111111132
191 -9 B . . . . . . . . . . . . . . . . 3333111111111132
192 -10 B . . . . . . . . . . . . . . . . 3331111111111132
193 -11 B . . . . . . . . . . . . . . . . 3311111111111132
194 -12 B . . . . . . . . . . . . . . . . 3111111111111132
195 -13 B . . . . . . . . . . . . . . . .01111111111111132
196 -14 A . . . . . . . . . . . . . . . 021111111111111132
197 -13 B . . . . . . . . . . . . . . . 121111111111111132
198 -14 A . . . . . . . . . . . . . . . 141111111111111132
199 -13 A . . . . . . . . . . . . . . . 241111111111111132
200 -12 A . . . . . . . . . . . . . . . 221111111111111132
After 200 steps (201 lines): state = A.
Produced 18 nonzeros.
Tape index -12, scanned [-14 .. 3].
| 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 | 80 | 11 | 24 | 28 | 13 | 4 | 0 | 2 | 3 | 9 | 29 |
| B | 120 | 7 | 55 | 4 | 54 | 1 | 6 | 27 | 16 | ||