Comment: This TM produces >1.9*10^19 ones in >7.0*10^37 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 | B0L | E0L | 0 | left | B | 0 | left | E |
D | A1R | B0R | 1 | right | A | 0 | right | B |
E | F1L | C1L | 1 | left | F | 1 | left | C |
F | A0L | Z1R | 0 | 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 0 A . . . . . . . . . . . . . . . . . . . . 11 3 -1 C . . . . . . . . . . . . . . . . . . . .001 4 -2 B . . . . . . . . . . . . . . . . . . . 0001 5 -3 A . . . . . . . . . . . . . . . . . . .01001 6 -2 B . . . . . . . . . . . . . . . . . . .11001 7 -1 D . . . . . . . . . . . . . . . . . . .11001 8 0 A . . . . . . . . . . . . . . . . . . .11101 9 1 B . . . . . . . . . . . . . . . . . . .11111 10 2 D . . . . . . . . . . . . . . . . . . .111110 11 3 A . . . . . . . . . . . . . . . . . . .1111110 12 4 B . . . . . . . . . . . . . . . . . . .11111110 13 3 A . . . . . . . . . . . . . . . . . . .11111111 14 2 C . . . . . . . . . . . . . . . . . . .11111101 15 1 E . . . . . . . . . . . . . . . . . . .11111001 16 0 C . . . . . . . . . . . . . . . . . . .11111001 17 -1 E . . . . . . . . . . . . . . . . . . .11101001 18 -2 C . . . . . . . . . . . . . . . . . . .11101001 19 -3 E . . . . . . . . . . . . . . . . . . .10101001 20 -4 C . . . . . . . . . . . . . . . . . . 010101001 21 -5 B . . . . . . . . . . . . . . . . . .0010101001 22 -6 A . . . . . . . . . . . . . . . . . 01010101001 23 -5 B . . . . . . . . . . . . . . . . . 11010101001 24 -4 D . . . . . . . . . . . . . . . . . 11010101001 25 -3 A . . . . . . . . . . . . . . . . . 11110101001 26 -4 C . . . . . . . . . . . . . . . . . 11100101001 27 -5 E . . . . . . . . . . . . . . . . . 11000101001 28 -6 C . . . . . . . . . . . . . . . . . 11000101001 29 -7 E . . . . . . . . . . . . . . . . .001000101001 30 -8 F . . . . . . . . . . . . . . . . 0101000101001 31 -9 A . . . . . . . . . . . . . . . .00101000101001 32 -8 B . . . . . . . . . . . . . . . .10101000101001 33 -9 A . . . . . . . . . . . . . . . .11101000101001 34 -10 C . . . . . . . . . . . . . . . 001101000101001 35 -11 B . . . . . . . . . . . . . . .0001101000101001 36 -12 A . . . . . . . . . . . . . . 01001101000101001 37 -11 B . . . . . . . . . . . . . . 11001101000101001 38 -10 D . . . . . . . . . . . . . . 11001101000101001 39 -9 A . . . . . . . . . . . . . . 11101101000101001 40 -8 B . . . . . . . . . . . . . . 11111101000101001 41 -7 D . . . . . . . . . . . . . . 11111101000101001 42 -6 B . . . . . . . . . . . . . . 11111001000101001 43 -7 A . . . . . . . . . . . . . . 11111011000101001 44 -6 B . . . . . . . . . . . . . . 11111111000101001 45 -5 D . . . . . . . . . . . . . . 11111111000101001 46 -4 B . . . . . . . . . . . . . . 11111110000101001 47 -5 A . . . . . . . . . . . . . . 11111110100101001 48 -4 B . . . . . . . . . . . . . . 11111111100101001 49 -3 D . . . . . . . . . . . . . . 11111111100101001 50 -2 A . . . . . . . . . . . . . . 11111111110101001 51 -1 B . . . . . . . . . . . . . . 11111111111101001 52 0 D . . . . . . . . . . . . . . 11111111111101001 53 1 A . . . . . . . . . . . . . . 11111111111111001 54 0 C . . . . . . . . . . . . . . 11111111111110001 55 -1 E . . . . . . . . . . . . . . 11111111111100001 56 -2 C . . . . . . . . . . . . . . 11111111111100001 57 -3 E . . . . . . . . . . . . . . 11111111110100001 58 -4 C . . . . . . . . . . . . . . 11111111110100001 59 -5 E . . . . . . . . . . . . . . 11111111010100001 60 -6 C . . . . . . . . . . . . . . 11111111010100001 61 -7 E . . . . . . . . . . . . . . 11111101010100001 62 -8 C . . . . . . . . . . . . . . 11111101010100001 63 -9 E . . . . . . . . . . . . . . 11110101010100001 64 -10 C . . . . . . . . . . . . . . 11110101010100001 65 -11 E . . . . . . . . . . . . . . 11010101010100001 66 -12 C . . . . . . . . . . . . . . 11010101010100001 67 -13 E . . . . . . . . . . . . . .001010101010100001 68 -14 F . . . . . . . . . . . . . 0101010101010100001 69 -15 A . . . . . . . . . . . . .00101010101010100001 70 -14 B . . . . . . . . . . . . .10101010101010100001 71 -15 A . . . . . . . . . . . . .11101010101010100001 72 -16 C . . . . . . . . . . . . 001101010101010100001 73 -17 B . . . . . . . . . . . .0001101010101010100001 74 -18 A . . . . . . . . . . . 01001101010101010100001 75 -17 B . . . . . . . . . . . 11001101010101010100001 76 -16 D . . . . . . . . . . . 11001101010101010100001 77 -15 A . . . . . . . . . . . 11101101010101010100001 78 -14 B . . . . . . . . . . . 11111101010101010100001 79 -13 D . . . . . . . . . . . 11111101010101010100001 80 -12 B . . . . . . . . . . . 11111001010101010100001 81 -13 A . . . . . . . . . . . 11111011010101010100001 82 -12 B . . . . . . . . . . . 11111111010101010100001 83 -11 D . . . . . . . . . . . 11111111010101010100001 84 -10 B . . . . . . . . . . . 11111110010101010100001 85 -11 A . . . . . . . . . . . 11111110110101010100001 86 -10 B . . . . . . . . . . . 11111111110101010100001 87 -9 D . . . . . . . . . . . 11111111110101010100001 88 -8 B . . . . . . . . . . . 11111111100101010100001 89 -9 A . . . . . . . . . . . 11111111101101010100001 90 -8 B . . . . . . . . . . . 11111111111101010100001 91 -7 D . . . . . . . . . . . 11111111111101010100001 92 -6 B . . . . . . . . . . . 11111111111001010100001 93 -7 A . . . . . . . . . . . 11111111111011010100001 94 -6 B . . . . . . . . . . . 11111111111111010100001 95 -5 D . . . . . . . . . . . 11111111111111010100001 96 -4 B . . . . . . . . . . . 11111111111110010100001 97 -5 A . . . . . . . . . . . 11111111111110110100001 98 -4 B . . . . . . . . . . . 11111111111111110100001 99 -3 D . . . . . . . . . . . 11111111111111110100001 100 -2 B . . . . . . . . . . . 11111111111111100100001 101 -3 A . . . . . . . . . . . 11111111111111101100001 102 -2 B . . . . . . . . . . . 11111111111111111100001 103 -1 D . . . . . . . . . . . 11111111111111111100001 104 0 B . . . . . . . . . . . 11111111111111111000001 105 -1 A . . . . . . . . . . . 11111111111111111010001 106 0 B . . . . . . . . . . . 11111111111111111110001 107 1 D . . . . . . . . . . . 11111111111111111110001 108 2 A . . . . . . . . . . . 11111111111111111111001 109 3 B . . . . . . . . . . . 11111111111111111111101 110 2 A . . . . . . . . . . . 11111111111111111111111 111 1 C . . . . . . . . . . . 11111111111111111111011 112 0 E . . . . . . . . . . . 11111111111111111110011 113 -1 C . . . . . . . . . . . 11111111111111111110011 114 -2 E . . . . . . . . . . . 11111111111111111010011 115 -3 C . . . . . . . . . . . 11111111111111111010011 116 -4 E . . . . . . . . . . . 11111111111111101010011 117 -5 C . . . . . . . . . . . 11111111111111101010011 118 -6 E . . . . . . . . . . . 11111111111110101010011 119 -7 C . . . . . . . . . . . 11111111111110101010011 120 -8 E . . . . . . . . . . . 11111111111010101010011 121 -9 C . . . . . . . . . . . 11111111111010101010011 122 -10 E . . . . . . . . . . . 11111111101010101010011 123 -11 C . . . . . . . . . . . 11111111101010101010011 124 -12 E . . . . . . . . . . . 11111110101010101010011 125 -13 C . . . . . . . . . . . 11111110101010101010011 126 -14 E . . . . . . . . . . . 11111010101010101010011 127 -15 C . . . . . . . . . . . 11111010101010101010011 128 -16 E . . . . . . . . . . . 11101010101010101010011 129 -17 C . . . . . . . . . . . 11101010101010101010011 130 -18 E . . . . . . . . . . . 10101010101010101010011 131 -19 C . . . . . . . . . . .010101010101010101010011 132 -20 B . . . . . . . . . . 0010101010101010101010011 133 -21 A . . . . . . . . . .01010101010101010101010011 134 -20 B . . . . . . . . . .11010101010101010101010011 135 -19 D . . . . . . . . . .11010101010101010101010011 136 -18 A . . . . . . . . . .11110101010101010101010011 137 -19 C . . . . . . . . . .11100101010101010101010011 138 -20 E . . . . . . . . . .11000101010101010101010011 139 -21 C . . . . . . . . . .11000101010101010101010011 140 -22 E . . . . . . . . . 001000101010101010101010011 141 -23 F . . . . . . . . .0101000101010101010101010011 142 -24 A . . . . . . . . 00101000101010101010101010011 143 -23 B . . . . . . . . 10101000101010101010101010011 144 -24 A . . . . . . . . 11101000101010101010101010011 145 -25 C . . . . . . . .001101000101010101010101010011 146 -26 B . . . . . . . 0001101000101010101010101010011 147 -27 A . . . . . . .01001101000101010101010101010011 148 -26 B . . . . . . .11001101000101010101010101010011 149 -25 D . . . . . . .11001101000101010101010101010011 150 -24 A . . . . . . .11101101000101010101010101010011 151 -23 B . . . . . . .11111101000101010101010101010011 152 -22 D . . . . . . .11111101000101010101010101010011 153 -21 B . . . . . . .11111001000101010101010101010011 154 -22 A . . . . . . .11111011000101010101010101010011 155 -21 B . . . . . . .11111111000101010101010101010011 156 -20 D . . . . . . .11111111000101010101010101010011 157 -19 B . . . . . . .11111110000101010101010101010011 158 -20 A . . . . . . .11111110100101010101010101010011 159 -19 B . . . . . . .11111111100101010101010101010011 160 -18 D . . . . . . .11111111100101010101010101010011 161 -17 A . . . . . . .11111111110101010101010101010011 162 -16 B . . . . . . .11111111111101010101010101010011 163 -15 D . . . . . . .11111111111101010101010101010011 164 -14 A . . . . . . .11111111111111010101010101010011 165 -15 C . . . . . . .11111111111110010101010101010011 166 -16 E . . . . . . .11111111111100010101010101010011 167 -17 C . . . . . . .11111111111100010101010101010011 168 -18 E . . . . . . .11111111110100010101010101010011 169 -19 C . . . . . . .11111111110100010101010101010011 170 -20 E . . . . . . .11111111010100010101010101010011 171 -21 C . . . . . . .11111111010100010101010101010011 172 -22 E . . . . . . .11111101010100010101010101010011 173 -23 C . . . . . . .11111101010100010101010101010011 174 -24 E . . . . . . .11110101010100010101010101010011 175 -25 C . . . . . . .11110101010100010101010101010011 176 -26 E . . . . . . .11010101010100010101010101010011 177 -27 C . . . . . . .11010101010100010101010101010011 178 -28 E . . . . . . 001010101010100010101010101010011 179 -29 F . . . . . .0101010101010100010101010101010011 180 -30 A . . . . . 00101010101010100010101010101010011 181 -29 B . . . . . 10101010101010100010101010101010011 182 -30 A . . . . . 11101010101010100010101010101010011 183 -31 C . . . . .001101010101010100010101010101010011 184 -32 B . . . . 0001101010101010100010101010101010011 185 -33 A . . . .01001101010101010100010101010101010011 186 -32 B . . . .11001101010101010100010101010101010011 187 -31 D . . . .11001101010101010100010101010101010011 188 -30 A . . . .11101101010101010100010101010101010011 189 -29 B . . . .11111101010101010100010101010101010011 190 -28 D . . . .11111101010101010100010101010101010011 191 -27 B . . . .11111001010101010100010101010101010011 192 -28 A . . . .11111011010101010100010101010101010011 193 -27 B . . . .11111111010101010100010101010101010011 194 -26 D . . . .11111111010101010100010101010101010011 195 -25 B . . . .11111110010101010100010101010101010011 196 -26 A . . . .11111110110101010100010101010101010011 197 -25 B . . . .11111111110101010100010101010101010011 198 -24 D . . . .11111111110101010100010101010101010011 199 -23 B . . . .11111111100101010100010101010101010011 200 -24 A . . . .11111111101101010100010101010101010011 201 -23 B . . . .11111111111101010100010101010101010011 202 -22 D . . . .11111111111101010100010101010101010011 203 -21 B . . . .11111111111001010100010101010101010011 204 -22 A . . . .11111111111011010100010101010101010011 205 -21 B . . . .11111111111111010100010101010101010011 206 -20 D . . . .11111111111111010100010101010101010011 207 -19 B . . . .11111111111110010100010101010101010011 208 -20 A . . . .11111111111110110100010101010101010011 209 -19 B . . . .11111111111111110100010101010101010011 210 -18 D . . . .11111111111111110100010101010101010011 211 -17 B . . . .11111111111111100100010101010101010011 212 -18 A . . . .11111111111111101100010101010101010011 213 -17 B . . . .11111111111111111100010101010101010011 214 -16 D . . . .11111111111111111100010101010101010011 215 -15 B . . . .11111111111111111000010101010101010011 216 -16 A . . . .11111111111111111010010101010101010011 217 -15 B . . . .11111111111111111110010101010101010011 218 -14 D . . . .11111111111111111110010101010101010011 219 -13 A . . . .11111111111111111111010101010101010011 220 -12 B . . . .11111111111111111111110101010101010011 221 -11 D . . . .11111111111111111111110101010101010011 222 -10 A . . . .11111111111111111111111101010101010011 223 -11 C . . . .11111111111111111111111001010101010011 224 -12 E . . . .11111111111111111111110001010101010011 225 -13 C . . . .11111111111111111111110001010101010011 226 -14 E . . . .11111111111111111111010001010101010011 227 -15 C . . . .11111111111111111111010001010101010011 228 -16 E . . . .11111111111111111101010001010101010011 229 -17 C . . . .11111111111111111101010001010101010011 230 -18 E . . . .11111111111111110101010001010101010011 231 -19 C . . . .11111111111111110101010001010101010011 232 -20 E . . . .11111111111111010101010001010101010011 233 -21 C . . . .11111111111111010101010001010101010011 234 -22 E . . . .11111111111101010101010001010101010011 235 -23 C . . . .11111111111101010101010001010101010011 236 -24 E . . . .11111111110101010101010001010101010011 237 -25 C . . . .11111111110101010101010001010101010011 238 -26 E . . . .11111111010101010101010001010101010011 239 -27 C . . . .11111111010101010101010001010101010011 240 -28 E . . . .11111101010101010101010001010101010011 241 -29 C . . . .11111101010101010101010001010101010011 242 -30 E . . . .11110101010101010101010001010101010011 243 -31 C . . . .11110101010101010101010001010101010011 244 -32 E . . . .11010101010101010101010001010101010011 245 -33 C . . . .11010101010101010101010001010101010011 246 -34 E . . . 001010101010101010101010001010101010011 247 -35 F . . .0101010101010101010101010001010101010011 248 -36 A . . 00101010101010101010101010001010101010011 249 -35 B . . 10101010101010101010101010001010101010011 250 -36 A . . 11101010101010101010101010001010101010011 251 -37 C . .001101010101010101010101010001010101010011 252 -38 B . 0001101010101010101010101010001010101010011 253 -39 A .01001101010101010101010101010001010101010011 254 -38 B .11001101010101010101010101010001010101010011 255 -37 D .11001101010101010101010101010001010101010011 256 -36 A .11101101010101010101010101010001010101010011 257 -35 B .11111101010101010101010101010001010101010011 258 -34 D .11111101010101010101010101010001010101010011 259 -33 B .11111001010101010101010101010001010101010011 260 -34 A .11111011010101010101010101010001010101010011 261 -33 B .11111111010101010101010101010001010101010011 262 -32 D .11111111010101010101010101010001010101010011 263 -31 B .11111110010101010101010101010001010101010011 264 -32 A .11111110110101010101010101010001010101010011 265 -31 B .11111111110101010101010101010001010101010011 266 -30 D .11111111110101010101010101010001010101010011 267 -29 B .11111111100101010101010101010001010101010011 268 -30 A .11111111101101010101010101010001010101010011 269 -29 B .11111111111101010101010101010001010101010011 270 -28 D .11111111111101010101010101010001010101010011 271 -27 B .11111111111001010101010101010001010101010011 272 -28 A .11111111111011010101010101010001010101010011 273 -27 B .11111111111111010101010101010001010101010011 274 -26 D .11111111111111010101010101010001010101010011 275 -25 B .11111111111110010101010101010001010101010011 276 -26 A .11111111111110110101010101010001010101010011 277 -25 B .11111111111111110101010101010001010101010011 278 -24 D .11111111111111110101010101010001010101010011 279 -23 B .11111111111111100101010101010001010101010011 280 -24 A .11111111111111101101010101010001010101010011 281 -23 B .11111111111111111101010101010001010101010011 282 -22 D .11111111111111111101010101010001010101010011 283 -21 B .11111111111111111001010101010001010101010011 284 -22 A .11111111111111111011010101010001010101010011 285 -21 B .11111111111111111111010101010001010101010011 286 -20 D .11111111111111111111010101010001010101010011 287 -19 B .11111111111111111110010101010001010101010011 288 -20 A .11111111111111111110110101010001010101010011 289 -19 B .11111111111111111111110101010001010101010011 290 -18 D .11111111111111111111110101010001010101010011 291 -17 B .11111111111111111111100101010001010101010011 292 -18 A .11111111111111111111101101010001010101010011 293 -17 B .11111111111111111111111101010001010101010011 294 -16 D .11111111111111111111111101010001010101010011 295 -15 B .11111111111111111111111001010001010101010011 296 -16 A .11111111111111111111111011010001010101010011 297 -15 B .11111111111111111111111111010001010101010011 298 -14 D .11111111111111111111111111010001010101010011 299 -13 B .11111111111111111111111110010001010101010011 300 -14 A .11111111111111111111111110110001010101010011 After 300 steps (301 lines): state = A. Produced 34 ones. Tape index -14, scanned [-39 .. 4].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 66 | 53 | 13 | 0 | 2 |
B | 90 | 45 | 45 | 1 | 6 |
C | 51 | 8 | 43 | 3 | 14 |
D | 45 | 16 | 29 | 7 | 41 |
E | 43 | 5 | 38 | 29 | 15 |
F | 5 | 5 | 30 |