Comment: This TM produces >1.29*10^865 ones in >3*10^1730 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 | F0L | 1 | right | B | 0 | left | F |
B | C0R | D0R | 0 | right | C | 0 | right | D |
C | D1L | E1R | 1 | left | D | 1 | right | E |
D | E0L | D0L | 0 | left | E | 0 | left | D |
E | A0R | C1R | 0 | right | A | 1 | right | C |
F | A1L | Z1R | 1 | left | A | 1 | right | Z |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 2-bck-macro machine. The same TM as 2-bck-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . . . . . 0 1 1 B . . . . . . . . . . 10 2 2 C . . . . . . . . . . 100 3 1 D . . . . . . . . . . 101 4 0 E . . . . . . . . . . 101 5 1 C . . . . . . . . . . 101 6 0 D . . . . . . . . . . 111 7 -1 D . . . . . . . . . .0011 8 -2 E . . . . . . . . . 00011 9 -1 A . . . . . . . . . 00011 10 0 B . . . . . . . . . 01011 11 1 C . . . . . . . . . 01011 12 2 E . . . . . . . . . 01011 13 3 C . . . . . . . . . 010110 14 2 D . . . . . . . . . 010111 + 16 0 D . . . . . . . . . 010001 by D/1 * 2 17 -1 E . . . . . . . . . 010001 18 0 C . . . . . . . . . 010001 19 -1 D . . . . . . . . . 011001 20 -2 D . . . . . . . . . 001001 21 -3 E . . . . . . . . .0001001 22 -2 A . . . . . . . . .0001001 23 -1 B . . . . . . . . .0101001 24 0 C . . . . . . . . .0101001 25 1 E . . . . . . . . .0101001 26 2 A . . . . . . . . .0101001 27 3 B . . . . . . . . .0101011 28 4 D . . . . . . . . .01010100 29 3 E . . . . . . . . .01010100 30 4 A . . . . . . . . .01010100 31 5 B . . . . . . . . .010101010 32 6 C . . . . . . . . .0101010100 33 5 D . . . . . . . . .0101010101 34 4 E . . . . . . . . .0101010101 35 5 C . . . . . . . . .0101010101 36 4 D . . . . . . . . .0101010111 37 3 D . . . . . . . . .0101010011 38 2 E . . . . . . . . .0101010011 39 3 C . . . . . . . . .0101010011 40 2 D . . . . . . . . .0101011011 41 1 D . . . . . . . . .0101001011 42 0 E . . . . . . . . .0101001011 43 1 C . . . . . . . . .0101001011 44 0 D . . . . . . . . .0101101011 45 -1 D . . . . . . . . .0100101011 46 -2 E . . . . . . . . .0100101011 47 -1 C . . . . . . . . .0100101011 48 -2 D . . . . . . . . .0110101011 49 -3 D . . . . . . . . .0010101011 50 -4 E . . . . . . . . 00010101011 51 -3 A . . . . . . . . 00010101011 52 -2 B . . . . . . . . 01010101011 53 -1 C . . . . . . . . 01010101011 54 0 E . . . . . . . . 01010101011 55 1 A . . . . . . . . 01010101011 56 0 F . . . . . . . . 01010001011 57 -1 A . . . . . . . . 01011001011 58 -2 F . . . . . . . . 01001001011 59 -3 A . . . . . . . . 01101001011 60 -4 F . . . . . . . . 00101001011 61 -5 A . . . . . . . .010101001011 62 -4 B . . . . . . . .110101001011 63 -3 D . . . . . . . .100101001011 64 -4 E . . . . . . . .100101001011 65 -3 A . . . . . . . .100101001011 66 -2 B . . . . . . . .101101001011 67 -1 D . . . . . . . .101001001011 68 -2 E . . . . . . . .101001001011 69 -1 A . . . . . . . .101001001011 70 0 B . . . . . . . .101011001011 71 1 D . . . . . . . .101010001011 72 0 E . . . . . . . .101010001011 73 1 A . . . . . . . .101010001011 74 2 B . . . . . . . .101010101011 75 3 C . . . . . . . .101010101011 76 4 E . . . . . . . .101010101011 77 5 A . . . . . . . .101010101011 78 4 F . . . . . . . .101010101001 79 3 A . . . . . . . .101010101101 80 2 F . . . . . . . .101010100101 81 1 A . . . . . . . .101010110101 82 0 F . . . . . . . .101010010101 83 -1 A . . . . . . . .101011010101 84 -2 F . . . . . . . .101001010101 85 -3 A . . . . . . . .101101010101 86 -4 F . . . . . . . .100101010101 87 -5 A . . . . . . . .110101010101 88 -6 F . . . . . . . 0010101010101 89 -7 A . . . . . . .01010101010101 90 -6 B . . . . . . .11010101010101 91 -5 D . . . . . . .10010101010101 92 -6 E . . . . . . .10010101010101 93 -5 A . . . . . . .10010101010101 94 -4 B . . . . . . .10110101010101 95 -3 D . . . . . . .10100101010101 96 -4 E . . . . . . .10100101010101 97 -3 A . . . . . . .10100101010101 98 -2 B . . . . . . .10101101010101 99 -1 D . . . . . . .10101001010101 100 -2 E . . . . . . .10101001010101 101 -1 A . . . . . . .10101001010101 102 0 B . . . . . . .10101011010101 103 1 D . . . . . . .10101010010101 104 0 E . . . . . . .10101010010101 105 1 A . . . . . . .10101010010101 106 2 B . . . . . . .10101010110101 107 3 D . . . . . . .10101010100101 108 2 E . . . . . . .10101010100101 109 3 A . . . . . . .10101010100101 110 4 B . . . . . . .10101010101101 111 5 D . . . . . . .10101010101001 112 4 E . . . . . . .10101010101001 113 5 A . . . . . . .10101010101001 114 6 B . . . . . . .10101010101011 115 7 D . . . . . . .101010101010100 116 6 E . . . . . . .101010101010100 117 7 A . . . . . . .101010101010100 118 8 B . . . . . . .1010101010101010 119 9 C . . . . . . .10101010101010100 120 8 D . . . . . . .10101010101010101 121 7 E . . . . . . .10101010101010101 122 8 C . . . . . . .10101010101010101 123 7 D . . . . . . .10101010101010111 124 6 D . . . . . . .10101010101010011 125 5 E . . . . . . .10101010101010011 126 6 C . . . . . . .10101010101010011 127 5 D . . . . . . .10101010101011011 128 4 D . . . . . . .10101010101001011 129 3 E . . . . . . .10101010101001011 130 4 C . . . . . . .10101010101001011 131 3 D . . . . . . .10101010101101011 132 2 D . . . . . . .10101010100101011 133 1 E . . . . . . .10101010100101011 134 2 C . . . . . . .10101010100101011 135 1 D . . . . . . .10101010110101011 136 0 D . . . . . . .10101010010101011 137 -1 E . . . . . . .10101010010101011 138 0 C . . . . . . .10101010010101011 139 -1 D . . . . . . .10101011010101011 140 -2 D . . . . . . .10101001010101011 141 -3 E . . . . . . .10101001010101011 142 -2 C . . . . . . .10101001010101011 143 -3 D . . . . . . .10101101010101011 144 -4 D . . . . . . .10100101010101011 145 -5 E . . . . . . .10100101010101011 146 -4 C . . . . . . .10100101010101011 147 -5 D . . . . . . .10110101010101011 148 -6 D . . . . . . .10010101010101011 149 -7 E . . . . . . .10010101010101011 150 -6 C . . . . . . .10010101010101011 151 -7 D . . . . . . .11010101010101011 152 -8 D . . . . . . 001010101010101011 153 -9 E . . . . . .0001010101010101011 154 -8 A . . . . . .0001010101010101011 155 -7 B . . . . . .0101010101010101011 156 -6 C . . . . . .0101010101010101011 157 -5 E . . . . . .0101010101010101011 158 -4 A . . . . . .0101010101010101011 159 -5 F . . . . . .0101000101010101011 160 -6 A . . . . . .0101100101010101011 161 -7 F . . . . . .0100100101010101011 162 -8 A . . . . . .0110100101010101011 163 -9 F . . . . . .0010100101010101011 164 -10 A . . . . . 01010100101010101011 165 -9 B . . . . . 11010100101010101011 166 -8 D . . . . . 10010100101010101011 167 -9 E . . . . . 10010100101010101011 168 -8 A . . . . . 10010100101010101011 169 -7 B . . . . . 10110100101010101011 170 -6 D . . . . . 10100100101010101011 171 -7 E . . . . . 10100100101010101011 172 -6 A . . . . . 10100100101010101011 173 -5 B . . . . . 10101100101010101011 174 -4 D . . . . . 10101000101010101011 175 -5 E . . . . . 10101000101010101011 176 -4 A . . . . . 10101000101010101011 177 -3 B . . . . . 10101010101010101011 178 -2 C . . . . . 10101010101010101011 179 -1 E . . . . . 10101010101010101011 180 0 A . . . . . 10101010101010101011 181 -1 F . . . . . 10101010100010101011 182 -2 A . . . . . 10101010110010101011 183 -3 F . . . . . 10101010010010101011 184 -4 A . . . . . 10101011010010101011 185 -5 F . . . . . 10101001010010101011 186 -6 A . . . . . 10101101010010101011 187 -7 F . . . . . 10100101010010101011 188 -8 A . . . . . 10110101010010101011 189 -9 F . . . . . 10010101010010101011 190 -10 A . . . . . 11010101010010101011 191 -11 F . . . . .001010101010010101011 192 -12 A . . . . 0101010101010010101011 193 -11 B . . . . 1101010101010010101011 194 -10 D . . . . 1001010101010010101011 195 -11 E . . . . 1001010101010010101011 196 -10 A . . . . 1001010101010010101011 197 -9 B . . . . 1011010101010010101011 198 -8 D . . . . 1010010101010010101011 199 -9 E . . . . 1010010101010010101011 200 -8 A . . . . 1010010101010010101011 201 -7 B . . . . 1010110101010010101011 202 -6 D . . . . 1010100101010010101011 203 -7 E . . . . 1010100101010010101011 204 -6 A . . . . 1010100101010010101011 205 -5 B . . . . 1010101101010010101011 206 -4 D . . . . 1010101001010010101011 207 -5 E . . . . 1010101001010010101011 208 -4 A . . . . 1010101001010010101011 209 -3 B . . . . 1010101011010010101011 210 -2 D . . . . 1010101010010010101011 211 -3 E . . . . 1010101010010010101011 212 -2 A . . . . 1010101010010010101011 213 -1 B . . . . 1010101010110010101011 214 0 D . . . . 1010101010100010101011 215 -1 E . . . . 1010101010100010101011 216 0 A . . . . 1010101010100010101011 217 1 B . . . . 1010101010101010101011 218 2 C . . . . 1010101010101010101011 219 3 E . . . . 1010101010101010101011 220 4 A . . . . 1010101010101010101011 221 3 F . . . . 1010101010101010001011 222 2 A . . . . 1010101010101011001011 223 1 F . . . . 1010101010101001001011 224 0 A . . . . 1010101010101101001011 225 -1 F . . . . 1010101010100101001011 226 -2 A . . . . 1010101010110101001011 227 -3 F . . . . 1010101010010101001011 228 -4 A . . . . 1010101011010101001011 229 -5 F . . . . 1010101001010101001011 230 -6 A . . . . 1010101101010101001011 231 -7 F . . . . 1010100101010101001011 232 -8 A . . . . 1010110101010101001011 233 -9 F . . . . 1010010101010101001011 234 -10 A . . . . 1011010101010101001011 235 -11 F . . . . 1001010101010101001011 236 -12 A . . . . 1101010101010101001011 237 -13 F . . . .00101010101010101001011 238 -14 A . . . 010101010101010101001011 239 -13 B . . . 110101010101010101001011 240 -12 D . . . 100101010101010101001011 241 -13 E . . . 100101010101010101001011 242 -12 A . . . 100101010101010101001011 243 -11 B . . . 101101010101010101001011 244 -10 D . . . 101001010101010101001011 245 -11 E . . . 101001010101010101001011 246 -10 A . . . 101001010101010101001011 247 -9 B . . . 101011010101010101001011 248 -8 D . . . 101010010101010101001011 249 -9 E . . . 101010010101010101001011 250 -8 A . . . 101010010101010101001011 251 -7 B . . . 101010110101010101001011 252 -6 D . . . 101010100101010101001011 253 -7 E . . . 101010100101010101001011 254 -6 A . . . 101010100101010101001011 255 -5 B . . . 101010101101010101001011 256 -4 D . . . 101010101001010101001011 257 -5 E . . . 101010101001010101001011 258 -4 A . . . 101010101001010101001011 259 -3 B . . . 101010101011010101001011 260 -2 D . . . 101010101010010101001011 261 -3 E . . . 101010101010010101001011 262 -2 A . . . 101010101010010101001011 263 -1 B . . . 101010101010110101001011 264 0 D . . . 101010101010100101001011 265 -1 E . . . 101010101010100101001011 266 0 A . . . 101010101010100101001011 267 1 B . . . 101010101010101101001011 268 2 D . . . 101010101010101001001011 269 1 E . . . 101010101010101001001011 270 2 A . . . 101010101010101001001011 271 3 B . . . 101010101010101011001011 272 4 D . . . 101010101010101010001011 273 3 E . . . 101010101010101010001011 274 4 A . . . 101010101010101010001011 275 5 B . . . 101010101010101010101011 276 6 C . . . 101010101010101010101011 277 7 E . . . 101010101010101010101011 278 8 A . . . 101010101010101010101011 279 7 F . . . 101010101010101010101001 280 6 A . . . 101010101010101010101101 281 5 F . . . 101010101010101010100101 282 4 A . . . 101010101010101010110101 283 3 F . . . 101010101010101010010101 284 2 A . . . 101010101010101011010101 285 1 F . . . 101010101010101001010101 286 0 A . . . 101010101010101101010101 287 -1 F . . . 101010101010100101010101 288 -2 A . . . 101010101010110101010101 289 -3 F . . . 101010101010010101010101 290 -4 A . . . 101010101011010101010101 291 -5 F . . . 101010101001010101010101 292 -6 A . . . 101010101101010101010101 293 -7 F . . . 101010100101010101010101 294 -8 A . . . 101010110101010101010101 295 -9 F . . . 101010010101010101010101 296 -10 A . . . 101011010101010101010101 297 -11 F . . . 101001010101010101010101 298 -12 A . . . 101101010101010101010101 299 -13 F . . . 100101010101010101010101 300 -14 A . . . 110101010101010101010101 301 -15 F . . .0010101010101010101010101 After 301 steps (301 lines): state = F. Produced 12 ones. Tape index -15, scanned [-14 .. 9].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 79 | 40 | 39 | 0 | 55 |
B | 40 | 11 | 29 | 1 | 27 |
C | 26 | 18 | 8 | 2 | 11 |
D | 63 | 47 | 16 | 3 | 6 |
E | 55 | 40 | 15 | 8 | 4 |
F | 38 | 38 | 56 |