Comment: This TM produces 1,957,771 nonzeros in 912,594,733,606 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 | B1R | B3L | Z1R | A1L | A1L | 1 | right | B | 3 | left | B | 1 | right | Z | 1 | left | A | 1 | left | A |
| B | A2L | B3R | B4L | B4L | A3R | 2 | left | A | 3 | right | B | 4 | left | B | 4 | left | 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 . . . . . . . . . . . . . . . . . . . . . . . . 12
3 -1 B . . . . . . . . . . . . . . . . . . . . . . . .032
4 -2 A . . . . . . . . . . . . . . . . . . . . . . . 0232
5 -1 B . . . . . . . . . . . . . . . . . . . . . . . 1232
6 -2 B . . . . . . . . . . . . . . . . . . . . . . . 1432
7 -1 B . . . . . . . . . . . . . . . . . . . . . . . 3432
8 0 A . . . . . . . . . . . . . . . . . . . . . . . 3332
9 -1 A . . . . . . . . . . . . . . . . . . . . . . . 3312
10 -2 A . . . . . . . . . . . . . . . . . . . . . . . 3112
11 -3 A . . . . . . . . . . . . . . . . . . . . . . .01112
12 -2 B . . . . . . . . . . . . . . . . . . . . . . .11112
13 -1 B . . . . . . . . . . . . . . . . . . . . . . .13112
14 0 B . . . . . . . . . . . . . . . . . . . . . . .13312
15 1 B . . . . . . . . . . . . . . . . . . . . . . .13332
16 0 B . . . . . . . . . . . . . . . . . . . . . . .13334
17 -1 B . . . . . . . . . . . . . . . . . . . . . . .13344
18 -2 B . . . . . . . . . . . . . . . . . . . . . . .13444
19 -3 B . . . . . . . . . . . . . . . . . . . . . . .14444
20 -2 B . . . . . . . . . . . . . . . . . . . . . . .34444
21 -1 A . . . . . . . . . . . . . . . . . . . . . . .33444
22 -2 A . . . . . . . . . . . . . . . . . . . . . . .33144
23 -3 A . . . . . . . . . . . . . . . . . . . . . . .31144
24 -4 A . . . . . . . . . . . . . . . . . . . . . . 011144
25 -3 B . . . . . . . . . . . . . . . . . . . . . . 111144
26 -2 B . . . . . . . . . . . . . . . . . . . . . . 131144
27 -1 B . . . . . . . . . . . . . . . . . . . . . . 133144
28 0 B . . . . . . . . . . . . . . . . . . . . . . 133344
29 1 A . . . . . . . . . . . . . . . . . . . . . . 133334
30 0 A . . . . . . . . . . . . . . . . . . . . . . 133331
31 -1 A . . . . . . . . . . . . . . . . . . . . . . 133311
32 -2 A . . . . . . . . . . . . . . . . . . . . . . 133111
33 -3 A . . . . . . . . . . . . . . . . . . . . . . 131111
34 -4 A . . . . . . . . . . . . . . . . . . . . . . 111111
35 -5 B . . . . . . . . . . . . . . . . . . . . . .0311111
36 -6 A . . . . . . . . . . . . . . . . . . . . . 02311111
37 -5 B . . . . . . . . . . . . . . . . . . . . . 12311111
38 -6 B . . . . . . . . . . . . . . . . . . . . . 14311111
39 -5 B . . . . . . . . . . . . . . . . . . . . . 34311111
40 -4 A . . . . . . . . . . . . . . . . . . . . . 33311111
41 -5 A . . . . . . . . . . . . . . . . . . . . . 33111111
42 -6 A . . . . . . . . . . . . . . . . . . . . . 31111111
43 -7 A . . . . . . . . . . . . . . . . . . . . .011111111
44 -6 B . . . . . . . . . . . . . . . . . . . . .111111111
45 -5 B . . . . . . . . . . . . . . . . . . . . .131111111
46 -4 B . . . . . . . . . . . . . . . . . . . . .133111111
47 -3 B . . . . . . . . . . . . . . . . . . . . .133311111
48 -2 B . . . . . . . . . . . . . . . . . . . . .133331111
49 -1 B . . . . . . . . . . . . . . . . . . . . .133333111
50 0 B . . . . . . . . . . . . . . . . . . . . .133333311
51 1 B . . . . . . . . . . . . . . . . . . . . .133333331
52 2 B . . . . . . . . . . . . . . . . . . . . .1333333330
53 1 A . . . . . . . . . . . . . . . . . . . . .1333333332
54 0 A . . . . . . . . . . . . . . . . . . . . .1333333312
55 -1 A . . . . . . . . . . . . . . . . . . . . .1333333112
56 -2 A . . . . . . . . . . . . . . . . . . . . .1333331112
57 -3 A . . . . . . . . . . . . . . . . . . . . .1333311112
58 -4 A . . . . . . . . . . . . . . . . . . . . .1333111112
59 -5 A . . . . . . . . . . . . . . . . . . . . .1331111112
60 -6 A . . . . . . . . . . . . . . . . . . . . .1311111112
61 -7 A . . . . . . . . . . . . . . . . . . . . .1111111112
62 -8 B . . . . . . . . . . . . . . . . . . . . 03111111112
63 -9 A . . . . . . . . . . . . . . . . . . . .023111111112
64 -8 B . . . . . . . . . . . . . . . . . . . .123111111112
65 -9 B . . . . . . . . . . . . . . . . . . . .143111111112
66 -8 B . . . . . . . . . . . . . . . . . . . .343111111112
67 -7 A . . . . . . . . . . . . . . . . . . . .333111111112
68 -8 A . . . . . . . . . . . . . . . . . . . .331111111112
69 -9 A . . . . . . . . . . . . . . . . . . . .311111111112
70 -10 A . . . . . . . . . . . . . . . . . . . 0111111111112
71 -9 B . . . . . . . . . . . . . . . . . . . 1111111111112
72 -8 B . . . . . . . . . . . . . . . . . . . 1311111111112
73 -7 B . . . . . . . . . . . . . . . . . . . 1331111111112
74 -6 B . . . . . . . . . . . . . . . . . . . 1333111111112
75 -5 B . . . . . . . . . . . . . . . . . . . 1333311111112
76 -4 B . . . . . . . . . . . . . . . . . . . 1333331111112
77 -3 B . . . . . . . . . . . . . . . . . . . 1333333111112
78 -2 B . . . . . . . . . . . . . . . . . . . 1333333311112
79 -1 B . . . . . . . . . . . . . . . . . . . 1333333331112
80 0 B . . . . . . . . . . . . . . . . . . . 1333333333112
81 1 B . . . . . . . . . . . . . . . . . . . 1333333333312
82 2 B . . . . . . . . . . . . . . . . . . . 1333333333332
83 1 B . . . . . . . . . . . . . . . . . . . 1333333333334
84 0 B . . . . . . . . . . . . . . . . . . . 1333333333344
85 -1 B . . . . . . . . . . . . . . . . . . . 1333333333444
86 -2 B . . . . . . . . . . . . . . . . . . . 1333333334444
87 -3 B . . . . . . . . . . . . . . . . . . . 1333333344444
88 -4 B . . . . . . . . . . . . . . . . . . . 1333333444444
89 -5 B . . . . . . . . . . . . . . . . . . . 1333334444444
90 -6 B . . . . . . . . . . . . . . . . . . . 1333344444444
91 -7 B . . . . . . . . . . . . . . . . . . . 1333444444444
92 -8 B . . . . . . . . . . . . . . . . . . . 1334444444444
93 -9 B . . . . . . . . . . . . . . . . . . . 1344444444444
94 -10 B . . . . . . . . . . . . . . . . . . . 1444444444444
95 -9 B . . . . . . . . . . . . . . . . . . . 3444444444444
96 -8 A . . . . . . . . . . . . . . . . . . . 3344444444444
97 -9 A . . . . . . . . . . . . . . . . . . . 3314444444444
98 -10 A . . . . . . . . . . . . . . . . . . . 3114444444444
99 -11 A . . . . . . . . . . . . . . . . . . .01114444444444
100 -10 B . . . . . . . . . . . . . . . . . . .11114444444444
101 -9 B . . . . . . . . . . . . . . . . . . .13114444444444
102 -8 B . . . . . . . . . . . . . . . . . . .13314444444444
103 -7 B . . . . . . . . . . . . . . . . . . .13334444444444
104 -6 A . . . . . . . . . . . . . . . . . . .13333444444444
105 -7 A . . . . . . . . . . . . . . . . . . .13333144444444
106 -8 A . . . . . . . . . . . . . . . . . . .13331144444444
107 -9 A . . . . . . . . . . . . . . . . . . .13311144444444
108 -10 A . . . . . . . . . . . . . . . . . . .13111144444444
109 -11 A . . . . . . . . . . . . . . . . . . .11111144444444
110 -12 B . . . . . . . . . . . . . . . . . . 031111144444444
111 -13 A . . . . . . . . . . . . . . . . . .0231111144444444
112 -12 B . . . . . . . . . . . . . . . . . .1231111144444444
113 -13 B . . . . . . . . . . . . . . . . . .1431111144444444
114 -12 B . . . . . . . . . . . . . . . . . .3431111144444444
115 -11 A . . . . . . . . . . . . . . . . . .3331111144444444
116 -12 A . . . . . . . . . . . . . . . . . .3311111144444444
117 -13 A . . . . . . . . . . . . . . . . . .3111111144444444
118 -14 A . . . . . . . . . . . . . . . . . 01111111144444444
119 -13 B . . . . . . . . . . . . . . . . . 11111111144444444
120 -12 B . . . . . . . . . . . . . . . . . 13111111144444444
121 -11 B . . . . . . . . . . . . . . . . . 13311111144444444
122 -10 B . . . . . . . . . . . . . . . . . 13331111144444444
123 -9 B . . . . . . . . . . . . . . . . . 13333111144444444
124 -8 B . . . . . . . . . . . . . . . . . 13333311144444444
125 -7 B . . . . . . . . . . . . . . . . . 13333331144444444
126 -6 B . . . . . . . . . . . . . . . . . 13333333144444444
127 -5 B . . . . . . . . . . . . . . . . . 13333333344444444
128 -4 A . . . . . . . . . . . . . . . . . 13333333334444444
129 -5 A . . . . . . . . . . . . . . . . . 13333333331444444
130 -6 A . . . . . . . . . . . . . . . . . 13333333311444444
131 -7 A . . . . . . . . . . . . . . . . . 13333333111444444
132 -8 A . . . . . . . . . . . . . . . . . 13333331111444444
133 -9 A . . . . . . . . . . . . . . . . . 13333311111444444
134 -10 A . . . . . . . . . . . . . . . . . 13333111111444444
135 -11 A . . . . . . . . . . . . . . . . . 13331111111444444
136 -12 A . . . . . . . . . . . . . . . . . 13311111111444444
137 -13 A . . . . . . . . . . . . . . . . . 13111111111444444
138 -14 A . . . . . . . . . . . . . . . . . 11111111111444444
139 -15 B . . . . . . . . . . . . . . . . .031111111111444444
140 -16 A . . . . . . . . . . . . . . . . 0231111111111444444
141 -15 B . . . . . . . . . . . . . . . . 1231111111111444444
142 -16 B . . . . . . . . . . . . . . . . 1431111111111444444
143 -15 B . . . . . . . . . . . . . . . . 3431111111111444444
144 -14 A . . . . . . . . . . . . . . . . 3331111111111444444
145 -15 A . . . . . . . . . . . . . . . . 3311111111111444444
146 -16 A . . . . . . . . . . . . . . . . 3111111111111444444
147 -17 A . . . . . . . . . . . . . . . .01111111111111444444
148 -16 B . . . . . . . . . . . . . . . .11111111111111444444
149 -15 B . . . . . . . . . . . . . . . .13111111111111444444
150 -14 B . . . . . . . . . . . . . . . .13311111111111444444
151 -13 B . . . . . . . . . . . . . . . .13331111111111444444
152 -12 B . . . . . . . . . . . . . . . .13333111111111444444
153 -11 B . . . . . . . . . . . . . . . .13333311111111444444
154 -10 B . . . . . . . . . . . . . . . .13333331111111444444
155 -9 B . . . . . . . . . . . . . . . .13333333111111444444
156 -8 B . . . . . . . . . . . . . . . .13333333311111444444
157 -7 B . . . . . . . . . . . . . . . .13333333331111444444
158 -6 B . . . . . . . . . . . . . . . .13333333333111444444
159 -5 B . . . . . . . . . . . . . . . .13333333333311444444
160 -4 B . . . . . . . . . . . . . . . .13333333333331444444
161 -3 B . . . . . . . . . . . . . . . .13333333333333444444
162 -2 A . . . . . . . . . . . . . . . .13333333333333344444
163 -3 A . . . . . . . . . . . . . . . .13333333333333314444
164 -4 A . . . . . . . . . . . . . . . .13333333333333114444
165 -5 A . . . . . . . . . . . . . . . .13333333333331114444
166 -6 A . . . . . . . . . . . . . . . .13333333333311114444
167 -7 A . . . . . . . . . . . . . . . .13333333333111114444
168 -8 A . . . . . . . . . . . . . . . .13333333331111114444
169 -9 A . . . . . . . . . . . . . . . .13333333311111114444
170 -10 A . . . . . . . . . . . . . . . .13333333111111114444
171 -11 A . . . . . . . . . . . . . . . .13333331111111114444
172 -12 A . . . . . . . . . . . . . . . .13333311111111114444
173 -13 A . . . . . . . . . . . . . . . .13333111111111114444
174 -14 A . . . . . . . . . . . . . . . .13331111111111114444
175 -15 A . . . . . . . . . . . . . . . .13311111111111114444
176 -16 A . . . . . . . . . . . . . . . .13111111111111114444
177 -17 A . . . . . . . . . . . . . . . .11111111111111114444
178 -18 B . . . . . . . . . . . . . . . 031111111111111114444
179 -19 A . . . . . . . . . . . . . . .0231111111111111114444
180 -18 B . . . . . . . . . . . . . . .1231111111111111114444
181 -19 B . . . . . . . . . . . . . . .1431111111111111114444
182 -18 B . . . . . . . . . . . . . . .3431111111111111114444
183 -17 A . . . . . . . . . . . . . . .3331111111111111114444
184 -18 A . . . . . . . . . . . . . . .3311111111111111114444
185 -19 A . . . . . . . . . . . . . . .3111111111111111114444
186 -20 A . . . . . . . . . . . . . . 01111111111111111114444
187 -19 B . . . . . . . . . . . . . . 11111111111111111114444
188 -18 B . . . . . . . . . . . . . . 13111111111111111114444
189 -17 B . . . . . . . . . . . . . . 13311111111111111114444
190 -16 B . . . . . . . . . . . . . . 13331111111111111114444
191 -15 B . . . . . . . . . . . . . . 13333111111111111114444
192 -14 B . . . . . . . . . . . . . . 13333311111111111114444
193 -13 B . . . . . . . . . . . . . . 13333331111111111114444
194 -12 B . . . . . . . . . . . . . . 13333333111111111114444
195 -11 B . . . . . . . . . . . . . . 13333333311111111114444
196 -10 B . . . . . . . . . . . . . . 13333333331111111114444
197 -9 B . . . . . . . . . . . . . . 13333333333111111114444
198 -8 B . . . . . . . . . . . . . . 13333333333311111114444
199 -7 B . . . . . . . . . . . . . . 13333333333331111114444
200 -6 B . . . . . . . . . . . . . . 13333333333333111114444
After 200 steps (201 lines): state = B.
Produced 23 nonzeros.
Tape index -6, scanned [-20 .. 2].
| 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 | 88 | 15 | 6 | 61 | 6 | 0 | 2 | 8 | 21 | ||
| B | 112 | 8 | 70 | 8 | 14 | 12 | 1 | 6 | 5 | 16 | 7 |