Comment: This TM produces 1471 ones in 2358064 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 | B1L | D1L | 1 | left | B | 1 | left | D |
B | C1R | E0R | 1 | right | C | 0 | right | E |
C | A0L | B0R | 0 | left | A | 0 | right | B |
D | E1L | H1L | 1 | left | E | 1 | left | H |
E | C1R | C1L | 1 | right | C | 1 | left | C |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 2-bck-2-macro machine. The same TM as 2-bck-2-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . . . . . 0 1 -1 B . . . . . . . . . .01 2 0 C . . . . . . . . . .11 3 1 B . . . . . . . . . .100 4 2 C . . . . . . . . . .1010 5 1 A . . . . . . . . . .1010 6 0 D . . . . . . . . . .1010 7 -1 E . . . . . . . . . .1110 8 -2 C . . . . . . . . . 01110 9 -3 A . . . . . . . . .001110 10 -4 B . . . . . . . . 0101110 11 -3 C . . . . . . . . 1101110 12 -2 B . . . . . . . . 1001110 13 -1 C . . . . . . . . 1011110 14 0 B . . . . . . . . 1010110 15 1 E . . . . . . . . 1010010 16 0 C . . . . . . . . 1010010 17 -1 A . . . . . . . . 1010010 18 -2 B . . . . . . . . 1011010 19 -1 E . . . . . . . . 1001010 20 -2 C . . . . . . . . 1001010 21 -3 A . . . . . . . . 1001010 22 -4 B . . . . . . . . 1101010 23 -3 E . . . . . . . . 0101010 24 -4 C . . . . . . . . 0101010 25 -5 A . . . . . . . .00101010 26 -6 B . . . . . . . 010101010 27 -5 C . . . . . . . 110101010 28 -4 B . . . . . . . 100101010 29 -3 C . . . . . . . 101101010 30 -2 B . . . . . . . 101001010 31 -1 C . . . . . . . 101011010 32 0 B . . . . . . . 101010010 33 1 C . . . . . . . 101010110 34 2 B . . . . . . . 101010100 35 3 C . . . . . . . 1010101010 36 2 A . . . . . . . 1010101010 37 1 D . . . . . . . 1010101010 38 0 E . . . . . . . 1010101110 39 -1 C . . . . . . . 1010101110 40 -2 A . . . . . . . 1010101110 41 -3 D . . . . . . . 1010101110 42 -4 E . . . . . . . 1011101110 43 -5 C . . . . . . . 1011101110 44 -6 A . . . . . . . 1011101110 45 -7 D . . . . . . .01011101110 46 -8 E . . . . . . 011011101110 47 -7 C . . . . . . 111011101110 48 -6 B . . . . . . 101011101110 49 -5 E . . . . . . 100011101110 50 -4 C . . . . . . 100111101110 51 -3 B . . . . . . 100101101110 52 -2 E . . . . . . 100100101110 53 -3 C . . . . . . 100100101110 54 -4 A . . . . . . 100100101110 55 -5 B . . . . . . 100110101110 56 -4 E . . . . . . 100010101110 57 -5 C . . . . . . 100010101110 58 -6 A . . . . . . 100010101110 59 -7 B . . . . . . 101010101110 60 -6 C . . . . . . 111010101110 61 -5 B . . . . . . 110010101110 62 -4 C . . . . . . 110110101110 63 -3 B . . . . . . 110100101110 64 -2 C . . . . . . 110101101110 65 -1 B . . . . . . 110101001110 66 0 C . . . . . . 110101011110 67 1 B . . . . . . 110101010110 68 2 E . . . . . . 110101010010 69 1 C . . . . . . 110101010010 70 0 A . . . . . . 110101010010 71 -1 B . . . . . . 110101011010 72 0 E . . . . . . 110101001010 73 -1 C . . . . . . 110101001010 74 -2 A . . . . . . 110101001010 75 -3 B . . . . . . 110101101010 76 -2 E . . . . . . 110100101010 77 -3 C . . . . . . 110100101010 78 -4 A . . . . . . 110100101010 79 -5 B . . . . . . 110110101010 80 -4 E . . . . . . 110010101010 81 -5 C . . . . . . 110010101010 82 -6 A . . . . . . 110010101010 83 -7 B . . . . . . 111010101010 84 -6 E . . . . . . 101010101010 85 -7 C . . . . . . 101010101010 86 -8 A . . . . . . 101010101010 87 -9 D . . . . . .0101010101010 88 -10 E . . . . . 01101010101010 89 -9 C . . . . . 11101010101010 90 -8 B . . . . . 10101010101010 91 -7 E . . . . . 10001010101010 92 -6 C . . . . . 10011010101010 93 -5 B . . . . . 10010010101010 94 -4 C . . . . . 10010110101010 95 -3 B . . . . . 10010100101010 96 -2 C . . . . . 10010101101010 97 -1 B . . . . . 10010101001010 98 0 C . . . . . 10010101011010 99 1 B . . . . . 10010101010010 100 2 C . . . . . 10010101010110 101 3 B . . . . . 10010101010100 102 4 C . . . . . 100101010101010 103 3 A . . . . . 100101010101010 104 2 D . . . . . 100101010101010 105 1 E . . . . . 100101010101110 106 0 C . . . . . 100101010101110 107 -1 A . . . . . 100101010101110 108 -2 D . . . . . 100101010101110 109 -3 E . . . . . 100101011101110 110 -4 C . . . . . 100101011101110 111 -5 A . . . . . 100101011101110 112 -6 D . . . . . 100101011101110 113 -7 E . . . . . 100111011101110 114 -8 C . . . . . 100111011101110 115 -9 A . . . . . 100111011101110 116 -10 B . . . . . 110111011101110 117 -9 E . . . . . 010111011101110 118 -10 C . . . . . 010111011101110 119 -11 A . . . . .0010111011101110 120 -12 B . . . . 01010111011101110 121 -11 C . . . . 11010111011101110 122 -10 B . . . . 10010111011101110 123 -9 C . . . . 10110111011101110 124 -8 B . . . . 10100111011101110 125 -7 C . . . . 10101111011101110 126 -6 B . . . . 10101011011101110 127 -5 E . . . . 10101001011101110 128 -6 C . . . . 10101001011101110 129 -7 A . . . . 10101001011101110 130 -8 B . . . . 10101101011101110 131 -7 E . . . . 10100101011101110 132 -8 C . . . . 10100101011101110 133 -9 A . . . . 10100101011101110 134 -10 B . . . . 10110101011101110 135 -9 E . . . . 10010101011101110 136 -10 C . . . . 10010101011101110 137 -11 A . . . . 10010101011101110 138 -12 B . . . . 11010101011101110 139 -11 E . . . . 01010101011101110 140 -12 C . . . . 01010101011101110 141 -13 A . . . .001010101011101110 142 -14 B . . . 0101010101011101110 143 -13 C . . . 1101010101011101110 144 -12 B . . . 1001010101011101110 145 -11 C . . . 1011010101011101110 146 -10 B . . . 1010010101011101110 147 -9 C . . . 1010110101011101110 148 -8 B . . . 1010100101011101110 149 -7 C . . . 1010101101011101110 150 -6 B . . . 1010101001011101110 151 -5 C . . . 1010101011011101110 152 -4 B . . . 1010101010011101110 153 -3 C . . . 1010101010111101110 154 -2 B . . . 1010101010101101110 155 -1 E . . . 1010101010100101110 156 -2 C . . . 1010101010100101110 157 -3 A . . . 1010101010100101110 158 -4 B . . . 1010101010110101110 159 -3 E . . . 1010101010010101110 160 -4 C . . . 1010101010010101110 161 -5 A . . . 1010101010010101110 162 -6 B . . . 1010101011010101110 163 -5 E . . . 1010101001010101110 164 -6 C . . . 1010101001010101110 165 -7 A . . . 1010101001010101110 166 -8 B . . . 1010101101010101110 167 -7 E . . . 1010100101010101110 168 -8 C . . . 1010100101010101110 169 -9 A . . . 1010100101010101110 170 -10 B . . . 1010110101010101110 171 -9 E . . . 1010010101010101110 172 -10 C . . . 1010010101010101110 173 -11 A . . . 1010010101010101110 174 -12 B . . . 1011010101010101110 175 -11 E . . . 1001010101010101110 176 -12 C . . . 1001010101010101110 177 -13 A . . . 1001010101010101110 178 -14 B . . . 1101010101010101110 179 -13 E . . . 0101010101010101110 180 -14 C . . . 0101010101010101110 181 -15 A . . .00101010101010101110 182 -16 B . . 010101010101010101110 183 -15 C . . 110101010101010101110 184 -14 B . . 100101010101010101110 185 -13 C . . 101101010101010101110 186 -12 B . . 101001010101010101110 187 -11 C . . 101011010101010101110 188 -10 B . . 101010010101010101110 189 -9 C . . 101010110101010101110 190 -8 B . . 101010100101010101110 191 -7 C . . 101010101101010101110 192 -6 B . . 101010101001010101110 193 -5 C . . 101010101011010101110 194 -4 B . . 101010101010010101110 195 -3 C . . 101010101010110101110 196 -2 B . . 101010101010100101110 197 -1 C . . 101010101010101101110 198 0 B . . 101010101010101001110 199 1 C . . 101010101010101011110 200 2 B . . 101010101010101010110 After 200 steps (201 lines): state = B. Produced 11 ones. Tape index 2, scanned [-16 .. 4].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 32 | 24 | 8 | 0 | 5 |
B | 60 | 36 | 24 | 1 | 14 |
C | 68 | 31 | 37 | 4 | 2 |
D | 8 | 8 | 6 | ||
E | 32 | 4 | 28 | 46 | 7 |