Comment: This TM produces >6.0x10^140 nonzeros in >4.3x10^281 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 3RB | 2LC | 3LA | 1 | right | B | 3 | right | B | 2 | left | C | 3 | left | A |
| B | 0RC | 1RH | 2RC | 1LB | 0 | right | C | 1 | right | H | 2 | right | C | 1 | left | B |
| C | 1LB | 2LA | 3RC | 2LC | 1 | left | B | 2 | left | A | 3 | right | C | 2 | left | C |
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 2 C . . . . . . . . . . . . . 100
3 1 B . . . . . . . . . . . . . 101
4 2 C . . . . . . . . . . . . . 101
5 1 A . . . . . . . . . . . . . 102
6 2 B . . . . . . . . . . . . . 112
7 3 C . . . . . . . . . . . . . 1120
8 2 B . . . . . . . . . . . . . 1121
9 3 C . . . . . . . . . . . . . 1121
10 2 A . . . . . . . . . . . . . 1122
11 1 C . . . . . . . . . . . . . 1122
12 0 A . . . . . . . . . . . . . 1222
13 1 B . . . . . . . . . . . . . 3222
14 2 C . . . . . . . . . . . . . 3222
15 3 C . . . . . . . . . . . . . 3232
16 4 C . . . . . . . . . . . . . 32330
17 3 B . . . . . . . . . . . . . 32331
18 2 B . . . . . . . . . . . . . 32311
19 1 B . . . . . . . . . . . . . 32111
20 2 C . . . . . . . . . . . . . 32111
21 1 A . . . . . . . . . . . . . 32211
22 0 C . . . . . . . . . . . . . 32211
23 -1 C . . . . . . . . . . . . .022211
24 -2 B . . . . . . . . . . . . 0122211
25 -1 C . . . . . . . . . . . . 0122211
26 -2 A . . . . . . . . . . . . 0222211
27 -1 B . . . . . . . . . . . . 1222211
28 0 C . . . . . . . . . . . . 1222211
29 1 C . . . . . . . . . . . . 1232211
30 2 C . . . . . . . . . . . . 1233211
31 3 C . . . . . . . . . . . . 1233311
32 2 A . . . . . . . . . . . . 1233321
33 1 A . . . . . . . . . . . . 1233321
34 0 A . . . . . . . . . . . . 1233321
35 -1 A . . . . . . . . . . . . 1233321
36 -2 C . . . . . . . . . . . . 1233321
37 -3 A . . . . . . . . . . . .02233321
38 -2 B . . . . . . . . . . . .12233321
39 -1 C . . . . . . . . . . . .12233321
40 0 C . . . . . . . . . . . .12333321
41 -1 C . . . . . . . . . . . .12323321
42 -2 C . . . . . . . . . . . .12223321
43 -1 C . . . . . . . . . . . .13223321
44 0 C . . . . . . . . . . . .13323321
45 1 C . . . . . . . . . . . .13333321
46 0 C . . . . . . . . . . . .13332321
47 -1 C . . . . . . . . . . . .13322321
48 -2 C . . . . . . . . . . . .13222321
49 -3 C . . . . . . . . . . . .12222321
50 -4 A . . . . . . . . . . . 022222321
51 -3 B . . . . . . . . . . . 122222321
52 -2 C . . . . . . . . . . . 122222321
53 -1 C . . . . . . . . . . . 123222321
54 0 C . . . . . . . . . . . 123322321
55 1 C . . . . . . . . . . . 123332321
56 2 C . . . . . . . . . . . 123333321
57 1 C . . . . . . . . . . . 123333221
58 0 C . . . . . . . . . . . 123332221
59 -1 C . . . . . . . . . . . 123322221
60 -2 C . . . . . . . . . . . 123222221
61 -3 C . . . . . . . . . . . 122222221
62 -2 C . . . . . . . . . . . 132222221
63 -1 C . . . . . . . . . . . 133222221
64 0 C . . . . . . . . . . . 133322221
65 1 C . . . . . . . . . . . 133332221
66 2 C . . . . . . . . . . . 133333221
67 3 C . . . . . . . . . . . 133333321
68 4 C . . . . . . . . . . . 133333331
69 3 A . . . . . . . . . . . 133333332
70 2 A . . . . . . . . . . . 133333332
71 1 A . . . . . . . . . . . 133333332
72 0 A . . . . . . . . . . . 133333332
73 -1 A . . . . . . . . . . . 133333332
74 -2 A . . . . . . . . . . . 133333332
75 -3 A . . . . . . . . . . . 133333332
76 -4 A . . . . . . . . . . . 133333332
77 -3 B . . . . . . . . . . . 333333332
78 -4 B . . . . . . . . . . . 313333332
79 -5 B . . . . . . . . . . .0113333332
80 -4 C . . . . . . . . . . .0113333332
81 -5 A . . . . . . . . . . .0213333332
82 -4 B . . . . . . . . . . .1213333332
83 -3 C . . . . . . . . . . .1213333332
84 -4 A . . . . . . . . . . .1223333332
85 -5 C . . . . . . . . . . .1223333332
86 -6 A . . . . . . . . . . 02223333332
87 -5 B . . . . . . . . . . 12223333332
88 -4 C . . . . . . . . . . 12223333332
89 -3 C . . . . . . . . . . 12323333332
90 -2 C . . . . . . . . . . 12333333332
91 -3 C . . . . . . . . . . 12332333332
92 -4 C . . . . . . . . . . 12322333332
93 -5 C . . . . . . . . . . 12222333332
94 -4 C . . . . . . . . . . 13222333332
95 -3 C . . . . . . . . . . 13322333332
96 -2 C . . . . . . . . . . 13332333332
97 -1 C . . . . . . . . . . 13333333332
98 -2 C . . . . . . . . . . 13333233332
99 -3 C . . . . . . . . . . 13332233332
100 -4 C . . . . . . . . . . 13322233332
101 -5 C . . . . . . . . . . 13222233332
102 -6 C . . . . . . . . . . 12222233332
103 -7 A . . . . . . . . . .022222233332
104 -6 B . . . . . . . . . .122222233332
105 -5 C . . . . . . . . . .122222233332
106 -4 C . . . . . . . . . .123222233332
107 -3 C . . . . . . . . . .123322233332
108 -2 C . . . . . . . . . .123332233332
109 -1 C . . . . . . . . . .123333233332
110 0 C . . . . . . . . . .123333333332
111 -1 C . . . . . . . . . .123333323332
112 -2 C . . . . . . . . . .123333223332
113 -3 C . . . . . . . . . .123332223332
114 -4 C . . . . . . . . . .123322223332
115 -5 C . . . . . . . . . .123222223332
116 -6 C . . . . . . . . . .122222223332
117 -5 C . . . . . . . . . .132222223332
118 -4 C . . . . . . . . . .133222223332
119 -3 C . . . . . . . . . .133322223332
120 -2 C . . . . . . . . . .133332223332
121 -1 C . . . . . . . . . .133333223332
122 0 C . . . . . . . . . .133333323332
123 1 C . . . . . . . . . .133333333332
124 0 C . . . . . . . . . .133333332332
125 -1 C . . . . . . . . . .133333322332
126 -2 C . . . . . . . . . .133333222332
127 -3 C . . . . . . . . . .133332222332
128 -4 C . . . . . . . . . .133322222332
129 -5 C . . . . . . . . . .133222222332
130 -6 C . . . . . . . . . .132222222332
131 -7 C . . . . . . . . . .122222222332
132 -8 A . . . . . . . . . 0222222222332
133 -7 B . . . . . . . . . 1222222222332
134 -6 C . . . . . . . . . 1222222222332
135 -5 C . . . . . . . . . 1232222222332
136 -4 C . . . . . . . . . 1233222222332
137 -3 C . . . . . . . . . 1233322222332
138 -2 C . . . . . . . . . 1233332222332
139 -1 C . . . . . . . . . 1233333222332
140 0 C . . . . . . . . . 1233333322332
141 1 C . . . . . . . . . 1233333332332
142 2 C . . . . . . . . . 1233333333332
143 1 C . . . . . . . . . 1233333333232
144 0 C . . . . . . . . . 1233333332232
145 -1 C . . . . . . . . . 1233333322232
146 -2 C . . . . . . . . . 1233333222232
147 -3 C . . . . . . . . . 1233332222232
148 -4 C . . . . . . . . . 1233322222232
149 -5 C . . . . . . . . . 1233222222232
150 -6 C . . . . . . . . . 1232222222232
151 -7 C . . . . . . . . . 1222222222232
152 -6 C . . . . . . . . . 1322222222232
153 -5 C . . . . . . . . . 1332222222232
154 -4 C . . . . . . . . . 1333222222232
155 -3 C . . . . . . . . . 1333322222232
156 -2 C . . . . . . . . . 1333332222232
157 -1 C . . . . . . . . . 1333333222232
158 0 C . . . . . . . . . 1333333322232
159 1 C . . . . . . . . . 1333333332232
160 2 C . . . . . . . . . 1333333333232
161 3 C . . . . . . . . . 1333333333332
162 2 C . . . . . . . . . 1333333333322
163 1 C . . . . . . . . . 1333333333222
164 0 C . . . . . . . . . 1333333332222
165 -1 C . . . . . . . . . 1333333322222
166 -2 C . . . . . . . . . 1333333222222
167 -3 C . . . . . . . . . 1333332222222
168 -4 C . . . . . . . . . 1333322222222
169 -5 C . . . . . . . . . 1333222222222
170 -6 C . . . . . . . . . 1332222222222
171 -7 C . . . . . . . . . 1322222222222
172 -8 C . . . . . . . . . 1222222222222
173 -9 A . . . . . . . . .02222222222222
174 -8 B . . . . . . . . .12222222222222
175 -7 C . . . . . . . . .12222222222222
176 -6 C . . . . . . . . .12322222222222
177 -5 C . . . . . . . . .12332222222222
178 -4 C . . . . . . . . .12333222222222
179 -3 C . . . . . . . . .12333322222222
180 -2 C . . . . . . . . .12333332222222
181 -1 C . . . . . . . . .12333333222222
182 0 C . . . . . . . . .12333333322222
183 1 C . . . . . . . . .12333333332222
184 2 C . . . . . . . . .12333333333222
185 3 C . . . . . . . . .12333333333322
186 4 C . . . . . . . . .12333333333332
187 5 C . . . . . . . . .123333333333330
188 4 B . . . . . . . . .123333333333331
189 3 B . . . . . . . . .123333333333311
190 2 B . . . . . . . . .123333333333111
191 1 B . . . . . . . . .123333333331111
192 0 B . . . . . . . . .123333333311111
193 -1 B . . . . . . . . .123333333111111
194 -2 B . . . . . . . . .123333331111111
195 -3 B . . . . . . . . .123333311111111
196 -4 B . . . . . . . . .123333111111111
197 -5 B . . . . . . . . .123331111111111
198 -6 B . . . . . . . . .123311111111111
199 -7 B . . . . . . . . .123111111111111
200 -8 B . . . . . . . . .121111111111111
After 200 steps (201 lines): state = B.
Produced 15 nonzeros.
Tape index -8, scanned [-9 .. 5].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 26 | 10 | 2 | 4 | 10 | 0 | 12 | 10 | 32 |
| B | 32 | 4 | 12 | 16 | 1 | 6 | 17 | ||
| C | 142 | 5 | 15 | 68 | 54 | 2 | 4 | 14 | 22 |