Comment: This TM produces 90'604 nonzeros in 8'619'024'596 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 | A3L | B1L | A1R | A3R | 1 | right | B | 3 | left | A | 1 | left | B | 1 | right | A | 3 | right | A |
| B | B2L | A3L | A3R | B4R | Z1R | 2 | left | B | 3 | left | A | 3 | right | A | 4 | right | B | 1 | right | Z |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . 0
1 1 B . . 10
2 0 B . . 12
3 -1 A . .032
4 0 B . .132
5 1 B . .142
6 2 A . .1430
7 3 B . .14310
8 2 B . .14312
9 1 A . .14332
10 2 A . .14132
11 3 A . .14112
12 2 B . .14111
13 1 A . .14131
14 0 A . .14331
15 1 A . .13331
16 2 A . .13131
17 3 A . .13111
18 2 A . .13113
19 1 A . .13133
20 0 A . .13333
21 1 A . .11333
22 2 A . .11133
23 3 A . .11113
24 4 A . .111110
25 5 B . .1111110
26 4 B . .1111112
27 3 A . .1111132
28 2 A . .1111332
29 1 A . .1113332
30 0 A . .1133332
31 -1 A . .1333332
32 -2 A . 03333332
33 -1 B . 13333332
34 0 B . 14333332
35 1 B . 14433332
36 2 B . 14443332
37 3 B . 14444332
38 4 B . 14444432
39 5 B . 14444442
40 6 A . 144444430
41 7 B . 1444444310
42 6 B . 1444444312
43 5 A . 1444444332
44 6 A . 1444444132
45 7 A . 1444444112
46 6 B . 1444444111
47 5 A . 1444444131
48 4 A . 1444444331
49 5 A . 1444443331
50 6 A . 1444443131
51 7 A . 1444443111
52 6 A . 1444443113
53 5 A . 1444443133
54 4 A . 1444443333
55 5 A . 1444441333
56 6 A . 1444441133
57 7 A . 1444441113
58 8 A . 14444411110
59 9 B . 144444111110
60 8 B . 144444111112
61 7 A . 144444111132
62 6 A . 144444111332
63 5 A . 144444113332
64 4 A . 144444133332
65 3 A . 144444333332
66 4 A . 144443333332
67 5 A . 144443133332
68 6 A . 144443113332
69 7 A . 144443111332
70 8 A . 144443111132
71 9 A . 144443111112
72 8 B . 144443111111
73 7 A . 144443111131
74 6 A . 144443111331
75 5 A . 144443113331
76 4 A . 144443133331
77 3 A . 144443333331
78 4 A . 144441333331
79 5 A . 144441133331
80 6 A . 144441113331
81 7 A . 144441111331
82 8 A . 144441111131
83 9 A . 144441111111
84 8 A . 144441111113
85 7 A . 144441111133
86 6 A . 144441111333
87 5 A . 144441113333
88 4 A . 144441133333
89 3 A . 144441333333
90 2 A . 144443333333
91 3 A . 144433333333
92 4 A . 144431333333
93 5 A . 144431133333
94 6 A . 144431113333
95 7 A . 144431111333
96 8 A . 144431111133
97 9 A . 144431111113
98 10 A . 1444311111110
99 11 B . 14443111111110
100 10 B . 14443111111112
101 9 A . 14443111111132
102 8 A . 14443111111332
103 7 A . 14443111113332
104 6 A . 14443111133332
105 5 A . 14443111333332
106 4 A . 14443113333332
107 3 A . 14443133333332
108 2 A . 14443333333332
109 3 A . 14441333333332
110 4 A . 14441133333332
111 5 A . 14441113333332
112 6 A . 14441111333332
113 7 A . 14441111133332
114 8 A . 14441111113332
115 9 A . 14441111111332
116 10 A . 14441111111132
117 11 A . 14441111111112
118 10 B . 14441111111111
119 9 A . 14441111111131
120 8 A . 14441111111331
121 7 A . 14441111113331
122 6 A . 14441111133331
123 5 A . 14441111333331
124 4 A . 14441113333331
125 3 A . 14441133333331
126 2 A . 14441333333331
127 1 A . 14443333333331
128 2 A . 14433333333331
129 3 A . 14431333333331
130 4 A . 14431133333331
131 5 A . 14431113333331
132 6 A . 14431111333331
133 7 A . 14431111133331
134 8 A . 14431111113331
135 9 A . 14431111111331
136 10 A . 14431111111131
137 11 A . 14431111111111
138 10 A . 14431111111113
139 9 A . 14431111111133
140 8 A . 14431111111333
141 7 A . 14431111113333
142 6 A . 14431111133333
143 5 A . 14431111333333
144 4 A . 14431113333333
145 3 A . 14431133333333
146 2 A . 14431333333333
147 1 A . 14433333333333
148 2 A . 14413333333333
149 3 A . 14411333333333
150 4 A . 14411133333333
151 5 A . 14411113333333
152 6 A . 14411111333333
153 7 A . 14411111133333
154 8 A . 14411111113333
155 9 A . 14411111111333
156 10 A . 14411111111133
157 11 A . 14411111111113
158 12 A . 144111111111110
159 13 B . 1441111111111110
160 12 B . 1441111111111112
161 11 A . 1441111111111132
162 10 A . 1441111111111332
163 9 A . 1441111111113332
164 8 A . 1441111111133332
165 7 A . 1441111111333332
166 6 A . 1441111113333332
167 5 A . 1441111133333332
168 4 A . 1441111333333332
169 3 A . 1441113333333332
170 2 A . 1441133333333332
171 1 A . 1441333333333332
172 0 A . 1443333333333332
173 1 A . 1433333333333332
174 2 A . 1431333333333332
175 3 A . 1431133333333332
176 4 A . 1431113333333332
177 5 A . 1431111333333332
178 6 A . 1431111133333332
179 7 A . 1431111113333332
180 8 A . 1431111111333332
181 9 A . 1431111111133332
182 10 A . 1431111111113332
183 11 A . 1431111111111332
184 12 A . 1431111111111132
185 13 A . 1431111111111112
186 12 B . 1431111111111111
187 11 A . 1431111111111131
188 10 A . 1431111111111331
189 9 A . 1431111111113331
190 8 A . 1431111111133331
191 7 A . 1431111111333331
192 6 A . 1431111113333331
193 5 A . 1431111133333331
194 4 A . 1431111333333331
195 3 A . 1431113333333331
196 2 A . 1431133333333331
197 1 A . 1431333333333331
198 0 A . 1433333333333331
199 1 A . 1413333333333331
200 2 A . 1411333333333331
After 200 steps (201 lines): state = A.
Produced 16 nonzeros.
Tape index 2, scanned [-2 .. 13].
| 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 | 172 | 9 | 75 | 5 | 77 | 6 | 0 | 13 | 11 | 9 | 14 |
| B | 28 | 7 | 12 | 2 | 7 | 1 | 2 | 5 | 4 | ||