Comment: This TM produces >1.4*10^60 ones in >6.1*10^119 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 | C1R | 1 | left | A | 1 | right | C |
C | A1R | D0L | 1 | right | A | 0 | left | D |
D | E1L | C1L | 1 | left | E | 1 | left | C |
E | F1R | Z1R | 1 | right | F | 1 | right | Z |
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 . . . . . . . . . . . . . 11 3 -1 C . . . . . . . . . . . . .001 4 0 A . . . . . . . . . . . . .101 5 1 B . . . . . . . . . . . . .111 6 2 C . . . . . . . . . . . . .1110 7 3 A . . . . . . . . . . . . .11110 8 4 B . . . . . . . . . . . . .111110 9 3 A . . . . . . . . . . . . .111111 10 2 C . . . . . . . . . . . . .111101 11 1 D . . . . . . . . . . . . .111001 12 0 C . . . . . . . . . . . . .111001 13 -1 D . . . . . . . . . . . . .101001 14 -2 C . . . . . . . . . . . . 0101001 15 -1 A . . . . . . . . . . . . 1101001 16 -2 C . . . . . . . . . . . . 1001001 17 -3 D . . . . . . . . . . . .00001001 18 -4 E . . . . . . . . . . . 010001001 19 -3 F . . . . . . . . . . . 110001001 20 -2 E . . . . . . . . . . . 110001001 21 -1 F . . . . . . . . . . . 111001001 22 0 A . . . . . . . . . . . 111101001 23 1 B . . . . . . . . . . . 111111001 24 2 C . . . . . . . . . . . 111111001 25 3 A . . . . . . . . . . . 111111101 26 4 B . . . . . . . . . . . 111111111 27 5 C . . . . . . . . . . . 1111111110 28 6 A . . . . . . . . . . . 11111111110 29 7 B . . . . . . . . . . . 111111111110 30 6 A . . . . . . . . . . . 111111111111 31 5 C . . . . . . . . . . . 111111111101 32 4 D . . . . . . . . . . . 111111111001 33 3 C . . . . . . . . . . . 111111111001 34 2 D . . . . . . . . . . . 111111101001 35 1 C . . . . . . . . . . . 111111101001 36 0 D . . . . . . . . . . . 111110101001 37 -1 C . . . . . . . . . . . 111110101001 38 -2 D . . . . . . . . . . . 111010101001 39 -3 C . . . . . . . . . . . 111010101001 40 -4 D . . . . . . . . . . . 101010101001 41 -5 C . . . . . . . . . . .0101010101001 42 -4 A . . . . . . . . . . .1101010101001 43 -5 C . . . . . . . . . . .1001010101001 44 -6 D . . . . . . . . . . 00001010101001 45 -7 E . . . . . . . . . .010001010101001 46 -6 F . . . . . . . . . .110001010101001 47 -5 E . . . . . . . . . .110001010101001 48 -4 F . . . . . . . . . .111001010101001 49 -3 A . . . . . . . . . .111101010101001 50 -2 B . . . . . . . . . .111111010101001 51 -1 C . . . . . . . . . .111111010101001 52 0 A . . . . . . . . . .111111110101001 53 -1 C . . . . . . . . . .111111100101001 54 -2 D . . . . . . . . . .111111000101001 55 -3 C . . . . . . . . . .111111000101001 56 -4 D . . . . . . . . . .111101000101001 57 -5 C . . . . . . . . . .111101000101001 58 -6 D . . . . . . . . . .110101000101001 59 -7 C . . . . . . . . . .110101000101001 60 -8 D . . . . . . . . . 0010101000101001 61 -9 E . . . . . . . . .01010101000101001 62 -8 F . . . . . . . . .11010101000101001 63 -7 E . . . . . . . . .11010101000101001 64 -6 F . . . . . . . . .11110101000101001 65 -5 E . . . . . . . . .11110101000101001 66 -4 F . . . . . . . . .11111101000101001 67 -3 E . . . . . . . . .11111101000101001 68 -2 F . . . . . . . . .11111111000101001 69 -1 E . . . . . . . . .11111111000101001 70 0 F . . . . . . . . .11111111100101001 71 1 A . . . . . . . . .11111111110101001 72 2 B . . . . . . . . .11111111111101001 73 3 C . . . . . . . . .11111111111101001 74 4 A . . . . . . . . .11111111111111001 75 3 C . . . . . . . . .11111111111110001 76 2 D . . . . . . . . .11111111111100001 77 1 C . . . . . . . . .11111111111100001 78 0 D . . . . . . . . .11111111110100001 79 -1 C . . . . . . . . .11111111110100001 80 -2 D . . . . . . . . .11111111010100001 81 -3 C . . . . . . . . .11111111010100001 82 -4 D . . . . . . . . .11111101010100001 83 -5 C . . . . . . . . .11111101010100001 84 -6 D . . . . . . . . .11110101010100001 85 -7 C . . . . . . . . .11110101010100001 86 -8 D . . . . . . . . .11010101010100001 87 -9 C . . . . . . . . .11010101010100001 88 -10 D . . . . . . . . 001010101010100001 89 -11 E . . . . . . . .0101010101010100001 90 -10 F . . . . . . . .1101010101010100001 91 -9 E . . . . . . . .1101010101010100001 92 -8 F . . . . . . . .1111010101010100001 93 -7 E . . . . . . . .1111010101010100001 94 -6 F . . . . . . . .1111110101010100001 95 -5 E . . . . . . . .1111110101010100001 96 -4 F . . . . . . . .1111111101010100001 97 -3 E . . . . . . . .1111111101010100001 98 -2 F . . . . . . . .1111111111010100001 99 -1 E . . . . . . . .1111111111010100001 100 0 F . . . . . . . .1111111111110100001 101 1 E . . . . . . . .1111111111110100001 102 2 F . . . . . . . .1111111111111100001 103 3 E . . . . . . . .1111111111111100001 104 4 F . . . . . . . .1111111111111110001 105 5 A . . . . . . . .1111111111111111001 106 6 B . . . . . . . .1111111111111111101 107 5 A . . . . . . . .1111111111111111111 108 4 C . . . . . . . .1111111111111111011 109 3 D . . . . . . . .1111111111111110011 110 2 C . . . . . . . .1111111111111110011 111 1 D . . . . . . . .1111111111111010011 112 0 C . . . . . . . .1111111111111010011 113 -1 D . . . . . . . .1111111111101010011 114 -2 C . . . . . . . .1111111111101010011 115 -3 D . . . . . . . .1111111110101010011 116 -4 C . . . . . . . .1111111110101010011 117 -5 D . . . . . . . .1111111010101010011 118 -6 C . . . . . . . .1111111010101010011 119 -7 D . . . . . . . .1111101010101010011 120 -8 C . . . . . . . .1111101010101010011 121 -9 D . . . . . . . .1110101010101010011 122 -10 C . . . . . . . .1110101010101010011 123 -11 D . . . . . . . .1010101010101010011 124 -12 C . . . . . . . 01010101010101010011 125 -11 A . . . . . . . 11010101010101010011 126 -12 C . . . . . . . 10010101010101010011 127 -13 D . . . . . . .000010101010101010011 128 -14 E . . . . . . 0100010101010101010011 129 -13 F . . . . . . 1100010101010101010011 130 -12 E . . . . . . 1100010101010101010011 131 -11 F . . . . . . 1110010101010101010011 132 -10 A . . . . . . 1111010101010101010011 133 -9 B . . . . . . 1111110101010101010011 134 -8 C . . . . . . 1111110101010101010011 135 -7 A . . . . . . 1111111101010101010011 136 -8 C . . . . . . 1111111001010101010011 137 -9 D . . . . . . 1111110001010101010011 138 -10 C . . . . . . 1111110001010101010011 139 -11 D . . . . . . 1111010001010101010011 140 -12 C . . . . . . 1111010001010101010011 141 -13 D . . . . . . 1101010001010101010011 142 -14 C . . . . . . 1101010001010101010011 143 -15 D . . . . . .00101010001010101010011 144 -16 E . . . . . 010101010001010101010011 145 -15 F . . . . . 110101010001010101010011 146 -14 E . . . . . 110101010001010101010011 147 -13 F . . . . . 111101010001010101010011 148 -12 E . . . . . 111101010001010101010011 149 -11 F . . . . . 111111010001010101010011 150 -10 E . . . . . 111111010001010101010011 151 -9 F . . . . . 111111110001010101010011 152 -8 E . . . . . 111111110001010101010011 153 -7 F . . . . . 111111111001010101010011 154 -6 A . . . . . 111111111101010101010011 155 -5 B . . . . . 111111111111010101010011 156 -4 C . . . . . 111111111111010101010011 157 -3 A . . . . . 111111111111110101010011 158 -4 C . . . . . 111111111111100101010011 159 -5 D . . . . . 111111111111000101010011 160 -6 C . . . . . 111111111111000101010011 161 -7 D . . . . . 111111111101000101010011 162 -8 C . . . . . 111111111101000101010011 163 -9 D . . . . . 111111110101000101010011 164 -10 C . . . . . 111111110101000101010011 165 -11 D . . . . . 111111010101000101010011 166 -12 C . . . . . 111111010101000101010011 167 -13 D . . . . . 111101010101000101010011 168 -14 C . . . . . 111101010101000101010011 169 -15 D . . . . . 110101010101000101010011 170 -16 C . . . . . 110101010101000101010011 171 -17 D . . . . .0010101010101000101010011 172 -18 E . . . . 01010101010101000101010011 173 -17 F . . . . 11010101010101000101010011 174 -16 E . . . . 11010101010101000101010011 175 -15 F . . . . 11110101010101000101010011 176 -14 E . . . . 11110101010101000101010011 177 -13 F . . . . 11111101010101000101010011 178 -12 E . . . . 11111101010101000101010011 179 -11 F . . . . 11111111010101000101010011 180 -10 E . . . . 11111111010101000101010011 181 -9 F . . . . 11111111110101000101010011 182 -8 E . . . . 11111111110101000101010011 183 -7 F . . . . 11111111111101000101010011 184 -6 E . . . . 11111111111101000101010011 185 -5 F . . . . 11111111111111000101010011 186 -4 E . . . . 11111111111111000101010011 187 -3 F . . . . 11111111111111100101010011 188 -2 A . . . . 11111111111111110101010011 189 -1 B . . . . 11111111111111111101010011 190 0 C . . . . 11111111111111111101010011 191 1 A . . . . 11111111111111111111010011 192 0 C . . . . 11111111111111111110010011 193 -1 D . . . . 11111111111111111100010011 194 -2 C . . . . 11111111111111111100010011 195 -3 D . . . . 11111111111111110100010011 196 -4 C . . . . 11111111111111110100010011 197 -5 D . . . . 11111111111111010100010011 198 -6 C . . . . 11111111111111010100010011 199 -7 D . . . . 11111111111101010100010011 200 -8 C . . . . 11111111111101010100010011 201 -9 D . . . . 11111111110101010100010011 202 -10 C . . . . 11111111110101010100010011 203 -11 D . . . . 11111111010101010100010011 204 -12 C . . . . 11111111010101010100010011 205 -13 D . . . . 11111101010101010100010011 206 -14 C . . . . 11111101010101010100010011 207 -15 D . . . . 11110101010101010100010011 208 -16 C . . . . 11110101010101010100010011 209 -17 D . . . . 11010101010101010100010011 210 -18 C . . . . 11010101010101010100010011 211 -19 D . . . .001010101010101010100010011 212 -20 E . . . 0101010101010101010100010011 213 -19 F . . . 1101010101010101010100010011 214 -18 E . . . 1101010101010101010100010011 215 -17 F . . . 1111010101010101010100010011 216 -16 E . . . 1111010101010101010100010011 217 -15 F . . . 1111110101010101010100010011 218 -14 E . . . 1111110101010101010100010011 219 -13 F . . . 1111111101010101010100010011 220 -12 E . . . 1111111101010101010100010011 221 -11 F . . . 1111111111010101010100010011 222 -10 E . . . 1111111111010101010100010011 223 -9 F . . . 1111111111110101010100010011 224 -8 E . . . 1111111111110101010100010011 225 -7 F . . . 1111111111111101010100010011 226 -6 E . . . 1111111111111101010100010011 227 -5 F . . . 1111111111111111010100010011 228 -4 E . . . 1111111111111111010100010011 229 -3 F . . . 1111111111111111110100010011 230 -2 E . . . 1111111111111111110100010011 231 -1 F . . . 1111111111111111111100010011 232 0 E . . . 1111111111111111111100010011 233 1 F . . . 1111111111111111111110010011 234 2 A . . . 1111111111111111111111010011 235 3 B . . . 1111111111111111111111110011 236 4 C . . . 1111111111111111111111110011 237 5 A . . . 1111111111111111111111111011 238 6 B . . . 1111111111111111111111111111 239 7 C . . . 1111111111111111111111111111 240 6 D . . . 1111111111111111111111111110 241 5 C . . . 1111111111111111111111111110 242 4 D . . . 1111111111111111111111111010 243 3 C . . . 1111111111111111111111111010 244 2 D . . . 1111111111111111111111101010 245 1 C . . . 1111111111111111111111101010 246 0 D . . . 1111111111111111111110101010 247 -1 C . . . 1111111111111111111110101010 248 -2 D . . . 1111111111111111111010101010 249 -3 C . . . 1111111111111111111010101010 250 -4 D . . . 1111111111111111101010101010 251 -5 C . . . 1111111111111111101010101010 252 -6 D . . . 1111111111111110101010101010 253 -7 C . . . 1111111111111110101010101010 254 -8 D . . . 1111111111111010101010101010 255 -9 C . . . 1111111111111010101010101010 256 -10 D . . . 1111111111101010101010101010 257 -11 C . . . 1111111111101010101010101010 258 -12 D . . . 1111111110101010101010101010 259 -13 C . . . 1111111110101010101010101010 260 -14 D . . . 1111111010101010101010101010 261 -15 C . . . 1111111010101010101010101010 262 -16 D . . . 1111101010101010101010101010 263 -17 C . . . 1111101010101010101010101010 264 -18 D . . . 1110101010101010101010101010 265 -19 C . . . 1110101010101010101010101010 266 -20 D . . . 1010101010101010101010101010 267 -21 C . . .01010101010101010101010101010 268 -20 A . . .11010101010101010101010101010 269 -21 C . . .10010101010101010101010101010 270 -22 D . . 000010101010101010101010101010 271 -23 E . .0100010101010101010101010101010 272 -22 F . .1100010101010101010101010101010 273 -21 E . .1100010101010101010101010101010 274 -20 F . .1110010101010101010101010101010 275 -19 A . .1111010101010101010101010101010 276 -18 B . .1111110101010101010101010101010 277 -17 C . .1111110101010101010101010101010 278 -16 A . .1111111101010101010101010101010 279 -17 C . .1111111001010101010101010101010 280 -18 D . .1111110001010101010101010101010 281 -19 C . .1111110001010101010101010101010 282 -20 D . .1111010001010101010101010101010 283 -21 C . .1111010001010101010101010101010 284 -22 D . .1101010001010101010101010101010 285 -23 C . .1101010001010101010101010101010 286 -24 D . 00101010001010101010101010101010 287 -25 E .010101010001010101010101010101010 288 -24 F .110101010001010101010101010101010 289 -23 E .110101010001010101010101010101010 290 -22 F .111101010001010101010101010101010 291 -21 E .111101010001010101010101010101010 292 -20 F .111111010001010101010101010101010 293 -19 E .111111010001010101010101010101010 294 -18 F .111111110001010101010101010101010 295 -17 E .111111110001010101010101010101010 296 -16 F .111111111001010101010101010101010 297 -15 A .111111111101010101010101010101010 298 -14 B .111111111111010101010101010101010 299 -13 C .111111111111010101010101010101010 300 -12 A .111111111111110101010101010101010 After 300 steps (301 lines): state = A. Produced 23 ones. Tape index -12, scanned [-25 .. 7].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 30 | 16 | 14 | 0 | 2 |
B | 16 | 4 | 12 | 1 | 5 |
C | 85 | 16 | 69 | 3 | 10 |
D | 69 | 10 | 59 | 17 | 11 |
E | 50 | 50 | 18 | ||
F | 50 | 10 | 40 | 21 | 19 |