Comment: This TM produces 32213 nonzeros in 544884219 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| 1 | 1R2 | 1L2 | 2L1 | 1 | right | 2 | 1 | left | 2 | 2 | left | 1 |
| 2 | 1L1 | 1R3 | 1Rh | 1 | left | 1 | 1 | right | 3 | 1 | right | h |
| 3 | 0L1 | 2R3 | 1L3 | 0 | left | 1 | 2 | right | 3 | 1 | left | 3 |
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 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0
1 1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .011
4 -2 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0111
5 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111
6 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111
7 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1121
8 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
9 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
10 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
11 -1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
12 -2 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
13 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
14 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12220
15 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12120
16 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11120
17 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21120
18 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22120
19 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22220
20 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22210
21 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22110
22 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21110
23 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . .011110
24 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 0011110
25 -3 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1011110
26 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111110
27 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . .01111110
28 -6 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 011111110
29 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110
30 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110
31 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112111110
32 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112211110
33 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112221110
34 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222110
35 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222210
36 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
37 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
38 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
39 -1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
40 -2 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
41 -3 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
42 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
43 -5 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
44 -6 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
45 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
46 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 122222220
47 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 121222220
48 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111222220
49 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 211222220
50 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 221222220
51 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 222222220
52 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 222122220
53 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 221122220
54 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 211122220
55 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . . .0111122220
56 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 00111122220
57 -7 2 . . . . . . . . . . . . . . . . . . . . . . . . . 10111122220
58 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 11111122220
59 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . .011111122220
60 -10 1 . . . . . . . . . . . . . . . . . . . . . . . . 0111111122220
61 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220
62 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220
63 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1121111122220
64 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122111122220
65 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122211122220
66 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122221122220
67 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222122220
68 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222222220
69 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222212220
70 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222112220
71 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122221112220
72 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122211112220
73 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122111112220
74 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1121111112220
75 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111112220
76 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1211111112220
77 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1221111112220
78 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222111112220
79 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222211112220
80 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222221112220
81 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222112220
82 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222212220
83 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222222220
84 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222221220
85 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222211220
86 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222111220
87 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222221111220
88 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222211111220
89 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222111111220
90 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1221111111220
91 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 1211111111220
92 -10 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111111220
93 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 2111111111220
94 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 2211111111220
95 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 2221111111220
96 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222111111220
97 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222211111220
98 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222221111220
99 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222111220
100 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222211220
101 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222221220
102 0 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222222220
103 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222222120
104 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222221120
105 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222211120
106 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222111120
107 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222221111120
108 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222211111120
109 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222111111120
110 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 2221111111120
111 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 2211111111120
112 -10 3 . . . . . . . . . . . . . . . . . . . . . . . . 2111111111120
113 -11 3 . . . . . . . . . . . . . . . . . . . . . . . .01111111111120
114 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 001111111111120
115 -11 2 . . . . . . . . . . . . . . . . . . . . . . . 101111111111120
116 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 111111111111120
117 -13 2 . . . . . . . . . . . . . . . . . . . . . . .0111111111111120
118 -14 1 . . . . . . . . . . . . . . . . . . . . . . 01111111111111120
119 -13 2 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120
120 -12 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120
121 -11 3 . . . . . . . . . . . . . . . . . . . . . . 11211111111111120
122 -10 3 . . . . . . . . . . . . . . . . . . . . . . 11221111111111120
123 -9 3 . . . . . . . . . . . . . . . . . . . . . . 11222111111111120
124 -8 3 . . . . . . . . . . . . . . . . . . . . . . 11222211111111120
125 -7 3 . . . . . . . . . . . . . . . . . . . . . . 11222221111111120
126 -6 3 . . . . . . . . . . . . . . . . . . . . . . 11222222111111120
127 -5 3 . . . . . . . . . . . . . . . . . . . . . . 11222222211111120
128 -4 3 . . . . . . . . . . . . . . . . . . . . . . 11222222221111120
129 -3 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222111120
130 -2 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222211120
131 -1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222221120
132 0 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222120
133 1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222220
134 0 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222210
135 -1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222110
136 -2 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222221110
137 -3 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222211110
138 -4 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222111110
139 -5 3 . . . . . . . . . . . . . . . . . . . . . . 11222222221111110
140 -6 3 . . . . . . . . . . . . . . . . . . . . . . 11222222211111110
141 -7 3 . . . . . . . . . . . . . . . . . . . . . . 11222222111111110
142 -8 3 . . . . . . . . . . . . . . . . . . . . . . 11222221111111110
143 -9 3 . . . . . . . . . . . . . . . . . . . . . . 11222211111111110
144 -10 3 . . . . . . . . . . . . . . . . . . . . . . 11222111111111110
145 -11 3 . . . . . . . . . . . . . . . . . . . . . . 11221111111111110
146 -12 3 . . . . . . . . . . . . . . . . . . . . . . 11211111111111110
147 -13 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111110
148 -12 3 . . . . . . . . . . . . . . . . . . . . . . 12111111111111110
149 -11 3 . . . . . . . . . . . . . . . . . . . . . . 12211111111111110
150 -10 3 . . . . . . . . . . . . . . . . . . . . . . 12221111111111110
151 -9 3 . . . . . . . . . . . . . . . . . . . . . . 12222111111111110
152 -8 3 . . . . . . . . . . . . . . . . . . . . . . 12222211111111110
153 -7 3 . . . . . . . . . . . . . . . . . . . . . . 12222221111111110
154 -6 3 . . . . . . . . . . . . . . . . . . . . . . 12222222111111110
155 -5 3 . . . . . . . . . . . . . . . . . . . . . . 12222222211111110
156 -4 3 . . . . . . . . . . . . . . . . . . . . . . 12222222221111110
157 -3 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222111110
158 -2 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222211110
159 -1 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222221110
160 0 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222110
161 1 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222210
162 2 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
163 1 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
164 0 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
165 -1 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
166 -2 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
167 -3 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
168 -4 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
169 -5 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
170 -6 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
171 -7 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
172 -8 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
173 -9 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
174 -10 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
175 -11 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
176 -12 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
177 -13 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
178 -14 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
179 -15 2 . . . . . . . . . . . . . . . . . . . . . .012222222222222220
180 -16 1 . . . . . . . . . . . . . . . . . . . . . 0112222222222222220
181 -15 2 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220
182 -14 3 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220
183 -13 3 . . . . . . . . . . . . . . . . . . . . . 1122222222222222220
184 -14 3 . . . . . . . . . . . . . . . . . . . . . 1121222222222222220
185 -15 3 . . . . . . . . . . . . . . . . . . . . . 1111222222222222220
186 -14 3 . . . . . . . . . . . . . . . . . . . . . 1211222222222222220
187 -13 3 . . . . . . . . . . . . . . . . . . . . . 1221222222222222220
188 -12 3 . . . . . . . . . . . . . . . . . . . . . 1222222222222222220
189 -13 3 . . . . . . . . . . . . . . . . . . . . . 1222122222222222220
190 -14 3 . . . . . . . . . . . . . . . . . . . . . 1221122222222222220
191 -15 3 . . . . . . . . . . . . . . . . . . . . . 1211122222222222220
192 -16 3 . . . . . . . . . . . . . . . . . . . . . 1111122222222222220
193 -15 3 . . . . . . . . . . . . . . . . . . . . . 2111122222222222220
194 -14 3 . . . . . . . . . . . . . . . . . . . . . 2211122222222222220
195 -13 3 . . . . . . . . . . . . . . . . . . . . . 2221122222222222220
196 -12 3 . . . . . . . . . . . . . . . . . . . . . 2222122222222222220
197 -11 3 . . . . . . . . . . . . . . . . . . . . . 2222222222222222220
198 -12 3 . . . . . . . . . . . . . . . . . . . . . 2222212222222222220
199 -13 3 . . . . . . . . . . . . . . . . . . . . . 2222112222222222220
200 -14 3 . . . . . . . . . . . . . . . . . . . . . 2221112222222222220
After 200 steps (201 lines): state = 3.
Produced 18 nonzeros.
Tape index -14, scanned [-16 .. 2].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| 1 | 39 | 9 | 7 | 23 | 0 | 2 | 9 |
| 2 | 16 | 9 | 7 | 1 | 5 | ||
| 3 | 145 | 6 | 77 | 62 | 8 | 6 | 14 |