Comment: This TM produces 17485734 ones in 95547257425490 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 | A0R | 1 | left | A | 0 | right | A |
C | D0L | Z1R | 0 | left | D | 1 | right | Z |
D | E1R | D1L | 1 | right | E | 1 | left | D |
E | F0L | E0L | 0 | left | F | 0 | left | E |
F | F1R | B0L | 1 | right | F | 0 | left | B |
Simulation is done just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. The same TM as 1-bck-macro machine. The same TM as 1-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 D . . . . . . . . . . . . . . 0001 5 -1 E . . . . . . . . . . . . . . 1001 6 -2 F . . . . . . . . . . . . . . 1001 7 -3 B . . . . . . . . . . . . . .00001 8 -4 A . . . . . . . . . . . . . 010001 9 -3 B . . . . . . . . . . . . . 110001 10 -2 A . . . . . . . . . . . . . 100001 11 -1 B . . . . . . . . . . . . . 101001 12 -2 A . . . . . . . . . . . . . 101101 13 -3 C . . . . . . . . . . . . . 100101 14 -4 D . . . . . . . . . . . . . 100101 15 -5 D . . . . . . . . . . . . .0100101 16 -4 E . . . . . . . . . . . . .1100101 17 -5 E . . . . . . . . . . . . .1000101 18 -6 E . . . . . . . . . . . . 00000101 19 -7 F . . . . . . . . . . . .000000101 20 -6 F . . . . . . . . . . . .100000101 21 -5 F . . . . . . . . . . . .110000101 22 -4 F . . . . . . . . . . . .111000101 23 -3 F . . . . . . . . . . . .111100101 24 -2 F . . . . . . . . . . . .111110101 25 -1 F . . . . . . . . . . . .111111101 26 -2 B . . . . . . . . . . . .111111001 27 -1 A . . . . . . . . . . . .111110001 28 0 B . . . . . . . . . . . .111110101 29 -1 A . . . . . . . . . . . .111110111 30 -2 C . . . . . . . . . . . .111110011 31 -3 D . . . . . . . . . . . .111110011 32 -4 D . . . . . . . . . . . .111110011 33 -5 D . . . . . . . . . . . .111110011 34 -6 D . . . . . . . . . . . .111110011 35 -7 D . . . . . . . . . . . .111110011 36 -8 D . . . . . . . . . . . 0111110011 37 -7 E . . . . . . . . . . . 1111110011 38 -8 E . . . . . . . . . . . 1011110011 39 -9 E . . . . . . . . . . .00011110011 40 -10 F . . . . . . . . . . 000011110011 41 -9 F . . . . . . . . . . 100011110011 42 -8 F . . . . . . . . . . 110011110011 43 -7 F . . . . . . . . . . 111011110011 44 -6 F . . . . . . . . . . 111111110011 45 -7 B . . . . . . . . . . 111101110011 46 -6 A . . . . . . . . . . 111001110011 47 -5 B . . . . . . . . . . 111011110011 48 -4 A . . . . . . . . . . 111010110011 49 -5 C . . . . . . . . . . 111010010011 50 -6 D . . . . . . . . . . 111010010011 51 -7 D . . . . . . . . . . 111010010011 52 -6 E . . . . . . . . . . 111110010011 53 -7 E . . . . . . . . . . 111100010011 54 -8 E . . . . . . . . . . 111000010011 55 -9 E . . . . . . . . . . 110000010011 56 -10 E . . . . . . . . . . 100000010011 57 -11 E . . . . . . . . . .0000000010011 58 -12 F . . . . . . . . . 00000000010011 59 -11 F . . . . . . . . . 10000000010011 60 -10 F . . . . . . . . . 11000000010011 61 -9 F . . . . . . . . . 11100000010011 62 -8 F . . . . . . . . . 11110000010011 63 -7 F . . . . . . . . . 11111000010011 64 -6 F . . . . . . . . . 11111100010011 65 -5 F . . . . . . . . . 11111110010011 66 -4 F . . . . . . . . . 11111111010011 67 -3 F . . . . . . . . . 11111111110011 68 -4 B . . . . . . . . . 11111111100011 69 -3 A . . . . . . . . . 11111111000011 70 -2 B . . . . . . . . . 11111111010011 71 -3 A . . . . . . . . . 11111111011011 72 -4 C . . . . . . . . . 11111111001011 73 -5 D . . . . . . . . . 11111111001011 74 -6 D . . . . . . . . . 11111111001011 75 -7 D . . . . . . . . . 11111111001011 76 -8 D . . . . . . . . . 11111111001011 77 -9 D . . . . . . . . . 11111111001011 78 -10 D . . . . . . . . . 11111111001011 79 -11 D . . . . . . . . . 11111111001011 80 -12 D . . . . . . . . . 11111111001011 81 -13 D . . . . . . . . .011111111001011 82 -12 E . . . . . . . . .111111111001011 83 -13 E . . . . . . . . .101111111001011 84 -14 E . . . . . . . . 0001111111001011 85 -15 F . . . . . . . .00001111111001011 86 -14 F . . . . . . . .10001111111001011 87 -13 F . . . . . . . .11001111111001011 88 -12 F . . . . . . . .11101111111001011 89 -11 F . . . . . . . .11111111111001011 90 -12 B . . . . . . . .11110111111001011 91 -11 A . . . . . . . .11100111111001011 92 -10 B . . . . . . . .11101111111001011 93 -9 A . . . . . . . .11101011111001011 94 -10 C . . . . . . . .11101001111001011 95 -11 D . . . . . . . .11101001111001011 96 -12 D . . . . . . . .11101001111001011 97 -11 E . . . . . . . .11111001111001011 98 -12 E . . . . . . . .11110001111001011 99 -13 E . . . . . . . .11100001111001011 100 -14 E . . . . . . . .11000001111001011 101 -15 E . . . . . . . .10000001111001011 102 -16 E . . . . . . . 000000001111001011 103 -17 F . . . . . . .0000000001111001011 104 -16 F . . . . . . .1000000001111001011 105 -15 F . . . . . . .1100000001111001011 106 -14 F . . . . . . .1110000001111001011 107 -13 F . . . . . . .1111000001111001011 108 -12 F . . . . . . .1111100001111001011 109 -11 F . . . . . . .1111110001111001011 110 -10 F . . . . . . .1111111001111001011 111 -9 F . . . . . . .1111111101111001011 112 -8 F . . . . . . .1111111111111001011 113 -9 B . . . . . . .1111111110111001011 114 -8 A . . . . . . .1111111100111001011 115 -7 B . . . . . . .1111111101111001011 116 -6 A . . . . . . .1111111101011001011 117 -7 C . . . . . . .1111111101001001011 118 -8 D . . . . . . .1111111101001001011 119 -9 D . . . . . . .1111111101001001011 120 -8 E . . . . . . .1111111111001001011 121 -9 E . . . . . . .1111111110001001011 122 -10 E . . . . . . .1111111100001001011 123 -11 E . . . . . . .1111111000001001011 124 -12 E . . . . . . .1111110000001001011 125 -13 E . . . . . . .1111100000001001011 126 -14 E . . . . . . .1111000000001001011 127 -15 E . . . . . . .1110000000001001011 128 -16 E . . . . . . .1100000000001001011 129 -17 E . . . . . . .1000000000001001011 130 -18 E . . . . . . 00000000000001001011 131 -19 F . . . . . .000000000000001001011 132 -18 F . . . . . .100000000000001001011 133 -17 F . . . . . .110000000000001001011 134 -16 F . . . . . .111000000000001001011 135 -15 F . . . . . .111100000000001001011 136 -14 F . . . . . .111110000000001001011 137 -13 F . . . . . .111111000000001001011 138 -12 F . . . . . .111111100000001001011 139 -11 F . . . . . .111111110000001001011 140 -10 F . . . . . .111111111000001001011 141 -9 F . . . . . .111111111100001001011 142 -8 F . . . . . .111111111110001001011 143 -7 F . . . . . .111111111111001001011 144 -6 F . . . . . .111111111111101001011 145 -5 F . . . . . .111111111111111001011 146 -6 B . . . . . .111111111111110001011 147 -5 A . . . . . .111111111111100001011 148 -4 B . . . . . .111111111111101001011 149 -5 A . . . . . .111111111111101101011 150 -6 C . . . . . .111111111111100101011 151 -7 D . . . . . .111111111111100101011 152 -8 D . . . . . .111111111111100101011 153 -9 D . . . . . .111111111111100101011 154 -10 D . . . . . .111111111111100101011 155 -11 D . . . . . .111111111111100101011 156 -12 D . . . . . .111111111111100101011 157 -13 D . . . . . .111111111111100101011 158 -14 D . . . . . .111111111111100101011 159 -15 D . . . . . .111111111111100101011 160 -16 D . . . . . .111111111111100101011 161 -17 D . . . . . .111111111111100101011 162 -18 D . . . . . .111111111111100101011 163 -19 D . . . . . .111111111111100101011 164 -20 D . . . . . 0111111111111100101011 165 -19 E . . . . . 1111111111111100101011 166 -20 E . . . . . 1011111111111100101011 167 -21 E . . . . .00011111111111100101011 168 -22 F . . . . 000011111111111100101011 169 -21 F . . . . 100011111111111100101011 170 -20 F . . . . 110011111111111100101011 171 -19 F . . . . 111011111111111100101011 172 -18 F . . . . 111111111111111100101011 173 -19 B . . . . 111101111111111100101011 174 -18 A . . . . 111001111111111100101011 175 -17 B . . . . 111011111111111100101011 176 -16 A . . . . 111010111111111100101011 177 -17 C . . . . 111010011111111100101011 178 -18 D . . . . 111010011111111100101011 179 -19 D . . . . 111010011111111100101011 180 -18 E . . . . 111110011111111100101011 181 -19 E . . . . 111100011111111100101011 182 -20 E . . . . 111000011111111100101011 183 -21 E . . . . 110000011111111100101011 184 -22 E . . . . 100000011111111100101011 185 -23 E . . . .0000000011111111100101011 186 -24 F . . . 00000000011111111100101011 187 -23 F . . . 10000000011111111100101011 188 -22 F . . . 11000000011111111100101011 189 -21 F . . . 11100000011111111100101011 190 -20 F . . . 11110000011111111100101011 191 -19 F . . . 11111000011111111100101011 192 -18 F . . . 11111100011111111100101011 193 -17 F . . . 11111110011111111100101011 194 -16 F . . . 11111111011111111100101011 195 -15 F . . . 11111111111111111100101011 196 -16 B . . . 11111111101111111100101011 197 -15 A . . . 11111111001111111100101011 198 -14 B . . . 11111111011111111100101011 199 -13 A . . . 11111111010111111100101011 200 -14 C . . . 11111111010011111100101011 201 -15 D . . . 11111111010011111100101011 202 -16 D . . . 11111111010011111100101011 203 -15 E . . . 11111111110011111100101011 204 -16 E . . . 11111111100011111100101011 205 -17 E . . . 11111111000011111100101011 206 -18 E . . . 11111110000011111100101011 207 -19 E . . . 11111100000011111100101011 208 -20 E . . . 11111000000011111100101011 209 -21 E . . . 11110000000011111100101011 210 -22 E . . . 11100000000011111100101011 211 -23 E . . . 11000000000011111100101011 212 -24 E . . . 10000000000011111100101011 213 -25 E . . .000000000000011111100101011 214 -26 F . . 0000000000000011111100101011 215 -25 F . . 1000000000000011111100101011 216 -24 F . . 1100000000000011111100101011 217 -23 F . . 1110000000000011111100101011 218 -22 F . . 1111000000000011111100101011 219 -21 F . . 1111100000000011111100101011 220 -20 F . . 1111110000000011111100101011 221 -19 F . . 1111111000000011111100101011 222 -18 F . . 1111111100000011111100101011 223 -17 F . . 1111111110000011111100101011 224 -16 F . . 1111111111000011111100101011 225 -15 F . . 1111111111100011111100101011 226 -14 F . . 1111111111110011111100101011 227 -13 F . . 1111111111111011111100101011 228 -12 F . . 1111111111111111111100101011 229 -13 B . . 1111111111111101111100101011 230 -12 A . . 1111111111111001111100101011 231 -11 B . . 1111111111111011111100101011 232 -10 A . . 1111111111111010111100101011 233 -11 C . . 1111111111111010011100101011 234 -12 D . . 1111111111111010011100101011 235 -13 D . . 1111111111111010011100101011 236 -12 E . . 1111111111111110011100101011 237 -13 E . . 1111111111111100011100101011 238 -14 E . . 1111111111111000011100101011 239 -15 E . . 1111111111110000011100101011 240 -16 E . . 1111111111100000011100101011 241 -17 E . . 1111111111000000011100101011 242 -18 E . . 1111111110000000011100101011 243 -19 E . . 1111111100000000011100101011 244 -20 E . . 1111111000000000011100101011 245 -21 E . . 1111110000000000011100101011 246 -22 E . . 1111100000000000011100101011 247 -23 E . . 1111000000000000011100101011 248 -24 E . . 1110000000000000011100101011 249 -25 E . . 1100000000000000011100101011 250 -26 E . . 1000000000000000011100101011 251 -27 E . .00000000000000000011100101011 252 -28 F . 000000000000000000011100101011 253 -27 F . 100000000000000000011100101011 254 -26 F . 110000000000000000011100101011 255 -25 F . 111000000000000000011100101011 256 -24 F . 111100000000000000011100101011 257 -23 F . 111110000000000000011100101011 258 -22 F . 111111000000000000011100101011 259 -21 F . 111111100000000000011100101011 260 -20 F . 111111110000000000011100101011 261 -19 F . 111111111000000000011100101011 262 -18 F . 111111111100000000011100101011 263 -17 F . 111111111110000000011100101011 264 -16 F . 111111111111000000011100101011 265 -15 F . 111111111111100000011100101011 266 -14 F . 111111111111110000011100101011 267 -13 F . 111111111111111000011100101011 268 -12 F . 111111111111111100011100101011 269 -11 F . 111111111111111110011100101011 270 -10 F . 111111111111111111011100101011 271 -9 F . 111111111111111111111100101011 272 -10 B . 111111111111111111101100101011 273 -9 A . 111111111111111111001100101011 274 -8 B . 111111111111111111011100101011 275 -7 A . 111111111111111111010100101011 276 -8 C . 111111111111111111010000101011 277 -9 D . 111111111111111111010000101011 278 -10 D . 111111111111111111010000101011 279 -9 E . 111111111111111111110000101011 280 -10 E . 111111111111111111100000101011 281 -11 E . 111111111111111111000000101011 282 -12 E . 111111111111111110000000101011 283 -13 E . 111111111111111100000000101011 284 -14 E . 111111111111111000000000101011 285 -15 E . 111111111111110000000000101011 286 -16 E . 111111111111100000000000101011 287 -17 E . 111111111111000000000000101011 288 -18 E . 111111111110000000000000101011 289 -19 E . 111111111100000000000000101011 290 -20 E . 111111111000000000000000101011 291 -21 E . 111111110000000000000000101011 292 -22 E . 111111100000000000000000101011 293 -23 E . 111111000000000000000000101011 294 -24 E . 111110000000000000000000101011 295 -25 E . 111100000000000000000000101011 296 -26 E . 111000000000000000000000101011 297 -27 E . 110000000000000000000000101011 298 -28 E . 100000000000000000000000101011 299 -29 E .0000000000000000000000000101011 300 -30 F 00000000000000000000000000101011 After 300 steps (301 lines): state = F. Produced 4 ones. Tape index -30, scanned [-29 .. 1].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 25 | 13 | 12 | 0 | 2 |
B | 24 | 6 | 18 | 1 | 9 |
C | 12 | 12 | 3 | ||
D | 46 | 12 | 34 | 4 | 14 |
E | 90 | 12 | 78 | 5 | 16 |
F | 103 | 92 | 11 | 19 | 6 |