Comment: This TM produces 398,005,342 nonzeros in 37,716,251,406,088,468 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 | 1LA | 0LB | 1RA | 1 | right | B | 3 | left | A | 1 | left | A | 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 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .111
7 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .131
8 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . . 0331
9 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
10 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131
11 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
12 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 1401
13 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . .04401
14 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 024401
15 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . 124401
16 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 144401
17 -5 A . . . . . . . . . . . . . . . . . . . . . . . . . .0344401
18 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . .1344401
19 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . .1144401
20 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . .1114401
21 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . .1111401
22 0 A . . . . . . . . . . . . . . . . . . . . . . . . . .1111101
23 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111111
24 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111114
25 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111144
26 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111444
27 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . .1114444
28 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . .1144444
29 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . .1444444
30 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . 04444444
31 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .024444444
32 -6 B . . . . . . . . . . . . . . . . . . . . . . . . .124444444
33 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .144444444
34 -8 A . . . . . . . . . . . . . . . . . . . . . . . . 0344444444
35 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 1344444444
36 -6 A . . . . . . . . . . . . . . . . . . . . . . . . 1144444444
37 -5 A . . . . . . . . . . . . . . . . . . . . . . . . 1114444444
38 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 1111444444
39 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 1111144444
40 -2 A . . . . . . . . . . . . . . . . . . . . . . . . 1111114444
41 -1 A . . . . . . . . . . . . . . . . . . . . . . . . 1111111444
42 0 A . . . . . . . . . . . . . . . . . . . . . . . . 1111111144
43 1 A . . . . . . . . . . . . . . . . . . . . . . . . 1111111114
44 2 A . . . . . . . . . . . . . . . . . . . . . . . . 11111111110
45 3 B . . . . . . . . . . . . . . . . . . . . . . . . 111111111110
46 2 A . . . . . . . . . . . . . . . . . . . . . . . . 111111111112
47 1 A . . . . . . . . . . . . . . . . . . . . . . . . 111111111132
48 0 A . . . . . . . . . . . . . . . . . . . . . . . . 111111111332
49 -1 A . . . . . . . . . . . . . . . . . . . . . . . . 111111113332
50 -2 A . . . . . . . . . . . . . . . . . . . . . . . . 111111133332
51 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 111111333332
52 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 111113333332
53 -5 A . . . . . . . . . . . . . . . . . . . . . . . . 111133333332
54 -6 A . . . . . . . . . . . . . . . . . . . . . . . . 111333333332
55 -7 A . . . . . . . . . . . . . . . . . . . . . . . . 113333333332
56 -8 A . . . . . . . . . . . . . . . . . . . . . . . . 133333333332
57 -9 A . . . . . . . . . . . . . . . . . . . . . . . .0333333333332
58 -8 B . . . . . . . . . . . . . . . . . . . . . . . .1333333333332
59 -7 A . . . . . . . . . . . . . . . . . . . . . . . .1133333333332
60 -8 B . . . . . . . . . . . . . . . . . . . . . . . .1103333333332
61 -9 B . . . . . . . . . . . . . . . . . . . . . . . .1403333333332
62 -10 B . . . . . . . . . . . . . . . . . . . . . . . 04403333333332
63 -11 A . . . . . . . . . . . . . . . . . . . . . . .024403333333332
64 -10 B . . . . . . . . . . . . . . . . . . . . . . .124403333333332
65 -11 A . . . . . . . . . . . . . . . . . . . . . . .144403333333332
66 -12 A . . . . . . . . . . . . . . . . . . . . . . 0344403333333332
67 -11 B . . . . . . . . . . . . . . . . . . . . . . 1344403333333332
68 -10 A . . . . . . . . . . . . . . . . . . . . . . 1144403333333332
69 -9 A . . . . . . . . . . . . . . . . . . . . . . 1114403333333332
70 -8 A . . . . . . . . . . . . . . . . . . . . . . 1111403333333332
71 -7 A . . . . . . . . . . . . . . . . . . . . . . 1111103333333332
72 -6 B . . . . . . . . . . . . . . . . . . . . . . 1111113333333332
73 -5 A . . . . . . . . . . . . . . . . . . . . . . 1111111333333332
74 -6 B . . . . . . . . . . . . . . . . . . . . . . 1111111033333332
75 -7 B . . . . . . . . . . . . . . . . . . . . . . 1111114033333332
76 -8 B . . . . . . . . . . . . . . . . . . . . . . 1111144033333332
77 -9 B . . . . . . . . . . . . . . . . . . . . . . 1111444033333332
78 -10 B . . . . . . . . . . . . . . . . . . . . . . 1114444033333332
79 -11 B . . . . . . . . . . . . . . . . . . . . . . 1144444033333332
80 -12 B . . . . . . . . . . . . . . . . . . . . . . 1444444033333332
81 -13 B . . . . . . . . . . . . . . . . . . . . . .04444444033333332
82 -14 A . . . . . . . . . . . . . . . . . . . . . 024444444033333332
83 -13 B . . . . . . . . . . . . . . . . . . . . . 124444444033333332
84 -14 A . . . . . . . . . . . . . . . . . . . . . 144444444033333332
85 -15 A . . . . . . . . . . . . . . . . . . . . .0344444444033333332
86 -14 B . . . . . . . . . . . . . . . . . . . . .1344444444033333332
87 -13 A . . . . . . . . . . . . . . . . . . . . .1144444444033333332
88 -12 A . . . . . . . . . . . . . . . . . . . . .1114444444033333332
89 -11 A . . . . . . . . . . . . . . . . . . . . .1111444444033333332
90 -10 A . . . . . . . . . . . . . . . . . . . . .1111144444033333332
91 -9 A . . . . . . . . . . . . . . . . . . . . .1111114444033333332
92 -8 A . . . . . . . . . . . . . . . . . . . . .1111111444033333332
93 -7 A . . . . . . . . . . . . . . . . . . . . .1111111144033333332
94 -6 A . . . . . . . . . . . . . . . . . . . . .1111111114033333332
95 -5 A . . . . . . . . . . . . . . . . . . . . .1111111111033333332
96 -4 B . . . . . . . . . . . . . . . . . . . . .1111111111133333332
97 -3 A . . . . . . . . . . . . . . . . . . . . .1111111111113333332
98 -4 B . . . . . . . . . . . . . . . . . . . . .1111111111110333332
99 -5 B . . . . . . . . . . . . . . . . . . . . .1111111111140333332
100 -6 B . . . . . . . . . . . . . . . . . . . . .1111111111440333332
101 -7 B . . . . . . . . . . . . . . . . . . . . .1111111114440333332
102 -8 B . . . . . . . . . . . . . . . . . . . . .1111111144440333332
103 -9 B . . . . . . . . . . . . . . . . . . . . .1111111444440333332
104 -10 B . . . . . . . . . . . . . . . . . . . . .1111114444440333332
105 -11 B . . . . . . . . . . . . . . . . . . . . .1111144444440333332
106 -12 B . . . . . . . . . . . . . . . . . . . . .1111444444440333332
107 -13 B . . . . . . . . . . . . . . . . . . . . .1114444444440333332
108 -14 B . . . . . . . . . . . . . . . . . . . . .1144444444440333332
109 -15 B . . . . . . . . . . . . . . . . . . . . .1444444444440333332
110 -16 B . . . . . . . . . . . . . . . . . . . . 04444444444440333332
111 -17 A . . . . . . . . . . . . . . . . . . . .024444444444440333332
112 -16 B . . . . . . . . . . . . . . . . . . . .124444444444440333332
113 -17 A . . . . . . . . . . . . . . . . . . . .144444444444440333332
114 -18 A . . . . . . . . . . . . . . . . . . . 0344444444444440333332
115 -17 B . . . . . . . . . . . . . . . . . . . 1344444444444440333332
116 -16 A . . . . . . . . . . . . . . . . . . . 1144444444444440333332
117 -15 A . . . . . . . . . . . . . . . . . . . 1114444444444440333332
118 -14 A . . . . . . . . . . . . . . . . . . . 1111444444444440333332
119 -13 A . . . . . . . . . . . . . . . . . . . 1111144444444440333332
120 -12 A . . . . . . . . . . . . . . . . . . . 1111114444444440333332
121 -11 A . . . . . . . . . . . . . . . . . . . 1111111444444440333332
122 -10 A . . . . . . . . . . . . . . . . . . . 1111111144444440333332
123 -9 A . . . . . . . . . . . . . . . . . . . 1111111114444440333332
124 -8 A . . . . . . . . . . . . . . . . . . . 1111111111444440333332
125 -7 A . . . . . . . . . . . . . . . . . . . 1111111111144440333332
126 -6 A . . . . . . . . . . . . . . . . . . . 1111111111114440333332
127 -5 A . . . . . . . . . . . . . . . . . . . 1111111111111440333332
128 -4 A . . . . . . . . . . . . . . . . . . . 1111111111111140333332
129 -3 A . . . . . . . . . . . . . . . . . . . 1111111111111110333332
130 -2 B . . . . . . . . . . . . . . . . . . . 1111111111111111333332
131 -1 A . . . . . . . . . . . . . . . . . . . 1111111111111111133332
132 -2 B . . . . . . . . . . . . . . . . . . . 1111111111111111103332
133 -3 B . . . . . . . . . . . . . . . . . . . 1111111111111111403332
134 -4 B . . . . . . . . . . . . . . . . . . . 1111111111111114403332
135 -5 B . . . . . . . . . . . . . . . . . . . 1111111111111144403332
136 -6 B . . . . . . . . . . . . . . . . . . . 1111111111111444403332
137 -7 B . . . . . . . . . . . . . . . . . . . 1111111111114444403332
138 -8 B . . . . . . . . . . . . . . . . . . . 1111111111144444403332
139 -9 B . . . . . . . . . . . . . . . . . . . 1111111111444444403332
140 -10 B . . . . . . . . . . . . . . . . . . . 1111111114444444403332
141 -11 B . . . . . . . . . . . . . . . . . . . 1111111144444444403332
142 -12 B . . . . . . . . . . . . . . . . . . . 1111111444444444403332
143 -13 B . . . . . . . . . . . . . . . . . . . 1111114444444444403332
144 -14 B . . . . . . . . . . . . . . . . . . . 1111144444444444403332
145 -15 B . . . . . . . . . . . . . . . . . . . 1111444444444444403332
146 -16 B . . . . . . . . . . . . . . . . . . . 1114444444444444403332
147 -17 B . . . . . . . . . . . . . . . . . . . 1144444444444444403332
148 -18 B . . . . . . . . . . . . . . . . . . . 1444444444444444403332
149 -19 B . . . . . . . . . . . . . . . . . . .04444444444444444403332
150 -20 A . . . . . . . . . . . . . . . . . . 024444444444444444403332
151 -19 B . . . . . . . . . . . . . . . . . . 124444444444444444403332
152 -20 A . . . . . . . . . . . . . . . . . . 144444444444444444403332
153 -21 A . . . . . . . . . . . . . . . . . .0344444444444444444403332
154 -20 B . . . . . . . . . . . . . . . . . .1344444444444444444403332
155 -19 A . . . . . . . . . . . . . . . . . .1144444444444444444403332
156 -18 A . . . . . . . . . . . . . . . . . .1114444444444444444403332
157 -17 A . . . . . . . . . . . . . . . . . .1111444444444444444403332
158 -16 A . . . . . . . . . . . . . . . . . .1111144444444444444403332
159 -15 A . . . . . . . . . . . . . . . . . .1111114444444444444403332
160 -14 A . . . . . . . . . . . . . . . . . .1111111444444444444403332
161 -13 A . . . . . . . . . . . . . . . . . .1111111144444444444403332
162 -12 A . . . . . . . . . . . . . . . . . .1111111114444444444403332
163 -11 A . . . . . . . . . . . . . . . . . .1111111111444444444403332
164 -10 A . . . . . . . . . . . . . . . . . .1111111111144444444403332
165 -9 A . . . . . . . . . . . . . . . . . .1111111111114444444403332
166 -8 A . . . . . . . . . . . . . . . . . .1111111111111444444403332
167 -7 A . . . . . . . . . . . . . . . . . .1111111111111144444403332
168 -6 A . . . . . . . . . . . . . . . . . .1111111111111114444403332
169 -5 A . . . . . . . . . . . . . . . . . .1111111111111111444403332
170 -4 A . . . . . . . . . . . . . . . . . .1111111111111111144403332
171 -3 A . . . . . . . . . . . . . . . . . .1111111111111111114403332
172 -2 A . . . . . . . . . . . . . . . . . .1111111111111111111403332
173 -1 A . . . . . . . . . . . . . . . . . .1111111111111111111103332
174 0 B . . . . . . . . . . . . . . . . . .1111111111111111111113332
175 1 A . . . . . . . . . . . . . . . . . .1111111111111111111111332
176 0 B . . . . . . . . . . . . . . . . . .1111111111111111111111032
177 -1 B . . . . . . . . . . . . . . . . . .1111111111111111111114032
178 -2 B . . . . . . . . . . . . . . . . . .1111111111111111111144032
179 -3 B . . . . . . . . . . . . . . . . . .1111111111111111111444032
180 -4 B . . . . . . . . . . . . . . . . . .1111111111111111114444032
181 -5 B . . . . . . . . . . . . . . . . . .1111111111111111144444032
182 -6 B . . . . . . . . . . . . . . . . . .1111111111111111444444032
183 -7 B . . . . . . . . . . . . . . . . . .1111111111111114444444032
184 -8 B . . . . . . . . . . . . . . . . . .1111111111111144444444032
185 -9 B . . . . . . . . . . . . . . . . . .1111111111111444444444032
186 -10 B . . . . . . . . . . . . . . . . . .1111111111114444444444032
187 -11 B . . . . . . . . . . . . . . . . . .1111111111144444444444032
188 -12 B . . . . . . . . . . . . . . . . . .1111111111444444444444032
189 -13 B . . . . . . . . . . . . . . . . . .1111111114444444444444032
190 -14 B . . . . . . . . . . . . . . . . . .1111111144444444444444032
191 -15 B . . . . . . . . . . . . . . . . . .1111111444444444444444032
192 -16 B . . . . . . . . . . . . . . . . . .1111114444444444444444032
193 -17 B . . . . . . . . . . . . . . . . . .1111144444444444444444032
194 -18 B . . . . . . . . . . . . . . . . . .1111444444444444444444032
195 -19 B . . . . . . . . . . . . . . . . . .1114444444444444444444032
196 -20 B . . . . . . . . . . . . . . . . . .1144444444444444444444032
197 -21 B . . . . . . . . . . . . . . . . . .1444444444444444444444032
198 -22 B . . . . . . . . . . . . . . . . . 04444444444444444444444032
199 -23 A . . . . . . . . . . . . . . . . .024444444444444444444444032
200 -22 B . . . . . . . . . . . . . . . . .124444444444444444444444032
After 200 steps (201 lines): state = B.
Produced 26 nonzeros.
Tape index -22, scanned [-23 .. 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 | 103 | 23 | 20 | 1 | 6 | 53 | 0 | 2 | 5 | 10 | 19 |
| B | 97 | 9 | 69 | 6 | 13 | 1 | 11 | 15 | 4 | ||