Comment: This TM produces 97'104 nonzeros in 7'543'673'517 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 | B2R | B3R | A4L | A3R | 1 | right | B | 2 | right | B | 3 | right | B | 4 | left | A | 3 | right | A |
| B | A0L | B4R | Z1R | B0R | B1L | 0 | left | A | 4 | right | B | 1 | right | Z | 0 | right | B | 1 | left | B |
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 A . . . . . 10
3 1 B . . . . . 20
4 0 A . . . . . 20
5 1 B . . . . . 30
6 0 A . . . . . 30
7 -1 A . . . . .040
8 0 B . . . . .140
9 -1 B . . . . .110
10 0 B . . . . .410
11 1 B . . . . .440
12 0 A . . . . .440
13 1 A . . . . .430
14 2 B . . . . .4310
15 1 A . . . . .4310
16 2 B . . . . .4320
17 1 A . . . . .4320
18 2 B . . . . .4330
19 1 A . . . . .4330
20 0 A . . . . .4340
21 -1 A . . . . .4440
22 0 A . . . . .3440
23 1 A . . . . .3340
24 2 A . . . . .3330
25 3 B . . . . .33310
26 2 A . . . . .33310
27 3 B . . . . .33320
28 2 A . . . . .33320
29 3 B . . . . .33330
30 2 A . . . . .33330
31 1 A . . . . .33340
32 0 A . . . . .33440
33 -1 A . . . . .34440
34 -2 A . . . . 044440
35 -1 B . . . . 144440
36 -2 B . . . . 114440
37 -1 B . . . . 414440
38 0 B . . . . 444440
39 -1 B . . . . 441440
40 -2 B . . . . 411440
41 -3 B . . . .0111440
42 -4 A . . . 00111440
43 -3 B . . . 10111440
44 -4 A . . . 10111440
45 -3 B . . . 20111440
46 -4 A . . . 20111440
47 -3 B . . . 30111440
48 -4 A . . . 30111440
49 -5 A . . .040111440
50 -4 B . . .140111440
51 -5 B . . .110111440
52 -4 B . . .410111440
53 -3 B . . .440111440
54 -4 A . . .440111440
55 -3 A . . .430111440
56 -2 B . . .431111440
57 -1 B . . .431411440
58 0 B . . .431441440
59 1 B . . .431444440
60 0 B . . .431444140
61 -1 B . . .431441140
62 -2 B . . .431411140
63 -3 B . . .431111140
64 -2 B . . .434111140
65 -1 B . . .434411140
66 0 B . . .434441140
67 1 B . . .434444140
68 2 B . . .434444440
69 1 B . . .434444410
70 0 B . . .434444110
71 -1 B . . .434441110
72 -2 B . . .434411110
73 -3 B . . .434111110
74 -4 B . . .431111110
75 -3 B . . .401111110
76 -2 B . . .404111110
77 -1 B . . .404411110
78 0 B . . .404441110
79 1 B . . .404444110
80 2 B . . .404444410
81 3 B . . .404444440
82 2 A . . .404444440
83 3 A . . .404444430
84 4 B . . .4044444310
85 3 A . . .4044444310
86 4 B . . .4044444320
87 3 A . . .4044444320
88 4 B . . .4044444330
89 3 A . . .4044444330
90 2 A . . .4044444340
91 1 A . . .4044444440
92 2 A . . .4044443440
93 3 A . . .4044443340
94 4 A . . .4044443330
95 5 B . . .40444433310
96 4 A . . .40444433310
97 5 B . . .40444433320
98 4 A . . .40444433320
99 5 B . . .40444433330
100 4 A . . .40444433330
101 3 A . . .40444433340
102 2 A . . .40444433440
103 1 A . . .40444434440
104 0 A . . .40444444440
105 1 A . . .40444344440
106 2 A . . .40444334440
107 3 A . . .40444333440
108 4 A . . .40444333340
109 5 A . . .40444333330
110 6 B . . .404443333310
111 5 A . . .404443333310
112 6 B . . .404443333320
113 5 A . . .404443333320
114 6 B . . .404443333330
115 5 A . . .404443333330
116 4 A . . .404443333340
117 3 A . . .404443333440
118 2 A . . .404443334440
119 1 A . . .404443344440
120 0 A . . .404443444440
121 -1 A . . .404444444440
122 0 A . . .404434444440
123 1 A . . .404433444440
124 2 A . . .404433344440
125 3 A . . .404433334440
126 4 A . . .404433333440
127 5 A . . .404433333340
128 6 A . . .404433333330
129 7 B . . .4044333333310
130 6 A . . .4044333333310
131 7 B . . .4044333333320
132 6 A . . .4044333333320
133 7 B . . .4044333333330
134 6 A . . .4044333333330
135 5 A . . .4044333333340
136 4 A . . .4044333333440
137 3 A . . .4044333334440
138 2 A . . .4044333344440
139 1 A . . .4044333444440
140 0 A . . .4044334444440
141 -1 A . . .4044344444440
142 -2 A . . .4044444444440
143 -1 A . . .4043444444440
144 0 A . . .4043344444440
145 1 A . . .4043334444440
146 2 A . . .4043333444440
147 3 A . . .4043333344440
148 4 A . . .4043333334440
149 5 A . . .4043333333440
150 6 A . . .4043333333340
151 7 A . . .4043333333330
152 8 B . . .40433333333310
153 7 A . . .40433333333310
154 8 B . . .40433333333320
155 7 A . . .40433333333320
156 8 B . . .40433333333330
157 7 A . . .40433333333330
158 6 A . . .40433333333340
159 5 A . . .40433333333440
160 4 A . . .40433333334440
161 3 A . . .40433333344440
162 2 A . . .40433333444440
163 1 A . . .40433334444440
164 0 A . . .40433344444440
165 -1 A . . .40433444444440
166 -2 A . . .40434444444440
167 -3 A . . .40444444444440
168 -2 A . . .40344444444440
169 -1 A . . .40334444444440
170 0 A . . .40333444444440
171 1 A . . .40333344444440
172 2 A . . .40333334444440
173 3 A . . .40333333444440
174 4 A . . .40333333344440
175 5 A . . .40333333334440
176 6 A . . .40333333333440
177 7 A . . .40333333333340
178 8 A . . .40333333333330
179 9 B . . .403333333333310
180 8 A . . .403333333333310
181 9 B . . .403333333333320
182 8 A . . .403333333333320
183 9 B . . .403333333333330
184 8 A . . .403333333333330
185 7 A . . .403333333333340
186 6 A . . .403333333333440
187 5 A . . .403333333334440
188 4 A . . .403333333344440
189 3 A . . .403333333444440
190 2 A . . .403333334444440
191 1 A . . .403333344444440
192 0 A . . .403333444444440
193 -1 A . . .403334444444440
194 -2 A . . .403344444444440
195 -3 A . . .403444444444440
196 -4 A . . .404444444444440
197 -3 B . . .414444444444440
198 -4 B . . .411444444444440
199 -3 B . . .441444444444440
200 -2 B . . .444444444444440
After 200 steps (201 lines): state = B.
Produced 14 nonzeros.
Tape index -2, scanned [-5 .. 9].
| 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 | 126 | 15 | 10 | 10 | 50 | 41 | 0 | 2 | 4 | 6 | 12 |
| B | 74 | 34 | 22 | 1 | 17 | 1 | 9 | 74 | 8 | ||