Comment: This TM produces 40740206640846 ones in 5690620927332136555840780353 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State | on 0 |
on 1 |
on 0 | on 1 | ||||
---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | |||||
A | B1R | C0L | 1 | right | B | 0 | left | C |
B | A1L | D1R | 1 | left | A | 1 | right | D |
C | D1R | C1L | 1 | right | D | 1 | left | C |
D | E1R | F1L | 1 | right | E | 1 | left | F |
E | A0R | B1R | 0 | right | A | 1 | right | B |
F | Z1R | D0L | 1 | right | Z | 0 | left | D |
The same TM just simple. The same TM with repetitions reduced. Simulation is done with tape symbol exponents. The same TM as 1-bck-2-macro machine. The same TM as 1-bck-2-macro machine with pure additive config-TRs. Step Tpos Tape contents 0 0 <A 1 1 1 B> 2 0 1 <A 1 3 -1 <C 0 1 4 0 1 D> 0 1 5 1 1 1 E> 1 6 2 13 B> 7 1 13 <A 1 8 0 1 1 <C 0 1 + 10 -2 <C 1 1 0 1 11 -1 1 D> 1 1 0 1 12 -2 1 <F 1 1 0 1 13 -3 <D 0 1 1 0 1 14 -2 1 E> 0 1 1 0 1 15 -1 1 0 A> 1 1 0 1 16 -2 1 0 <C 0 1 0 1 17 -1 1 1 D> 0 1 0 1 18 0 13 E> 1 0 1 19 1 14 B> 0 1 20 0 14 <A 1 1 21 -1 13 <C 0 1 1 + 24 -4 <C 13 0 1 1 25 -3 1 D> 13 0 1 1 26 -4 1 <F 13 0 1 1 27 -5 <D 0 13 0 1 1 28 -4 1 E> 0 13 0 1 1 29 -3 1 0 A> 13 0 1 1 30 -4 1 0 <C 0 1 1 0 1 1 31 -3 1 1 D> 0 1 1 0 1 1 32 -2 13 E> 1 1 0 1 1 33 -1 14 B> 1 0 1 1 34 0 15 D> 0 1 1 35 1 16 E> 1 1 36 2 17 B> 1 37 3 18 D> 38 4 19 E> 39 5 19 0 A> 40 6 19 0 1 B> 41 5 19 0 1 <A 1 42 4 19 0 <C 0 1 43 5 110 D> 0 1 44 6 111 E> 1 45 7 112 B> 46 6 112 <A 1 47 5 111 <C 0 1 + 58 -6 <C 111 0 1 59 -5 1 D> 111 0 1 60 -6 1 <F 111 0 1 61 -7 <D 0 111 0 1 62 -6 1 E> 0 111 0 1 63 -5 1 0 A> 111 0 1 64 -6 1 0 <C 0 110 0 1 65 -5 1 1 D> 0 110 0 1 66 -4 13 E> 110 0 1 67 -3 14 B> 19 0 1 68 -2 15 D> 18 0 1 69 -3 15 <F 18 0 1 70 -4 14 <D 0 18 0 1 71 -5 13 <F 1 0 18 0 1 72 -6 1 1 <D 0 1 0 18 0 1 73 -7 1 <F 1 0 1 0 18 0 1 74 -8 <D 0 1 0 1 0 18 0 1 75 -7 1 E> 0 1 0 1 0 18 0 1 76 -6 1 0 A> 1 0 1 0 18 0 1 77 -7 1 0 <C 0 0 1 0 18 0 1 78 -6 1 1 D> 0 0 1 0 18 0 1 79 -5 13 E> 0 1 0 18 0 1 80 -4 13 0 A> 1 0 18 0 1 81 -5 13 0 <C 0 0 18 0 1 82 -4 14 D> 0 0 18 0 1 83 -3 15 E> 0 18 0 1 84 -2 15 0 A> 18 0 1 85 -3 15 0 <C 0 17 0 1 86 -2 16 D> 0 17 0 1 87 -1 17 E> 17 0 1 88 0 18 B> 16 0 1 89 1 19 D> 15 0 1 90 0 19 <F 15 0 1 91 -1 18 <D 0 15 0 1 92 -2 17 <F 1 0 15 0 1 93 -3 16 <D 0 1 0 15 0 1 94 -4 15 <F 1 0 1 0 15 0 1 95 -5 14 <D 0 1 0 1 0 15 0 1 96 -6 13 <F 1 0 1 0 1 0 15 0 1 97 -7 1 1 <D 0 1 0 1 0 1 0 15 0 1 98 -8 1 <F 1 0 1 0 1 0 1 0 15 0 1 99 -9 <D 0 1 0 1 0 1 0 1 0 15 0 1 100 -8 1 E> 0 1 0 1 0 1 0 1 0 15 0 1 101 -7 1 0 A> 1 0 1 0 1 0 1 0 15 0 1 102 -8 1 0 <C 0 0 1 0 1 0 1 0 15 0 1 103 -7 1 1 D> 0 0 1 0 1 0 1 0 15 0 1 104 -6 13 E> 0 1 0 1 0 1 0 15 0 1 105 -5 13 0 A> 1 0 1 0 1 0 15 0 1 106 -6 13 0 <C 0 0 1 0 1 0 15 0 1 107 -5 14 D> 0 0 1 0 1 0 15 0 1 108 -4 15 E> 0 1 0 1 0 15 0 1 109 -3 15 0 A> 1 0 1 0 15 0 1 110 -4 15 0 <C 0 0 1 0 15 0 1 111 -3 16 D> 0 0 1 0 15 0 1 112 -2 17 E> 0 1 0 15 0 1 113 -1 17 0 A> 1 0 15 0 1 114 -2 17 0 <C 0 0 15 0 1 115 -1 18 D> 0 0 15 0 1 116 0 19 E> 0 15 0 1 117 1 19 0 A> 15 0 1 118 0 19 0 <C 0 14 0 1 119 1 110 D> 0 14 0 1 120 2 111 E> 14 0 1 121 3 112 B> 13 0 1 122 4 113 D> 1 1 0 1 123 3 113 <F 1 1 0 1 124 2 112 <D 0 1 1 0 1 125 1 111 <F 1 0 1 1 0 1 126 0 110 <D 0 1 0 1 1 0 1 127 -1 19 <F 1 0 1 0 1 1 0 1 128 -2 18 <D 0 1 0 1 0 1 1 0 1 129 -3 17 <F 1 0 1 0 1 0 1 1 0 1 130 -4 16 <D 0 1 0 1 0 1 0 1 1 0 1 131 -5 15 <F 1 0 1 0 1 0 1 0 1 1 0 1 132 -6 14 <D 0 1 0 1 0 1 0 1 0 1 1 0 1 133 -7 13 <F 1 0 1 0 1 0 1 0 1 0 1 1 0 1 134 -8 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 135 -9 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 136 -10 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 137 -9 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 138 -8 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 139 -9 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 140 -8 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 141 -7 13 E> 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 142 -6 13 0 A> 1 0 1 0 1 0 1 0 1 0 1 1 0 1 143 -7 13 0 <C 0 0 1 0 1 0 1 0 1 0 1 1 0 1 144 -6 14 D> 0 0 1 0 1 0 1 0 1 0 1 1 0 1 145 -5 15 E> 0 1 0 1 0 1 0 1 0 1 1 0 1 146 -4 15 0 A> 1 0 1 0 1 0 1 0 1 1 0 1 147 -5 15 0 <C 0 0 1 0 1 0 1 0 1 1 0 1 148 -4 16 D> 0 0 1 0 1 0 1 0 1 1 0 1 149 -3 17 E> 0 1 0 1 0 1 0 1 1 0 1 150 -2 17 0 A> 1 0 1 0 1 0 1 1 0 1 151 -3 17 0 <C 0 0 1 0 1 0 1 1 0 1 152 -2 18 D> 0 0 1 0 1 0 1 1 0 1 153 -1 19 E> 0 1 0 1 0 1 1 0 1 154 0 19 0 A> 1 0 1 0 1 1 0 1 155 -1 19 0 <C 0 0 1 0 1 1 0 1 156 0 110 D> 0 0 1 0 1 1 0 1 157 1 111 E> 0 1 0 1 1 0 1 158 2 111 0 A> 1 0 1 1 0 1 159 1 111 0 <C 0 0 1 1 0 1 160 2 112 D> 0 0 1 1 0 1 161 3 113 E> 0 1 1 0 1 162 4 113 0 A> 1 1 0 1 163 3 113 0 <C 0 1 0 1 164 4 114 D> 0 1 0 1 165 5 115 E> 1 0 1 166 6 116 B> 0 1 167 5 116 <A 1 1 168 4 115 <C 0 1 1 + 183 -11 <C 115 0 1 1 184 -10 1 D> 115 0 1 1 185 -11 1 <F 115 0 1 1 186 -12 <D 0 115 0 1 1 187 -11 1 E> 0 115 0 1 1 188 -10 1 0 A> 115 0 1 1 189 -11 1 0 <C 0 114 0 1 1 190 -10 1 1 D> 0 114 0 1 1 191 -9 13 E> 114 0 1 1 192 -8 14 B> 113 0 1 1 193 -7 15 D> 112 0 1 1 194 -8 15 <F 112 0 1 1 195 -9 14 <D 0 112 0 1 1 196 -10 13 <F 1 0 112 0 1 1 197 -11 1 1 <D 0 1 0 112 0 1 1 198 -12 1 <F 1 0 1 0 112 0 1 1 199 -13 <D 0 1 0 1 0 112 0 1 1 200 -12 1 E> 0 1 0 1 0 112 0 1 1 201 -11 1 0 A> 1 0 1 0 112 0 1 1 202 -12 1 0 <C 0 0 1 0 112 0 1 1 203 -11 1 1 D> 0 0 1 0 112 0 1 1 204 -10 13 E> 0 1 0 112 0 1 1 205 -9 13 0 A> 1 0 112 0 1 1 206 -10 13 0 <C 0 0 112 0 1 1 207 -9 14 D> 0 0 112 0 1 1 208 -8 15 E> 0 112 0 1 1 209 -7 15 0 A> 112 0 1 1 210 -8 15 0 <C 0 111 0 1 1 211 -7 16 D> 0 111 0 1 1 212 -6 17 E> 111 0 1 1 213 -5 18 B> 110 0 1 1 214 -4 19 D> 19 0 1 1 215 -5 19 <F 19 0 1 1 216 -6 18 <D 0 19 0 1 1 217 -7 17 <F 1 0 19 0 1 1 218 -8 16 <D 0 1 0 19 0 1 1 219 -9 15 <F 1 0 1 0 19 0 1 1 220 -10 14 <D 0 1 0 1 0 19 0 1 1 221 -11 13 <F 1 0 1 0 1 0 19 0 1 1 222 -12 1 1 <D 0 1 0 1 0 1 0 19 0 1 1 223 -13 1 <F 1 0 1 0 1 0 1 0 19 0 1 1 224 -14 <D 0 1 0 1 0 1 0 1 0 19 0 1 1 225 -13 1 E> 0 1 0 1 0 1 0 1 0 19 0 1 1 226 -12 1 0 A> 1 0 1 0 1 0 1 0 19 0 1 1 227 -13 1 0 <C 0 0 1 0 1 0 1 0 19 0 1 1 228 -12 1 1 D> 0 0 1 0 1 0 1 0 19 0 1 1 229 -11 13 E> 0 1 0 1 0 1 0 19 0 1 1 230 -10 13 0 A> 1 0 1 0 1 0 19 0 1 1 231 -11 13 0 <C 0 0 1 0 1 0 19 0 1 1 232 -10 14 D> 0 0 1 0 1 0 19 0 1 1 233 -9 15 E> 0 1 0 1 0 19 0 1 1 234 -8 15 0 A> 1 0 1 0 19 0 1 1 235 -9 15 0 <C 0 0 1 0 19 0 1 1 236 -8 16 D> 0 0 1 0 19 0 1 1 237 -7 17 E> 0 1 0 19 0 1 1 238 -6 17 0 A> 1 0 19 0 1 1 239 -7 17 0 <C 0 0 19 0 1 1 240 -6 18 D> 0 0 19 0 1 1 241 -5 19 E> 0 19 0 1 1 242 -4 19 0 A> 19 0 1 1 243 -5 19 0 <C 0 18 0 1 1 244 -4 110 D> 0 18 0 1 1 245 -3 111 E> 18 0 1 1 246 -2 112 B> 17 0 1 1 247 -1 113 D> 16 0 1 1 248 -2 113 <F 16 0 1 1 249 -3 112 <D 0 16 0 1 1 250 -4 111 <F 1 0 16 0 1 1 251 -5 110 <D 0 1 0 16 0 1 1 252 -6 19 <F 1 0 1 0 16 0 1 1 253 -7 18 <D 0 1 0 1 0 16 0 1 1 254 -8 17 <F 1 0 1 0 1 0 16 0 1 1 255 -9 16 <D 0 1 0 1 0 1 0 16 0 1 1 256 -10 15 <F 1 0 1 0 1 0 1 0 16 0 1 1 257 -11 14 <D 0 1 0 1 0 1 0 1 0 16 0 1 1 258 -12 13 <F 1 0 1 0 1 0 1 0 1 0 16 0 1 1 259 -13 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 260 -14 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 261 -15 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 262 -14 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 263 -13 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 264 -14 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 265 -13 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 266 -12 13 E> 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1 267 -11 13 0 A> 1 0 1 0 1 0 1 0 1 0 16 0 1 1 268 -12 13 0 <C 0 0 1 0 1 0 1 0 1 0 16 0 1 1 269 -11 14 D> 0 0 1 0 1 0 1 0 1 0 16 0 1 1 270 -10 15 E> 0 1 0 1 0 1 0 1 0 16 0 1 1 271 -9 15 0 A> 1 0 1 0 1 0 1 0 16 0 1 1 272 -10 15 0 <C 0 0 1 0 1 0 1 0 16 0 1 1 273 -9 16 D> 0 0 1 0 1 0 1 0 16 0 1 1 274 -8 17 E> 0 1 0 1 0 1 0 16 0 1 1 275 -7 17 0 A> 1 0 1 0 1 0 16 0 1 1 276 -8 17 0 <C 0 0 1 0 1 0 16 0 1 1 277 -7 18 D> 0 0 1 0 1 0 16 0 1 1 278 -6 19 E> 0 1 0 1 0 16 0 1 1 279 -5 19 0 A> 1 0 1 0 16 0 1 1 280 -6 19 0 <C 0 0 1 0 16 0 1 1 281 -5 110 D> 0 0 1 0 16 0 1 1 282 -4 111 E> 0 1 0 16 0 1 1 283 -3 111 0 A> 1 0 16 0 1 1 284 -4 111 0 <C 0 0 16 0 1 1 285 -3 112 D> 0 0 16 0 1 1 286 -2 113 E> 0 16 0 1 1 287 -1 113 0 A> 16 0 1 1 288 -2 113 0 <C 0 15 0 1 1 289 -1 114 D> 0 15 0 1 1 290 0 115 E> 15 0 1 1 291 1 116 B> 14 0 1 1 292 2 117 D> 13 0 1 1 293 1 117 <F 13 0 1 1 294 0 116 <D 0 13 0 1 1 295 -1 115 <F 1 0 13 0 1 1 296 -2 114 <D 0 1 0 13 0 1 1 297 -3 113 <F 1 0 1 0 13 0 1 1 298 -4 112 <D 0 1 0 1 0 13 0 1 1 299 -5 111 <F 1 0 1 0 1 0 13 0 1 1 300 -6 110 <D 0 1 0 1 0 1 0 13 0 1 1 301 -7 19 <F 1 0 1 0 1 0 1 0 13 0 1 1 302 -8 18 <D 0 1 0 1 0 1 0 1 0 13 0 1 1 303 -9 17 <F 1 0 1 0 1 0 1 0 1 0 13 0 1 1 304 -10 16 <D 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 305 -11 15 <F 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 306 -12 14 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 307 -13 13 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 308 -14 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 309 -15 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 310 -16 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 311 -15 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 312 -14 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 313 -15 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 314 -14 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 315 -13 13 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 316 -12 13 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 317 -13 13 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 318 -12 14 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 319 -11 15 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 320 -10 15 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 321 -11 15 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 322 -10 16 D> 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 323 -9 17 E> 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1 324 -8 17 0 A> 1 0 1 0 1 0 1 0 1 0 13 0 1 1 325 -9 17 0 <C 0 0 1 0 1 0 1 0 1 0 13 0 1 1 326 -8 18 D> 0 0 1 0 1 0 1 0 1 0 13 0 1 1 327 -7 19 E> 0 1 0 1 0 1 0 1 0 13 0 1 1 After 327 steps (301 lines): state = E. Produced 18 ones. Tape index -7, scanned [-16 .. 7].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 46 | 2 | 44 | 0 | 2 |
B | 15 | 6 | 9 | 1 | 33 |
C | 75 | 44 | 31 | 3 | 8 |
D | 96 | 53 | 43 | 4 | 11 |
E | 52 | 39 | 13 | 14 | 5 |
F | 43 | 43 | 12 |