Comment: This TM produces 2,537,699,363,594,175,843,063 ones in >5.3*10^42 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 | C0R | 1 | right | B | 0 | right | C |
B | A0L | D0R | 0 | left | A | 0 | right | D |
C | D1R | H1R | 1 | right | D | 1 | right | H |
D | E1L | D0L | 1 | left | E | 0 | left | D |
E | F1R | B1L | 1 | right | F | 1 | left | B |
F | A1R | E1R | 1 | right | A | 1 | right | E |
Simulation is done just simple. The same TM 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 0 A . . . . . . . . . . 10 3 1 C . . . . . . . . . . 00 4 2 D . . . . . . . . . . 010 5 1 E . . . . . . . . . . 011 6 0 B . . . . . . . . . . 011 7 -1 A . . . . . . . . . .0011 8 0 B . . . . . . . . . .1011 9 -1 A . . . . . . . . . .1011 10 0 C . . . . . . . . . .0011 11 1 D . . . . . . . . . .0111 12 0 D . . . . . . . . . .0101 13 -1 D . . . . . . . . . .0001 14 -2 E . . . . . . . . . 01001 15 -1 F . . . . . . . . . 11001 16 0 E . . . . . . . . . 11001 17 1 F . . . . . . . . . 11101 18 2 A . . . . . . . . . 11111 19 3 C . . . . . . . . . 111100 20 4 D . . . . . . . . . 1111010 21 3 E . . . . . . . . . 1111011 22 2 B . . . . . . . . . 1111011 23 1 A . . . . . . . . . 1111011 24 2 C . . . . . . . . . 1110011 25 3 D . . . . . . . . . 1110111 26 2 D . . . . . . . . . 1110101 27 1 D . . . . . . . . . 1110001 28 0 E . . . . . . . . . 1111001 29 -1 B . . . . . . . . . 1111001 30 0 D . . . . . . . . . 1011001 31 -1 D . . . . . . . . . 1001001 32 -2 E . . . . . . . . . 1101001 33 -3 B . . . . . . . . .01101001 34 -4 A . . . . . . . . 001101001 35 -3 B . . . . . . . . 101101001 36 -4 A . . . . . . . . 101101001 37 -3 C . . . . . . . . 001101001 38 -2 D . . . . . . . . 011101001 39 -3 D . . . . . . . . 010101001 40 -4 D . . . . . . . . 000101001 41 -5 E . . . . . . . .0100101001 42 -4 F . . . . . . . .1100101001 43 -3 E . . . . . . . .1100101001 44 -2 F . . . . . . . .1110101001 45 -1 A . . . . . . . .1111101001 46 0 C . . . . . . . .1111001001 47 1 D . . . . . . . .1111011001 48 0 D . . . . . . . .1111010001 49 -1 D . . . . . . . .1111000001 50 -2 E . . . . . . . .1111100001 51 -3 B . . . . . . . .1111100001 52 -2 D . . . . . . . .1101100001 53 -3 D . . . . . . . .1100100001 54 -4 E . . . . . . . .1110100001 55 -5 B . . . . . . . .1110100001 56 -4 D . . . . . . . .0110100001 57 -5 D . . . . . . . .0010100001 58 -6 E . . . . . . . 01010100001 59 -5 F . . . . . . . 11010100001 60 -4 E . . . . . . . 11010100001 61 -3 F . . . . . . . 11110100001 62 -2 E . . . . . . . 11110100001 63 -1 F . . . . . . . 11111100001 64 0 E . . . . . . . 11111100001 65 1 F . . . . . . . 11111110001 66 2 A . . . . . . . 11111111001 67 3 B . . . . . . . 11111111101 68 2 A . . . . . . . 11111111101 69 3 C . . . . . . . 11111111001 70 4 D . . . . . . . 11111111011 71 3 D . . . . . . . 11111111010 72 2 D . . . . . . . 11111111000 73 1 E . . . . . . . 11111111100 74 0 B . . . . . . . 11111111100 75 1 D . . . . . . . 11111101100 76 0 D . . . . . . . 11111100100 77 -1 E . . . . . . . 11111110100 78 -2 B . . . . . . . 11111110100 79 -1 D . . . . . . . 11110110100 80 -2 D . . . . . . . 11110010100 81 -3 E . . . . . . . 11111010100 82 -4 B . . . . . . . 11111010100 83 -3 D . . . . . . . 11011010100 84 -4 D . . . . . . . 11001010100 85 -5 E . . . . . . . 11101010100 86 -6 B . . . . . . . 11101010100 87 -5 D . . . . . . . 01101010100 88 -6 D . . . . . . . 00101010100 89 -7 E . . . . . . .010101010100 90 -6 F . . . . . . .110101010100 91 -5 E . . . . . . .110101010100 92 -4 F . . . . . . .111101010100 93 -3 E . . . . . . .111101010100 94 -2 F . . . . . . .111111010100 95 -1 E . . . . . . .111111010100 96 0 F . . . . . . .111111110100 97 1 E . . . . . . .111111110100 98 2 F . . . . . . .111111111100 99 3 E . . . . . . .111111111100 100 4 F . . . . . . .111111111110 101 5 A . . . . . . .1111111111110 102 6 B . . . . . . .11111111111110 103 5 A . . . . . . .11111111111110 104 6 C . . . . . . .11111111111100 105 7 D . . . . . . .111111111111010 106 6 E . . . . . . .111111111111011 107 5 B . . . . . . .111111111111011 108 4 A . . . . . . .111111111111011 109 5 C . . . . . . .111111111110011 110 6 D . . . . . . .111111111110111 111 5 D . . . . . . .111111111110101 112 4 D . . . . . . .111111111110001 113 3 E . . . . . . .111111111111001 114 2 B . . . . . . .111111111111001 115 3 D . . . . . . .111111111011001 116 2 D . . . . . . .111111111001001 117 1 E . . . . . . .111111111101001 118 0 B . . . . . . .111111111101001 119 1 D . . . . . . .111111101101001 120 0 D . . . . . . .111111100101001 121 -1 E . . . . . . .111111110101001 122 -2 B . . . . . . .111111110101001 123 -1 D . . . . . . .111110110101001 124 -2 D . . . . . . .111110010101001 125 -3 E . . . . . . .111111010101001 126 -4 B . . . . . . .111111010101001 127 -3 D . . . . . . .111011010101001 128 -4 D . . . . . . .111001010101001 129 -5 E . . . . . . .111101010101001 130 -6 B . . . . . . .111101010101001 131 -5 D . . . . . . .101101010101001 132 -6 D . . . . . . .100101010101001 133 -7 E . . . . . . .110101010101001 134 -8 B . . . . . . 0110101010101001 135 -9 A . . . . . .00110101010101001 136 -8 B . . . . . .10110101010101001 137 -9 A . . . . . .10110101010101001 138 -8 C . . . . . .00110101010101001 139 -7 D . . . . . .01110101010101001 140 -8 D . . . . . .01010101010101001 141 -9 D . . . . . .00010101010101001 142 -10 E . . . . . 010010101010101001 143 -9 F . . . . . 110010101010101001 144 -8 E . . . . . 110010101010101001 145 -7 F . . . . . 111010101010101001 146 -6 A . . . . . 111110101010101001 147 -5 C . . . . . 111100101010101001 148 -4 D . . . . . 111101101010101001 149 -5 D . . . . . 111101001010101001 150 -6 D . . . . . 111100001010101001 151 -7 E . . . . . 111110001010101001 152 -8 B . . . . . 111110001010101001 153 -7 D . . . . . 110110001010101001 154 -8 D . . . . . 110010001010101001 155 -9 E . . . . . 111010001010101001 156 -10 B . . . . . 111010001010101001 157 -9 D . . . . . 011010001010101001 158 -10 D . . . . . 001010001010101001 159 -11 E . . . . .0101010001010101001 160 -10 F . . . . .1101010001010101001 161 -9 E . . . . .1101010001010101001 162 -8 F . . . . .1111010001010101001 163 -7 E . . . . .1111010001010101001 164 -6 F . . . . .1111110001010101001 165 -5 E . . . . .1111110001010101001 166 -4 F . . . . .1111111001010101001 167 -3 A . . . . .1111111101010101001 168 -2 B . . . . .1111111111010101001 169 -1 D . . . . .1111111110010101001 170 -2 E . . . . .1111111110110101001 171 -1 F . . . . .1111111111110101001 172 0 E . . . . .1111111111110101001 173 -1 B . . . . .1111111111110101001 174 0 D . . . . .1111111111010101001 175 -1 D . . . . .1111111111000101001 176 -2 E . . . . .1111111111100101001 177 -3 B . . . . .1111111111100101001 178 -2 D . . . . .1111111101100101001 179 -3 D . . . . .1111111100100101001 180 -4 E . . . . .1111111110100101001 181 -5 B . . . . .1111111110100101001 182 -4 D . . . . .1111110110100101001 183 -5 D . . . . .1111110010100101001 184 -6 E . . . . .1111111010100101001 185 -7 B . . . . .1111111010100101001 186 -6 D . . . . .1111011010100101001 187 -7 D . . . . .1111001010100101001 188 -8 E . . . . .1111101010100101001 189 -9 B . . . . .1111101010100101001 190 -8 D . . . . .1101101010100101001 191 -9 D . . . . .1100101010100101001 192 -10 E . . . . .1110101010100101001 193 -11 B . . . . .1110101010100101001 194 -10 D . . . . .0110101010100101001 195 -11 D . . . . .0010101010100101001 196 -12 E . . . . 01010101010100101001 197 -11 F . . . . 11010101010100101001 198 -10 E . . . . 11010101010100101001 199 -9 F . . . . 11110101010100101001 200 -8 E . . . . 11110101010100101001 201 -7 F . . . . 11111101010100101001 202 -6 E . . . . 11111101010100101001 203 -5 F . . . . 11111111010100101001 204 -4 E . . . . 11111111010100101001 205 -3 F . . . . 11111111110100101001 206 -2 E . . . . 11111111110100101001 207 -1 F . . . . 11111111111100101001 208 0 E . . . . 11111111111100101001 209 1 F . . . . 11111111111110101001 210 2 A . . . . 11111111111111101001 211 3 C . . . . 11111111111111001001 212 4 D . . . . 11111111111111011001 213 3 D . . . . 11111111111111010001 214 2 D . . . . 11111111111111000001 215 1 E . . . . 11111111111111100001 216 0 B . . . . 11111111111111100001 217 1 D . . . . 11111111111101100001 218 0 D . . . . 11111111111100100001 219 -1 E . . . . 11111111111110100001 220 -2 B . . . . 11111111111110100001 221 -1 D . . . . 11111111110110100001 222 -2 D . . . . 11111111110010100001 223 -3 E . . . . 11111111111010100001 224 -4 B . . . . 11111111111010100001 225 -3 D . . . . 11111111011010100001 226 -4 D . . . . 11111111001010100001 227 -5 E . . . . 11111111101010100001 228 -6 B . . . . 11111111101010100001 229 -5 D . . . . 11111101101010100001 230 -6 D . . . . 11111100101010100001 231 -7 E . . . . 11111110101010100001 232 -8 B . . . . 11111110101010100001 233 -7 D . . . . 11110110101010100001 234 -8 D . . . . 11110010101010100001 235 -9 E . . . . 11111010101010100001 236 -10 B . . . . 11111010101010100001 237 -9 D . . . . 11011010101010100001 238 -10 D . . . . 11001010101010100001 239 -11 E . . . . 11101010101010100001 240 -12 B . . . . 11101010101010100001 241 -11 D . . . . 01101010101010100001 242 -12 D . . . . 00101010101010100001 243 -13 E . . . .010101010101010100001 244 -12 F . . . .110101010101010100001 245 -11 E . . . .110101010101010100001 246 -10 F . . . .111101010101010100001 247 -9 E . . . .111101010101010100001 248 -8 F . . . .111111010101010100001 249 -7 E . . . .111111010101010100001 250 -6 F . . . .111111110101010100001 251 -5 E . . . .111111110101010100001 252 -4 F . . . .111111111101010100001 253 -3 E . . . .111111111101010100001 254 -2 F . . . .111111111111010100001 255 -1 E . . . .111111111111010100001 256 0 F . . . .111111111111110100001 257 1 E . . . .111111111111110100001 258 2 F . . . .111111111111111100001 259 3 E . . . .111111111111111100001 260 4 F . . . .111111111111111110001 261 5 A . . . .111111111111111111001 262 6 B . . . .111111111111111111101 263 5 A . . . .111111111111111111101 264 6 C . . . .111111111111111111001 265 7 D . . . .111111111111111111011 266 6 D . . . .111111111111111111010 267 5 D . . . .111111111111111111000 268 4 E . . . .111111111111111111100 269 3 B . . . .111111111111111111100 270 4 D . . . .111111111111111101100 271 3 D . . . .111111111111111100100 272 2 E . . . .111111111111111110100 273 1 B . . . .111111111111111110100 274 2 D . . . .111111111111110110100 275 1 D . . . .111111111111110010100 276 0 E . . . .111111111111111010100 277 -1 B . . . .111111111111111010100 278 0 D . . . .111111111111011010100 279 -1 D . . . .111111111111001010100 280 -2 E . . . .111111111111101010100 281 -3 B . . . .111111111111101010100 282 -2 D . . . .111111111101101010100 283 -3 D . . . .111111111100101010100 284 -4 E . . . .111111111110101010100 285 -5 B . . . .111111111110101010100 286 -4 D . . . .111111110110101010100 287 -5 D . . . .111111110010101010100 288 -6 E . . . .111111111010101010100 289 -7 B . . . .111111111010101010100 290 -6 D . . . .111111011010101010100 291 -7 D . . . .111111001010101010100 292 -8 E . . . .111111101010101010100 293 -9 B . . . .111111101010101010100 294 -8 D . . . .111101101010101010100 295 -9 D . . . .111100101010101010100 296 -10 E . . . .111110101010101010100 297 -11 B . . . .111110101010101010100 298 -10 D . . . .110110101010101010100 299 -11 D . . . .110010101010101010100 300 -12 E . . . .111010101010101010100 After 300 steps (301 lines): state = E. Produced 11 ones. Tape index -12, scanned [-13 .. 7].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 21 | 8 | 13 | 0 | 2 |
B | 48 | 12 | 36 | 1 | 29 |
C | 13 | 13 | 3 | ||
D | 104 | 49 | 55 | 4 | 11 |
E | 77 | 37 | 40 | 14 | 5 |
F | 37 | 8 | 29 | 17 | 15 |