Comment: This TM produces 2050 nonzeros in 3932964 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 | 3RB | 3RA | 3RA | 1LA | 3 | right | B | 3 | right | A | 3 | right | A | 1 | left | A |
| B | 3LB | 2RB | 2LH | 3LA | 3 | left | B | 2 | right | B | 2 | left | H | 3 | left | A |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 30
2 0 B . . . . . 33
3 -1 A . . . . .033
4 0 B . . . . .333
5 -1 A . . . . .333
6 -2 A . . . . 0133
7 -1 B . . . . 3133
8 0 B . . . . 3233
9 -1 A . . . . 3233
10 0 A . . . . 3333
11 -1 A . . . . 3313
12 -2 A . . . . 3113
13 -3 A . . . .01113
14 -2 B . . . .31113
15 -1 B . . . .32113
16 0 B . . . .32213
17 1 B . . . .32223
18 0 A . . . .32223
19 1 A . . . .32233
20 0 A . . . .32231
21 -1 A . . . .32211
22 0 A . . . .32311
23 1 A . . . .32331
24 2 A . . . .323330
25 3 B . . . .3233330
26 2 B . . . .3233333
27 1 A . . . .3233333
28 0 A . . . .3233133
29 -1 A . . . .3231133
30 -2 A . . . .3211133
31 -1 A . . . .3311133
32 0 A . . . .3331133
33 1 A . . . .3333133
34 2 A . . . .3333333
35 1 A . . . .3333313
36 0 A . . . .3333113
37 -1 A . . . .3331113
38 -2 A . . . .3311113
39 -3 A . . . .3111113
40 -4 A . . . 01111113
41 -3 B . . . 31111113
42 -2 B . . . 32111113
43 -1 B . . . 32211113
44 0 B . . . 32221113
45 1 B . . . 32222113
46 2 B . . . 32222213
47 3 B . . . 32222223
48 2 A . . . 32222223
49 3 A . . . 32222233
50 2 A . . . 32222231
51 1 A . . . 32222211
52 2 A . . . 32222311
53 3 A . . . 32222331
54 4 A . . . 322223330
55 5 B . . . 3222233330
56 4 B . . . 3222233333
57 3 A . . . 3222233333
58 2 A . . . 3222233133
59 1 A . . . 3222231133
60 0 A . . . 3222211133
61 1 A . . . 3222311133
62 2 A . . . 3222331133
63 3 A . . . 3222333133
64 4 A . . . 3222333333
65 3 A . . . 3222333313
66 2 A . . . 3222333113
67 1 A . . . 3222331113
68 0 A . . . 3222311113
69 -1 A . . . 3222111113
70 0 A . . . 3223111113
71 1 A . . . 3223311113
72 2 A . . . 3223331113
73 3 A . . . 3223333113
74 4 A . . . 3223333313
75 5 A . . . 3223333333
76 4 A . . . 3223333331
77 3 A . . . 3223333311
78 2 A . . . 3223333111
79 1 A . . . 3223331111
80 0 A . . . 3223311111
81 -1 A . . . 3223111111
82 -2 A . . . 3221111111
83 -1 A . . . 3231111111
84 0 A . . . 3233111111
85 1 A . . . 3233311111
86 2 A . . . 3233331111
87 3 A . . . 3233333111
88 4 A . . . 3233333311
89 5 A . . . 3233333331
90 6 A . . . 32333333330
91 7 B . . . 323333333330
92 6 B . . . 323333333333
93 5 A . . . 323333333333
94 4 A . . . 323333333133
95 3 A . . . 323333331133
96 2 A . . . 323333311133
97 1 A . . . 323333111133
98 0 A . . . 323331111133
99 -1 A . . . 323311111133
100 -2 A . . . 323111111133
101 -3 A . . . 321111111133
102 -2 A . . . 331111111133
103 -1 A . . . 333111111133
104 0 A . . . 333311111133
105 1 A . . . 333331111133
106 2 A . . . 333333111133
107 3 A . . . 333333311133
108 4 A . . . 333333331133
109 5 A . . . 333333333133
110 6 A . . . 333333333333
111 5 A . . . 333333333313
112 4 A . . . 333333333113
113 3 A . . . 333333331113
114 2 A . . . 333333311113
115 1 A . . . 333333111113
116 0 A . . . 333331111113
117 -1 A . . . 333311111113
118 -2 A . . . 333111111113
119 -3 A . . . 331111111113
120 -4 A . . . 311111111113
121 -5 A . . .0111111111113
122 -4 B . . .3111111111113
123 -3 B . . .3211111111113
124 -2 B . . .3221111111113
125 -1 B . . .3222111111113
126 0 B . . .3222211111113
127 1 B . . .3222221111113
128 2 B . . .3222222111113
129 3 B . . .3222222211113
130 4 B . . .3222222221113
131 5 B . . .3222222222113
132 6 B . . .3222222222213
133 7 B . . .3222222222223
134 6 A . . .3222222222223
135 7 A . . .3222222222233
136 6 A . . .3222222222231
137 5 A . . .3222222222211
138 6 A . . .3222222222311
139 7 A . . .3222222222331
140 8 A . . .32222222223330
141 9 B . . .322222222233330
142 8 B . . .322222222233333
143 7 A . . .322222222233333
144 6 A . . .322222222233133
145 5 A . . .322222222231133
146 4 A . . .322222222211133
147 5 A . . .322222222311133
148 6 A . . .322222222331133
149 7 A . . .322222222333133
150 8 A . . .322222222333333
151 7 A . . .322222222333313
152 6 A . . .322222222333113
153 5 A . . .322222222331113
154 4 A . . .322222222311113
155 3 A . . .322222222111113
156 4 A . . .322222223111113
157 5 A . . .322222223311113
158 6 A . . .322222223331113
159 7 A . . .322222223333113
160 8 A . . .322222223333313
161 9 A . . .322222223333333
162 8 A . . .322222223333331
163 7 A . . .322222223333311
164 6 A . . .322222223333111
165 5 A . . .322222223331111
166 4 A . . .322222223311111
167 3 A . . .322222223111111
168 2 A . . .322222221111111
169 3 A . . .322222231111111
170 4 A . . .322222233111111
171 5 A . . .322222233311111
172 6 A . . .322222233331111
173 7 A . . .322222233333111
174 8 A . . .322222233333311
175 9 A . . .322222233333331
176 10 A . . .3222222333333330
177 11 B . . .32222223333333330
178 10 B . . .32222223333333333
179 9 A . . .32222223333333333
180 8 A . . .32222223333333133
181 7 A . . .32222223333331133
182 6 A . . .32222223333311133
183 5 A . . .32222223333111133
184 4 A . . .32222223331111133
185 3 A . . .32222223311111133
186 2 A . . .32222223111111133
187 1 A . . .32222221111111133
188 2 A . . .32222231111111133
189 3 A . . .32222233111111133
190 4 A . . .32222233311111133
191 5 A . . .32222233331111133
192 6 A . . .32222233333111133
193 7 A . . .32222233333311133
194 8 A . . .32222233333331133
195 9 A . . .32222233333333133
196 10 A . . .32222233333333333
197 9 A . . .32222233333333313
198 8 A . . .32222233333333113
199 7 A . . .32222233333331113
200 6 A . . .32222233333311113
After 200 steps (201 lines): state = A.
Produced 17 nonzeros.
Tape index 6, scanned [-5 .. 11].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 162 | 11 | 55 | 16 | 80 | 0 | 22 | 9 | 5 |
| B | 38 | 6 | 21 | 11 | 1 | 7 | 2 | ||