Comment: This TM produces 11974457230330 ones in 83425527831799543594604927 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 | C1L | 1 | right | B | 1 | left | C |
B | A0L | D0L | 0 | left | A | 0 | left | D |
C | A1L | Z1R | 1 | left | A | 1 | right | Z |
D | B1L | E1R | 1 | left | B | 1 | right | E |
E | D0R | F0R | 0 | right | D | 0 | right | F |
F | F0R | D0L | 0 | right | F | 0 | left | D |
The same TM just simple. Simulation is done with repetitions reduced. The same TM 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 St Tape contents 0 0 A . . . . . . . . . . . . . . . . . . . 0 1 1 B . . . . . . . . . . . . . . . . . . . 10 2 0 A . . . . . . . . . . . . . . . . . . . 10 3 -1 C . . . . . . . . . . . . . . . . . . .010 4 -2 A . . . . . . . . . . . . . . . . . . 0110 5 -1 B . . . . . . . . . . . . . . . . . . 1110 6 -2 D . . . . . . . . . . . . . . . . . . 1010 7 -1 E . . . . . . . . . . . . . . . . . . 1010 8 0 D . . . . . . . . . . . . . . . . . . 1010 9 1 E . . . . . . . . . . . . . . . . . . 1010 10 2 D . . . . . . . . . . . . . . . . . . 10100 11 1 B . . . . . . . . . . . . . . . . . . 10101 12 0 A . . . . . . . . . . . . . . . . . . 10101 13 -1 C . . . . . . . . . . . . . . . . . . 10101 14 -2 A . . . . . . . . . . . . . . . . . . 11101 15 -3 C . . . . . . . . . . . . . . . . . .011101 16 -4 A . . . . . . . . . . . . . . . . . 0111101 17 -3 B . . . . . . . . . . . . . . . . . 1111101 18 -4 D . . . . . . . . . . . . . . . . . 1011101 19 -3 E . . . . . . . . . . . . . . . . . 1011101 20 -2 D . . . . . . . . . . . . . . . . . 1011101 21 -1 E . . . . . . . . . . . . . . . . . 1011101 22 0 F . . . . . . . . . . . . . . . . . 1010101 23 -1 D . . . . . . . . . . . . . . . . . 1010001 24 -2 B . . . . . . . . . . . . . . . . . 1011001 25 -3 D . . . . . . . . . . . . . . . . . 1001001 26 -4 B . . . . . . . . . . . . . . . . . 1101001 27 -5 D . . . . . . . . . . . . . . . . .00101001 28 -6 B . . . . . . . . . . . . . . . . 010101001 29 -7 A . . . . . . . . . . . . . . . .0010101001 30 -6 B . . . . . . . . . . . . . . . .1010101001 31 -7 A . . . . . . . . . . . . . . . .1010101001 32 -8 C . . . . . . . . . . . . . . . 01010101001 33 -9 A . . . . . . . . . . . . . . .011010101001 34 -8 B . . . . . . . . . . . . . . .111010101001 35 -9 D . . . . . . . . . . . . . . .101010101001 36 -8 E . . . . . . . . . . . . . . .101010101001 37 -7 D . . . . . . . . . . . . . . .101010101001 38 -6 E . . . . . . . . . . . . . . .101010101001 39 -5 D . . . . . . . . . . . . . . .101010101001 40 -4 E . . . . . . . . . . . . . . .101010101001 41 -3 D . . . . . . . . . . . . . . .101010101001 42 -2 E . . . . . . . . . . . . . . .101010101001 43 -1 D . . . . . . . . . . . . . . .101010101001 44 0 E . . . . . . . . . . . . . . .101010101001 45 1 D . . . . . . . . . . . . . . .101010101001 46 0 B . . . . . . . . . . . . . . .101010101011 47 -1 A . . . . . . . . . . . . . . .101010101011 48 -2 C . . . . . . . . . . . . . . .101010101011 49 -3 A . . . . . . . . . . . . . . .101010111011 50 -4 C . . . . . . . . . . . . . . .101010111011 51 -5 A . . . . . . . . . . . . . . .101011111011 52 -6 C . . . . . . . . . . . . . . .101011111011 53 -7 A . . . . . . . . . . . . . . .101111111011 54 -8 C . . . . . . . . . . . . . . .101111111011 55 -9 A . . . . . . . . . . . . . . .111111111011 56 -10 C . . . . . . . . . . . . . . 0111111111011 57 -11 A . . . . . . . . . . . . . .01111111111011 58 -10 B . . . . . . . . . . . . . .11111111111011 59 -11 D . . . . . . . . . . . . . .10111111111011 60 -10 E . . . . . . . . . . . . . .10111111111011 61 -9 D . . . . . . . . . . . . . .10111111111011 62 -8 E . . . . . . . . . . . . . .10111111111011 63 -7 F . . . . . . . . . . . . . .10101111111011 64 -8 D . . . . . . . . . . . . . .10100111111011 65 -9 B . . . . . . . . . . . . . .10110111111011 66 -10 D . . . . . . . . . . . . . .10010111111011 67 -11 B . . . . . . . . . . . . . .11010111111011 68 -12 D . . . . . . . . . . . . . 001010111111011 69 -13 B . . . . . . . . . . . . .0101010111111011 70 -14 A . . . . . . . . . . . . 00101010111111011 71 -13 B . . . . . . . . . . . . 10101010111111011 72 -14 A . . . . . . . . . . . . 10101010111111011 73 -15 C . . . . . . . . . . . .010101010111111011 74 -16 A . . . . . . . . . . . 0110101010111111011 75 -15 B . . . . . . . . . . . 1110101010111111011 76 -16 D . . . . . . . . . . . 1010101010111111011 77 -15 E . . . . . . . . . . . 1010101010111111011 78 -14 D . . . . . . . . . . . 1010101010111111011 79 -13 E . . . . . . . . . . . 1010101010111111011 80 -12 D . . . . . . . . . . . 1010101010111111011 81 -11 E . . . . . . . . . . . 1010101010111111011 82 -10 D . . . . . . . . . . . 1010101010111111011 83 -9 E . . . . . . . . . . . 1010101010111111011 84 -8 D . . . . . . . . . . . 1010101010111111011 85 -7 E . . . . . . . . . . . 1010101010111111011 86 -6 D . . . . . . . . . . . 1010101010111111011 87 -5 E . . . . . . . . . . . 1010101010111111011 88 -4 F . . . . . . . . . . . 1010101010101111011 89 -5 D . . . . . . . . . . . 1010101010100111011 90 -6 B . . . . . . . . . . . 1010101010110111011 91 -7 D . . . . . . . . . . . 1010101010010111011 92 -8 B . . . . . . . . . . . 1010101011010111011 93 -9 D . . . . . . . . . . . 1010101001010111011 94 -10 B . . . . . . . . . . . 1010101101010111011 95 -11 D . . . . . . . . . . . 1010100101010111011 96 -12 B . . . . . . . . . . . 1010110101010111011 97 -13 D . . . . . . . . . . . 1010010101010111011 98 -14 B . . . . . . . . . . . 1011010101010111011 99 -15 D . . . . . . . . . . . 1001010101010111011 100 -16 B . . . . . . . . . . . 1101010101010111011 101 -17 D . . . . . . . . . . .00101010101010111011 102 -18 B . . . . . . . . . . 010101010101010111011 103 -19 A . . . . . . . . . .0010101010101010111011 104 -18 B . . . . . . . . . .1010101010101010111011 105 -19 A . . . . . . . . . .1010101010101010111011 106 -20 C . . . . . . . . . 01010101010101010111011 107 -21 A . . . . . . . . .011010101010101010111011 108 -20 B . . . . . . . . .111010101010101010111011 109 -21 D . . . . . . . . .101010101010101010111011 110 -20 E . . . . . . . . .101010101010101010111011 111 -19 D . . . . . . . . .101010101010101010111011 112 -18 E . . . . . . . . .101010101010101010111011 113 -17 D . . . . . . . . .101010101010101010111011 114 -16 E . . . . . . . . .101010101010101010111011 115 -15 D . . . . . . . . .101010101010101010111011 116 -14 E . . . . . . . . .101010101010101010111011 117 -13 D . . . . . . . . .101010101010101010111011 118 -12 E . . . . . . . . .101010101010101010111011 119 -11 D . . . . . . . . .101010101010101010111011 120 -10 E . . . . . . . . .101010101010101010111011 121 -9 D . . . . . . . . .101010101010101010111011 122 -8 E . . . . . . . . .101010101010101010111011 123 -7 D . . . . . . . . .101010101010101010111011 124 -6 E . . . . . . . . .101010101010101010111011 125 -5 D . . . . . . . . .101010101010101010111011 126 -4 E . . . . . . . . .101010101010101010111011 127 -3 D . . . . . . . . .101010101010101010111011 128 -2 E . . . . . . . . .101010101010101010111011 129 -1 F . . . . . . . . .101010101010101010101011 130 -2 D . . . . . . . . .101010101010101010100011 131 -3 B . . . . . . . . .101010101010101010110011 132 -4 D . . . . . . . . .101010101010101010010011 133 -5 B . . . . . . . . .101010101010101011010011 134 -6 D . . . . . . . . .101010101010101001010011 135 -7 B . . . . . . . . .101010101010101101010011 136 -8 D . . . . . . . . .101010101010100101010011 137 -9 B . . . . . . . . .101010101010110101010011 138 -10 D . . . . . . . . .101010101010010101010011 139 -11 B . . . . . . . . .101010101011010101010011 140 -12 D . . . . . . . . .101010101001010101010011 141 -13 B . . . . . . . . .101010101101010101010011 142 -14 D . . . . . . . . .101010100101010101010011 143 -15 B . . . . . . . . .101010110101010101010011 144 -16 D . . . . . . . . .101010010101010101010011 145 -17 B . . . . . . . . .101011010101010101010011 146 -18 D . . . . . . . . .101001010101010101010011 147 -19 B . . . . . . . . .101101010101010101010011 148 -20 D . . . . . . . . .100101010101010101010011 149 -21 B . . . . . . . . .110101010101010101010011 150 -22 D . . . . . . . . 0010101010101010101010011 151 -23 B . . . . . . . .01010101010101010101010011 152 -24 A . . . . . . . 001010101010101010101010011 153 -23 B . . . . . . . 101010101010101010101010011 154 -24 A . . . . . . . 101010101010101010101010011 155 -25 C . . . . . . .0101010101010101010101010011 156 -26 A . . . . . . 01101010101010101010101010011 157 -25 B . . . . . . 11101010101010101010101010011 158 -26 D . . . . . . 10101010101010101010101010011 159 -25 E . . . . . . 10101010101010101010101010011 160 -24 D . . . . . . 10101010101010101010101010011 161 -23 E . . . . . . 10101010101010101010101010011 162 -22 D . . . . . . 10101010101010101010101010011 163 -21 E . . . . . . 10101010101010101010101010011 164 -20 D . . . . . . 10101010101010101010101010011 165 -19 E . . . . . . 10101010101010101010101010011 166 -18 D . . . . . . 10101010101010101010101010011 167 -17 E . . . . . . 10101010101010101010101010011 168 -16 D . . . . . . 10101010101010101010101010011 169 -15 E . . . . . . 10101010101010101010101010011 170 -14 D . . . . . . 10101010101010101010101010011 171 -13 E . . . . . . 10101010101010101010101010011 172 -12 D . . . . . . 10101010101010101010101010011 173 -11 E . . . . . . 10101010101010101010101010011 174 -10 D . . . . . . 10101010101010101010101010011 175 -9 E . . . . . . 10101010101010101010101010011 176 -8 D . . . . . . 10101010101010101010101010011 177 -7 E . . . . . . 10101010101010101010101010011 178 -6 D . . . . . . 10101010101010101010101010011 179 -5 E . . . . . . 10101010101010101010101010011 180 -4 D . . . . . . 10101010101010101010101010011 181 -3 E . . . . . . 10101010101010101010101010011 182 -2 D . . . . . . 10101010101010101010101010011 183 -1 E . . . . . . 10101010101010101010101010011 184 0 D . . . . . . 10101010101010101010101010011 185 -1 B . . . . . . 10101010101010101010101010111 186 -2 A . . . . . . 10101010101010101010101010111 187 -3 C . . . . . . 10101010101010101010101010111 188 -4 A . . . . . . 10101010101010101010101110111 189 -5 C . . . . . . 10101010101010101010101110111 190 -6 A . . . . . . 10101010101010101010111110111 191 -7 C . . . . . . 10101010101010101010111110111 192 -8 A . . . . . . 10101010101010101011111110111 193 -9 C . . . . . . 10101010101010101011111110111 194 -10 A . . . . . . 10101010101010101111111110111 195 -11 C . . . . . . 10101010101010101111111110111 196 -12 A . . . . . . 10101010101010111111111110111 197 -13 C . . . . . . 10101010101010111111111110111 198 -14 A . . . . . . 10101010101011111111111110111 199 -15 C . . . . . . 10101010101011111111111110111 200 -16 A . . . . . . 10101010101111111111111110111 201 -17 C . . . . . . 10101010101111111111111110111 202 -18 A . . . . . . 10101010111111111111111110111 203 -19 C . . . . . . 10101010111111111111111110111 204 -20 A . . . . . . 10101011111111111111111110111 205 -21 C . . . . . . 10101011111111111111111110111 206 -22 A . . . . . . 10101111111111111111111110111 207 -23 C . . . . . . 10101111111111111111111110111 208 -24 A . . . . . . 10111111111111111111111110111 209 -25 C . . . . . . 10111111111111111111111110111 210 -26 A . . . . . . 11111111111111111111111110111 211 -27 C . . . . . .011111111111111111111111110111 212 -28 A . . . . . 0111111111111111111111111110111 213 -27 B . . . . . 1111111111111111111111111110111 214 -28 D . . . . . 1011111111111111111111111110111 215 -27 E . . . . . 1011111111111111111111111110111 216 -26 D . . . . . 1011111111111111111111111110111 217 -25 E . . . . . 1011111111111111111111111110111 218 -24 F . . . . . 1010111111111111111111111110111 219 -25 D . . . . . 1010011111111111111111111110111 220 -26 B . . . . . 1011011111111111111111111110111 221 -27 D . . . . . 1001011111111111111111111110111 222 -28 B . . . . . 1101011111111111111111111110111 223 -29 D . . . . .00101011111111111111111111110111 224 -30 B . . . . 010101011111111111111111111110111 225 -31 A . . . .0010101011111111111111111111110111 226 -30 B . . . .1010101011111111111111111111110111 227 -31 A . . . .1010101011111111111111111111110111 228 -32 C . . . 01010101011111111111111111111110111 229 -33 A . . .011010101011111111111111111111110111 230 -32 B . . .111010101011111111111111111111110111 231 -33 D . . .101010101011111111111111111111110111 232 -32 E . . .101010101011111111111111111111110111 233 -31 D . . .101010101011111111111111111111110111 234 -30 E . . .101010101011111111111111111111110111 235 -29 D . . .101010101011111111111111111111110111 236 -28 E . . .101010101011111111111111111111110111 237 -27 D . . .101010101011111111111111111111110111 238 -26 E . . .101010101011111111111111111111110111 239 -25 D . . .101010101011111111111111111111110111 240 -24 E . . .101010101011111111111111111111110111 241 -23 D . . .101010101011111111111111111111110111 242 -22 E . . .101010101011111111111111111111110111 243 -21 F . . .101010101010111111111111111111110111 244 -22 D . . .101010101010011111111111111111110111 245 -23 B . . .101010101011011111111111111111110111 246 -24 D . . .101010101001011111111111111111110111 247 -25 B . . .101010101101011111111111111111110111 248 -26 D . . .101010100101011111111111111111110111 249 -27 B . . .101010110101011111111111111111110111 250 -28 D . . .101010010101011111111111111111110111 251 -29 B . . .101011010101011111111111111111110111 252 -30 D . . .101001010101011111111111111111110111 253 -31 B . . .101101010101011111111111111111110111 254 -32 D . . .100101010101011111111111111111110111 255 -33 B . . .110101010101011111111111111111110111 256 -34 D . . 0010101010101011111111111111111110111 257 -35 B . .01010101010101011111111111111111110111 258 -36 A . 001010101010101011111111111111111110111 259 -35 B . 101010101010101011111111111111111110111 260 -36 A . 101010101010101011111111111111111110111 261 -37 C .0101010101010101011111111111111111110111 262 -38 A 01101010101010101011111111111111111110111 263 -37 B 11101010101010101011111111111111111110111 264 -38 D 10101010101010101011111111111111111110111 265 -37 E 10101010101010101011111111111111111110111 266 -36 D 10101010101010101011111111111111111110111 267 -35 E 10101010101010101011111111111111111110111 268 -34 D 10101010101010101011111111111111111110111 269 -33 E 10101010101010101011111111111111111110111 270 -32 D 10101010101010101011111111111111111110111 271 -31 E 10101010101010101011111111111111111110111 272 -30 D 10101010101010101011111111111111111110111 273 -29 E 10101010101010101011111111111111111110111 274 -28 D 10101010101010101011111111111111111110111 275 -27 E 10101010101010101011111111111111111110111 276 -26 D 10101010101010101011111111111111111110111 277 -25 E 10101010101010101011111111111111111110111 278 -24 D 10101010101010101011111111111111111110111 279 -23 E 10101010101010101011111111111111111110111 280 -22 D 10101010101010101011111111111111111110111 281 -21 E 10101010101010101011111111111111111110111 282 -20 D 10101010101010101011111111111111111110111 283 -19 E 10101010101010101011111111111111111110111 284 -18 F 10101010101010101010111111111111111110111 285 -19 D 10101010101010101010011111111111111110111 286 -20 B 10101010101010101011011111111111111110111 287 -21 D 10101010101010101001011111111111111110111 288 -22 B 10101010101010101101011111111111111110111 289 -23 D 10101010101010100101011111111111111110111 290 -24 B 10101010101010110101011111111111111110111 291 -25 D 10101010101010010101011111111111111110111 292 -26 B 10101010101011010101011111111111111110111 293 -27 D 10101010101001010101011111111111111110111 294 -28 B 10101010101101010101011111111111111110111 295 -29 D 10101010100101010101011111111111111110111 296 -30 B 10101010110101010101011111111111111110111 297 -31 D 10101010010101010101011111111111111110111 298 -32 B 10101011010101010101011111111111111110111 299 -33 D 10101001010101010101011111111111111110111 300 -34 B 10101101010101010101011111111111111110111 After 300 steps (301 lines): state = B. Produced 30 ones. Tape index -34, scanned [-38 .. 2].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 44 | 17 | 27 | 0 | 2 |
B | 61 | 16 | 45 | 1 | 5 |
C | 27 | 27 | 3 | ||
D | 103 | 45 | 58 | 10 | 6 |
E | 58 | 51 | 7 | 7 | 21 |
F | 7 | 7 | 22 |