Comment: This TM produces >1.9x10^27 nonzeros in >2.3x10^54 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 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 0RB | 3LA | 5LA | 1RH | 4LB | 1 | right | B | 0 | right | B | 3 | left | A | 5 | left | A | 1 | right | H | 4 | left | B |
| B | 1LA | 2RB | 3LA | 4LB | 3RB | 3RA | 1 | left | A | 2 | right | B | 3 | left | A | 4 | left | B | 3 | right | B | 3 | 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 . . . . . . . . . . . 11
3 1 B . . . . . . . . . . . 01
4 2 B . . . . . . . . . . . 020
5 1 A . . . . . . . . . . . 021
6 0 A . . . . . . . . . . . 031
7 1 B . . . . . . . . . . . 131
8 0 B . . . . . . . . . . . 141
9 1 B . . . . . . . . . . . 241
10 2 B . . . . . . . . . . . 231
11 3 B . . . . . . . . . . . 2320
12 2 A . . . . . . . . . . . 2321
13 1 A . . . . . . . . . . . 2331
14 0 A . . . . . . . . . . . 2531
15 -1 A . . . . . . . . . . .03531
16 0 B . . . . . . . . . . .13531
17 -1 B . . . . . . . . . . .14531
18 0 B . . . . . . . . . . .24531
19 1 B . . . . . . . . . . .23531
20 2 A . . . . . . . . . . .23331
21 1 A . . . . . . . . . . .23351
22 0 A . . . . . . . . . . .23551
23 -1 A . . . . . . . . . . .25551
24 -2 A . . . . . . . . . . 035551
25 -1 B . . . . . . . . . . 135551
26 -2 B . . . . . . . . . . 145551
27 -1 B . . . . . . . . . . 245551
28 0 B . . . . . . . . . . 235551
29 1 A . . . . . . . . . . 233551
30 0 B . . . . . . . . . . 233451
31 -1 B . . . . . . . . . . 234451
32 -2 B . . . . . . . . . . 244451
33 -3 A . . . . . . . . . .0344451
34 -2 B . . . . . . . . . .1344451
35 -3 B . . . . . . . . . .1444451
36 -2 B . . . . . . . . . .2444451
37 -1 B . . . . . . . . . .2344451
38 0 B . . . . . . . . . .2334451
39 1 B . . . . . . . . . .2333451
40 2 B . . . . . . . . . .2333351
41 3 A . . . . . . . . . .2333331
42 4 B . . . . . . . . . .23333300
43 3 A . . . . . . . . . .23333301
44 4 B . . . . . . . . . .23333311
45 5 B . . . . . . . . . .233333120
46 4 A . . . . . . . . . .233333121
47 3 A . . . . . . . . . .233333131
48 4 B . . . . . . . . . .233333031
49 3 B . . . . . . . . . .233333041
50 2 A . . . . . . . . . .233333141
51 1 A . . . . . . . . . .233335141
52 0 A . . . . . . . . . .233355141
53 -1 A . . . . . . . . . .233555141
54 -2 A . . . . . . . . . .235555141
55 -3 A . . . . . . . . . .255555141
56 -4 A . . . . . . . . . 0355555141
57 -3 B . . . . . . . . . 1355555141
58 -4 B . . . . . . . . . 1455555141
59 -3 B . . . . . . . . . 2455555141
60 -2 B . . . . . . . . . 2355555141
61 -1 A . . . . . . . . . 2335555141
62 -2 B . . . . . . . . . 2334555141
63 -3 B . . . . . . . . . 2344555141
64 -4 B . . . . . . . . . 2444555141
65 -5 A . . . . . . . . .03444555141
66 -4 B . . . . . . . . .13444555141
67 -5 B . . . . . . . . .14444555141
68 -4 B . . . . . . . . .24444555141
69 -3 B . . . . . . . . .23444555141
70 -2 B . . . . . . . . .23344555141
71 -1 B . . . . . . . . .23334555141
72 0 B . . . . . . . . .23333555141
73 1 A . . . . . . . . .23333355141
74 0 B . . . . . . . . .23333345141
75 -1 B . . . . . . . . .23333445141
76 -2 B . . . . . . . . .23334445141
77 -3 B . . . . . . . . .23344445141
78 -4 B . . . . . . . . .23444445141
79 -5 B . . . . . . . . .24444445141
80 -6 A . . . . . . . . 034444445141
81 -5 B . . . . . . . . 134444445141
82 -6 B . . . . . . . . 144444445141
83 -5 B . . . . . . . . 244444445141
84 -4 B . . . . . . . . 234444445141
85 -3 B . . . . . . . . 233444445141
86 -2 B . . . . . . . . 233344445141
87 -1 B . . . . . . . . 233334445141
88 0 B . . . . . . . . 233333445141
89 1 B . . . . . . . . 233333345141
90 2 B . . . . . . . . 233333335141
91 3 A . . . . . . . . 233333333141
92 4 B . . . . . . . . 233333333041
93 5 B . . . . . . . . 233333333031
94 6 B . . . . . . . . 2333333330320
95 5 A . . . . . . . . 2333333330321
96 4 A . . . . . . . . 2333333330331
97 3 A . . . . . . . . 2333333330531
98 4 B . . . . . . . . 2333333331531
99 5 A . . . . . . . . 2333333331331
100 4 A . . . . . . . . 2333333331351
101 3 A . . . . . . . . 2333333331551
102 4 B . . . . . . . . 2333333330551
103 5 A . . . . . . . . 2333333330351
104 4 B . . . . . . . . 2333333330341
105 3 B . . . . . . . . 2333333330441
106 2 A . . . . . . . . 2333333331441
107 1 A . . . . . . . . 2333333351441
108 0 A . . . . . . . . 2333333551441
109 -1 A . . . . . . . . 2333335551441
110 -2 A . . . . . . . . 2333355551441
111 -3 A . . . . . . . . 2333555551441
112 -4 A . . . . . . . . 2335555551441
113 -5 A . . . . . . . . 2355555551441
114 -6 A . . . . . . . . 2555555551441
115 -7 A . . . . . . . .03555555551441
116 -6 B . . . . . . . .13555555551441
117 -7 B . . . . . . . .14555555551441
118 -6 B . . . . . . . .24555555551441
119 -5 B . . . . . . . .23555555551441
120 -4 A . . . . . . . .23355555551441
121 -5 B . . . . . . . .23345555551441
122 -6 B . . . . . . . .23445555551441
123 -7 B . . . . . . . .24445555551441
124 -8 A . . . . . . . 034445555551441
125 -7 B . . . . . . . 134445555551441
126 -8 B . . . . . . . 144445555551441
127 -7 B . . . . . . . 244445555551441
128 -6 B . . . . . . . 234445555551441
129 -5 B . . . . . . . 233445555551441
130 -4 B . . . . . . . 233345555551441
131 -3 B . . . . . . . 233335555551441
132 -2 A . . . . . . . 233333555551441
133 -3 B . . . . . . . 233333455551441
134 -4 B . . . . . . . 233334455551441
135 -5 B . . . . . . . 233344455551441
136 -6 B . . . . . . . 233444455551441
137 -7 B . . . . . . . 234444455551441
138 -8 B . . . . . . . 244444455551441
139 -9 A . . . . . . .0344444455551441
140 -8 B . . . . . . .1344444455551441
141 -9 B . . . . . . .1444444455551441
142 -8 B . . . . . . .2444444455551441
143 -7 B . . . . . . .2344444455551441
144 -6 B . . . . . . .2334444455551441
145 -5 B . . . . . . .2333444455551441
146 -4 B . . . . . . .2333344455551441
147 -3 B . . . . . . .2333334455551441
148 -2 B . . . . . . .2333333455551441
149 -1 B . . . . . . .2333333355551441
150 0 A . . . . . . .2333333335551441
151 -1 B . . . . . . .2333333334551441
152 -2 B . . . . . . .2333333344551441
153 -3 B . . . . . . .2333333444551441
154 -4 B . . . . . . .2333334444551441
155 -5 B . . . . . . .2333344444551441
156 -6 B . . . . . . .2333444444551441
157 -7 B . . . . . . .2334444444551441
158 -8 B . . . . . . .2344444444551441
159 -9 B . . . . . . .2444444444551441
160 -10 A . . . . . . 03444444444551441
161 -9 B . . . . . . 13444444444551441
162 -10 B . . . . . . 14444444444551441
163 -9 B . . . . . . 24444444444551441
164 -8 B . . . . . . 23444444444551441
165 -7 B . . . . . . 23344444444551441
166 -6 B . . . . . . 23334444444551441
167 -5 B . . . . . . 23333444444551441
168 -4 B . . . . . . 23333344444551441
169 -3 B . . . . . . 23333334444551441
170 -2 B . . . . . . 23333333444551441
171 -1 B . . . . . . 23333333344551441
172 0 B . . . . . . 23333333334551441
173 1 B . . . . . . 23333333333551441
174 2 A . . . . . . 23333333333351441
175 1 B . . . . . . 23333333333341441
176 0 B . . . . . . 23333333333441441
177 -1 B . . . . . . 23333333334441441
178 -2 B . . . . . . 23333333344441441
179 -3 B . . . . . . 23333333444441441
180 -4 B . . . . . . 23333334444441441
181 -5 B . . . . . . 23333344444441441
182 -6 B . . . . . . 23333444444441441
183 -7 B . . . . . . 23334444444441441
184 -8 B . . . . . . 23344444444441441
185 -9 B . . . . . . 23444444444441441
186 -10 B . . . . . . 24444444444441441
187 -11 A . . . . . .034444444444441441
188 -10 B . . . . . .134444444444441441
189 -11 B . . . . . .144444444444441441
190 -10 B . . . . . .244444444444441441
191 -9 B . . . . . .234444444444441441
192 -8 B . . . . . .233444444444441441
193 -7 B . . . . . .233344444444441441
194 -6 B . . . . . .233334444444441441
195 -5 B . . . . . .233333444444441441
196 -4 B . . . . . .233333344444441441
197 -3 B . . . . . .233333334444441441
198 -2 B . . . . . .233333333444441441
199 -1 B . . . . . .233333333344441441
200 0 B . . . . . .233333333334441441
After 200 steps (201 lines): state = B.
Produced 18 nonzeros.
Tape index 0, scanned [-11 .. 6].
| State | Count | Execution count | First in step | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||
| A | 56 | 15 | 5 | 8 | 20 | 8 | 0 | 2 | 5 | 13 | 29 | ||
| B | 144 | 8 | 16 | 7 | 49 | 52 | 12 | 1 | 3 | 32 | 7 | 9 | 19 |