Comment: This TM produces >6.7*10^47 ones in >2.0*10^95 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 | D1R | Z1R | 1 | right | D | 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 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 . . . . . . . . . . . . . 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 -7 D . . . . . . . . . 1101000101001 32 -6 B . . . . . . . . . 1001000101001 33 -7 A . . . . . . . . . 1011000101001 34 -6 B . . . . . . . . . 1111000101001 35 -5 D . . . . . . . . . 1111000101001 36 -4 B . . . . . . . . . 1110000101001 37 -5 A . . . . . . . . . 1110100101001 38 -4 B . . . . . . . . . 1111100101001 39 -3 D . . . . . . . . . 1111100101001 40 -2 A . . . . . . . . . 1111110101001 41 -1 B . . . . . . . . . 1111111101001 42 0 D . . . . . . . . . 1111111101001 43 1 A . . . . . . . . . 1111111111001 44 0 C . . . . . . . . . 1111111110001 45 -1 E . . . . . . . . . 1111111100001 46 -2 C . . . . . . . . . 1111111100001 47 -3 E . . . . . . . . . 1111110100001 48 -4 C . . . . . . . . . 1111110100001 49 -5 E . . . . . . . . . 1111010100001 50 -6 C . . . . . . . . . 1111010100001 51 -7 E . . . . . . . . . 1101010100001 52 -8 C . . . . . . . . . 1101010100001 53 -9 E . . . . . . . . .00101010100001 54 -10 F . . . . . . . . 010101010100001 55 -9 D . . . . . . . . 110101010100001 56 -8 B . . . . . . . . 100101010100001 57 -9 A . . . . . . . . 101101010100001 58 -8 B . . . . . . . . 111101010100001 59 -7 D . . . . . . . . 111101010100001 60 -6 B . . . . . . . . 111001010100001 61 -7 A . . . . . . . . 111011010100001 62 -6 B . . . . . . . . 111111010100001 63 -5 D . . . . . . . . 111111010100001 64 -4 B . . . . . . . . 111110010100001 65 -5 A . . . . . . . . 111110110100001 66 -4 B . . . . . . . . 111111110100001 67 -3 D . . . . . . . . 111111110100001 68 -2 B . . . . . . . . 111111100100001 69 -3 A . . . . . . . . 111111101100001 70 -2 B . . . . . . . . 111111111100001 71 -1 D . . . . . . . . 111111111100001 72 0 B . . . . . . . . 111111111000001 73 -1 A . . . . . . . . 111111111010001 74 0 B . . . . . . . . 111111111110001 75 1 D . . . . . . . . 111111111110001 76 2 A . . . . . . . . 111111111111001 77 3 B . . . . . . . . 111111111111101 78 2 A . . . . . . . . 111111111111111 79 1 C . . . . . . . . 111111111111011 80 0 E . . . . . . . . 111111111110011 81 -1 C . . . . . . . . 111111111110011 82 -2 E . . . . . . . . 111111111010011 83 -3 C . . . . . . . . 111111111010011 84 -4 E . . . . . . . . 111111101010011 85 -5 C . . . . . . . . 111111101010011 86 -6 E . . . . . . . . 111110101010011 87 -7 C . . . . . . . . 111110101010011 88 -8 E . . . . . . . . 111010101010011 89 -9 C . . . . . . . . 111010101010011 90 -10 E . . . . . . . . 101010101010011 91 -11 C . . . . . . . .0101010101010011 92 -12 B . . . . . . . 00101010101010011 93 -13 A . . . . . . .010101010101010011 94 -12 B . . . . . . .110101010101010011 95 -11 D . . . . . . .110101010101010011 96 -10 A . . . . . . .111101010101010011 97 -11 C . . . . . . .111001010101010011 98 -12 E . . . . . . .110001010101010011 99 -13 C . . . . . . .110001010101010011 100 -14 E . . . . . . 0010001010101010011 101 -15 F . . . . . .01010001010101010011 102 -14 D . . . . . .11010001010101010011 103 -13 B . . . . . .10010001010101010011 104 -14 A . . . . . .10110001010101010011 105 -13 B . . . . . .11110001010101010011 106 -12 D . . . . . .11110001010101010011 107 -11 B . . . . . .11100001010101010011 108 -12 A . . . . . .11101001010101010011 109 -11 B . . . . . .11111001010101010011 110 -10 D . . . . . .11111001010101010011 111 -9 A . . . . . .11111101010101010011 112 -8 B . . . . . .11111111010101010011 113 -7 D . . . . . .11111111010101010011 114 -6 A . . . . . .11111111110101010011 115 -7 C . . . . . .11111111100101010011 116 -8 E . . . . . .11111111000101010011 117 -9 C . . . . . .11111111000101010011 118 -10 E . . . . . .11111101000101010011 119 -11 C . . . . . .11111101000101010011 120 -12 E . . . . . .11110101000101010011 121 -13 C . . . . . .11110101000101010011 122 -14 E . . . . . .11010101000101010011 123 -15 C . . . . . .11010101000101010011 124 -16 E . . . . . 001010101000101010011 125 -17 F . . . . .0101010101000101010011 126 -16 D . . . . .1101010101000101010011 127 -15 B . . . . .1001010101000101010011 128 -16 A . . . . .1011010101000101010011 129 -15 B . . . . .1111010101000101010011 130 -14 D . . . . .1111010101000101010011 131 -13 B . . . . .1110010101000101010011 132 -14 A . . . . .1110110101000101010011 133 -13 B . . . . .1111110101000101010011 134 -12 D . . . . .1111110101000101010011 135 -11 B . . . . .1111100101000101010011 136 -12 A . . . . .1111101101000101010011 137 -11 B . . . . .1111111101000101010011 138 -10 D . . . . .1111111101000101010011 139 -9 B . . . . .1111111001000101010011 140 -10 A . . . . .1111111011000101010011 141 -9 B . . . . .1111111111000101010011 142 -8 D . . . . .1111111111000101010011 143 -7 B . . . . .1111111110000101010011 144 -8 A . . . . .1111111110100101010011 145 -7 B . . . . .1111111111100101010011 146 -6 D . . . . .1111111111100101010011 147 -5 A . . . . .1111111111110101010011 148 -4 B . . . . .1111111111111101010011 149 -3 D . . . . .1111111111111101010011 150 -2 A . . . . .1111111111111111010011 151 -3 C . . . . .1111111111111110010011 152 -4 E . . . . .1111111111111100010011 153 -5 C . . . . .1111111111111100010011 154 -6 E . . . . .1111111111110100010011 155 -7 C . . . . .1111111111110100010011 156 -8 E . . . . .1111111111010100010011 157 -9 C . . . . .1111111111010100010011 158 -10 E . . . . .1111111101010100010011 159 -11 C . . . . .1111111101010100010011 160 -12 E . . . . .1111110101010100010011 161 -13 C . . . . .1111110101010100010011 162 -14 E . . . . .1111010101010100010011 163 -15 C . . . . .1111010101010100010011 164 -16 E . . . . .1101010101010100010011 165 -17 C . . . . .1101010101010100010011 166 -18 E . . . . 00101010101010100010011 167 -19 F . . . .010101010101010100010011 168 -18 D . . . .110101010101010100010011 169 -17 B . . . .100101010101010100010011 170 -18 A . . . .101101010101010100010011 171 -17 B . . . .111101010101010100010011 172 -16 D . . . .111101010101010100010011 173 -15 B . . . .111001010101010100010011 174 -16 A . . . .111011010101010100010011 175 -15 B . . . .111111010101010100010011 176 -14 D . . . .111111010101010100010011 177 -13 B . . . .111110010101010100010011 178 -14 A . . . .111110110101010100010011 179 -13 B . . . .111111110101010100010011 180 -12 D . . . .111111110101010100010011 181 -11 B . . . .111111100101010100010011 182 -12 A . . . .111111101101010100010011 183 -11 B . . . .111111111101010100010011 184 -10 D . . . .111111111101010100010011 185 -9 B . . . .111111111001010100010011 186 -10 A . . . .111111111011010100010011 187 -9 B . . . .111111111111010100010011 188 -8 D . . . .111111111111010100010011 189 -7 B . . . .111111111110010100010011 190 -8 A . . . .111111111110110100010011 191 -7 B . . . .111111111111110100010011 192 -6 D . . . .111111111111110100010011 193 -5 B . . . .111111111111100100010011 194 -6 A . . . .111111111111101100010011 195 -5 B . . . .111111111111111100010011 196 -4 D . . . .111111111111111100010011 197 -3 B . . . .111111111111111000010011 198 -4 A . . . .111111111111111010010011 199 -3 B . . . .111111111111111110010011 200 -2 D . . . .111111111111111110010011 201 -1 A . . . .111111111111111111010011 202 0 B . . . .111111111111111111110011 203 1 D . . . .111111111111111111110011 204 2 A . . . .111111111111111111111011 205 3 B . . . .111111111111111111111111 206 4 D . . . .111111111111111111111111 207 5 B . . . .1111111111111111111111100 208 4 A . . . .1111111111111111111111101 209 5 B . . . .1111111111111111111111111 210 6 D . . . .11111111111111111111111110 211 7 A . . . .111111111111111111111111110 212 8 B . . . .1111111111111111111111111110 213 7 A . . . .1111111111111111111111111111 214 6 C . . . .1111111111111111111111111101 215 5 E . . . .1111111111111111111111111001 216 4 C . . . .1111111111111111111111111001 217 3 E . . . .1111111111111111111111101001 218 2 C . . . .1111111111111111111111101001 219 1 E . . . .1111111111111111111110101001 220 0 C . . . .1111111111111111111110101001 221 -1 E . . . .1111111111111111111010101001 222 -2 C . . . .1111111111111111111010101001 223 -3 E . . . .1111111111111111101010101001 224 -4 C . . . .1111111111111111101010101001 225 -5 E . . . .1111111111111110101010101001 226 -6 C . . . .1111111111111110101010101001 227 -7 E . . . .1111111111111010101010101001 228 -8 C . . . .1111111111111010101010101001 229 -9 E . . . .1111111111101010101010101001 230 -10 C . . . .1111111111101010101010101001 231 -11 E . . . .1111111110101010101010101001 232 -12 C . . . .1111111110101010101010101001 233 -13 E . . . .1111111010101010101010101001 234 -14 C . . . .1111111010101010101010101001 235 -15 E . . . .1111101010101010101010101001 236 -16 C . . . .1111101010101010101010101001 237 -17 E . . . .1110101010101010101010101001 238 -18 C . . . .1110101010101010101010101001 239 -19 E . . . .1010101010101010101010101001 240 -20 C . . . 01010101010101010101010101001 241 -21 B . . .001010101010101010101010101001 242 -22 A . . 0101010101010101010101010101001 243 -21 B . . 1101010101010101010101010101001 244 -20 D . . 1101010101010101010101010101001 245 -19 A . . 1111010101010101010101010101001 246 -20 C . . 1110010101010101010101010101001 247 -21 E . . 1100010101010101010101010101001 248 -22 C . . 1100010101010101010101010101001 249 -23 E . .00100010101010101010101010101001 250 -24 F . 010100010101010101010101010101001 251 -23 D . 110100010101010101010101010101001 252 -22 B . 100100010101010101010101010101001 253 -23 A . 101100010101010101010101010101001 254 -22 B . 111100010101010101010101010101001 255 -21 D . 111100010101010101010101010101001 256 -20 B . 111000010101010101010101010101001 257 -21 A . 111010010101010101010101010101001 258 -20 B . 111110010101010101010101010101001 259 -19 D . 111110010101010101010101010101001 260 -18 A . 111111010101010101010101010101001 261 -17 B . 111111110101010101010101010101001 262 -16 D . 111111110101010101010101010101001 263 -15 A . 111111111101010101010101010101001 264 -16 C . 111111111001010101010101010101001 265 -17 E . 111111110001010101010101010101001 266 -18 C . 111111110001010101010101010101001 267 -19 E . 111111010001010101010101010101001 268 -20 C . 111111010001010101010101010101001 269 -21 E . 111101010001010101010101010101001 270 -22 C . 111101010001010101010101010101001 271 -23 E . 110101010001010101010101010101001 272 -24 C . 110101010001010101010101010101001 273 -25 E .0010101010001010101010101010101001 274 -26 F 01010101010001010101010101010101001 275 -25 D 11010101010001010101010101010101001 276 -24 B 10010101010001010101010101010101001 277 -25 A 10110101010001010101010101010101001 278 -24 B 11110101010001010101010101010101001 279 -23 D 11110101010001010101010101010101001 280 -22 B 11100101010001010101010101010101001 281 -23 A 11101101010001010101010101010101001 282 -22 B 11111101010001010101010101010101001 283 -21 D 11111101010001010101010101010101001 284 -20 B 11111001010001010101010101010101001 285 -21 A 11111011010001010101010101010101001 286 -20 B 11111111010001010101010101010101001 287 -19 D 11111111010001010101010101010101001 288 -18 B 11111110010001010101010101010101001 289 -19 A 11111110110001010101010101010101001 290 -18 B 11111111110001010101010101010101001 291 -17 D 11111111110001010101010101010101001 292 -16 B 11111111100001010101010101010101001 293 -17 A 11111111101001010101010101010101001 294 -16 B 11111111111001010101010101010101001 295 -15 D 11111111111001010101010101010101001 296 -14 A 11111111111101010101010101010101001 297 -13 B 11111111111111010101010101010101001 298 -12 D 11111111111111010101010101010101001 299 -11 A 11111111111111110101010101010101001 300 -12 C 11111111111111100101010101010101001 After 300 steps (301 lines): state = C. Produced 24 ones. Tape index -12, scanned [-26 .. 8].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 58 | 46 | 12 | 0 | 2 |
B | 80 | 38 | 42 | 1 | 6 |
C | 55 | 4 | 51 | 3 | 14 |
D | 49 | 19 | 30 | 7 | 31 |
E | 51 | 7 | 44 | 29 | 15 |
F | 7 | 7 | 30 |