Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web) 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 | A1L | 1 | left | B | 1 | left | A |
B | C1R | D1L | 1 | right | C | 1 | left | D |
C | A1R | C1R | 1 | right | A | 1 | right | C |
D | Z== | E0L | Z | stay | = | 0 | left | E |
E | C1L | B0L | 1 | left | C | 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 13-macro machine. The same TM as 13-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 C . . . . . . . . . . . . . . . . . . . . . . . . . .110 4 2 A . . . . . . . . . . . . . . . . . . . . . . . . . .1110 5 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111 6 0 D . . . . . . . . . . . . . . . . . . . . . . . . . .1111 7 -1 E . . . . . . . . . . . . . . . . . . . . . . . . . .1011 8 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . 00011 9 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . 10011 10 0 A . . . . . . . . . . . . . . . . . . . . . . . . . 11011 11 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . 11111 12 -2 D . . . . . . . . . . . . . . . . . . . . . . . . . 11111 13 -3 E . . . . . . . . . . . . . . . . . . . . . . . . .001111 14 -4 C . . . . . . . . . . . . . . . . . . . . . . . . 0101111 15 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 1101111 16 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 1101111 17 -5 A . . . . . . . . . . . . . . . . . . . . . . . .01101111 18 -6 B . . . . . . . . . . . . . . . . . . . . . . . 011101111 19 -5 C . . . . . . . . . . . . . . . . . . . . . . . 111101111 20 -4 C . . . . . . . . . . . . . . . . . . . . . . . 111101111 21 -3 C . . . . . . . . . . . . . . . . . . . . . . . 111101111 22 -2 C . . . . . . . . . . . . . . . . . . . . . . . 111101111 23 -1 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 24 -2 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 25 -3 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 26 -4 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 27 -5 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 28 -6 A . . . . . . . . . . . . . . . . . . . . . . . 111111111 29 -7 A . . . . . . . . . . . . . . . . . . . . . . .0111111111 30 -8 B . . . . . . . . . . . . . . . . . . . . . . 01111111111 31 -7 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 32 -6 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 33 -5 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 34 -4 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 35 -3 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 36 -2 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 37 -1 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 38 0 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 39 1 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 40 2 C . . . . . . . . . . . . . . . . . . . . . . 11111111111 41 3 C . . . . . . . . . . . . . . . . . . . . . . 111111111110 42 4 A . . . . . . . . . . . . . . . . . . . . . . 1111111111110 43 3 B . . . . . . . . . . . . . . . . . . . . . . 1111111111111 44 2 D . . . . . . . . . . . . . . . . . . . . . . 1111111111111 45 1 E . . . . . . . . . . . . . . . . . . . . . . 1111111111011 46 0 B . . . . . . . . . . . . . . . . . . . . . . 1111111110011 47 -1 D . . . . . . . . . . . . . . . . . . . . . . 1111111110011 48 -2 E . . . . . . . . . . . . . . . . . . . . . . 1111111010011 49 -3 B . . . . . . . . . . . . . . . . . . . . . . 1111110010011 50 -4 D . . . . . . . . . . . . . . . . . . . . . . 1111110010011 51 -5 E . . . . . . . . . . . . . . . . . . . . . . 1111010010011 52 -6 B . . . . . . . . . . . . . . . . . . . . . . 1110010010011 53 -7 D . . . . . . . . . . . . . . . . . . . . . . 1110010010011 54 -8 E . . . . . . . . . . . . . . . . . . . . . . 1010010010011 55 -9 B . . . . . . . . . . . . . . . . . . . . . .00010010010011 56 -8 C . . . . . . . . . . . . . . . . . . . . . .10010010010011 57 -7 A . . . . . . . . . . . . . . . . . . . . . .11010010010011 58 -8 B . . . . . . . . . . . . . . . . . . . . . .11110010010011 59 -9 D . . . . . . . . . . . . . . . . . . . . . .11110010010011 60 -10 E . . . . . . . . . . . . . . . . . . . . . 001110010010011 61 -11 C . . . . . . . . . . . . . . . . . . . . .0101110010010011 62 -10 A . . . . . . . . . . . . . . . . . . . . .1101110010010011 63 -11 A . . . . . . . . . . . . . . . . . . . . .1101110010010011 64 -12 A . . . . . . . . . . . . . . . . . . . . 01101110010010011 65 -13 B . . . . . . . . . . . . . . . . . . . .011101110010010011 66 -12 C . . . . . . . . . . . . . . . . . . . .111101110010010011 67 -11 C . . . . . . . . . . . . . . . . . . . .111101110010010011 68 -10 C . . . . . . . . . . . . . . . . . . . .111101110010010011 69 -9 C . . . . . . . . . . . . . . . . . . . .111101110010010011 70 -8 A . . . . . . . . . . . . . . . . . . . .111111110010010011 71 -9 A . . . . . . . . . . . . . . . . . . . .111111110010010011 72 -10 A . . . . . . . . . . . . . . . . . . . .111111110010010011 73 -11 A . . . . . . . . . . . . . . . . . . . .111111110010010011 74 -12 A . . . . . . . . . . . . . . . . . . . .111111110010010011 75 -13 A . . . . . . . . . . . . . . . . . . . .111111110010010011 76 -14 A . . . . . . . . . . . . . . . . . . . 0111111110010010011 77 -15 B . . . . . . . . . . . . . . . . . . .01111111110010010011 78 -14 C . . . . . . . . . . . . . . . . . . .11111111110010010011 79 -13 C . . . . . . . . . . . . . . . . . . .11111111110010010011 80 -12 C . . . . . . . . . . . . . . . . . . .11111111110010010011 81 -11 C . . . . . . . . . . . . . . . . . . .11111111110010010011 82 -10 C . . . . . . . . . . . . . . . . . . .11111111110010010011 83 -9 C . . . . . . . . . . . . . . . . . . .11111111110010010011 84 -8 C . . . . . . . . . . . . . . . . . . .11111111110010010011 85 -7 C . . . . . . . . . . . . . . . . . . .11111111110010010011 86 -6 C . . . . . . . . . . . . . . . . . . .11111111110010010011 87 -5 C . . . . . . . . . . . . . . . . . . .11111111110010010011 88 -4 A . . . . . . . . . . . . . . . . . . .11111111111010010011 89 -5 B . . . . . . . . . . . . . . . . . . .11111111111110010011 90 -6 D . . . . . . . . . . . . . . . . . . .11111111111110010011 91 -7 E . . . . . . . . . . . . . . . . . . .11111111101110010011 92 -8 B . . . . . . . . . . . . . . . . . . .11111111001110010011 93 -9 D . . . . . . . . . . . . . . . . . . .11111111001110010011 94 -10 E . . . . . . . . . . . . . . . . . . .11111101001110010011 95 -11 B . . . . . . . . . . . . . . . . . . .11111001001110010011 96 -12 D . . . . . . . . . . . . . . . . . . .11111001001110010011 97 -13 E . . . . . . . . . . . . . . . . . . .11101001001110010011 98 -14 B . . . . . . . . . . . . . . . . . . .11001001001110010011 99 -15 D . . . . . . . . . . . . . . . . . . .11001001001110010011 100 -16 E . . . . . . . . . . . . . . . . . . 001001001001110010011 101 -17 C . . . . . . . . . . . . . . . . . .0101001001001110010011 102 -16 A . . . . . . . . . . . . . . . . . .1101001001001110010011 103 -17 A . . . . . . . . . . . . . . . . . .1101001001001110010011 104 -18 A . . . . . . . . . . . . . . . . . 01101001001001110010011 105 -19 B . . . . . . . . . . . . . . . . .011101001001001110010011 106 -18 C . . . . . . . . . . . . . . . . .111101001001001110010011 107 -17 C . . . . . . . . . . . . . . . . .111101001001001110010011 108 -16 C . . . . . . . . . . . . . . . . .111101001001001110010011 109 -15 C . . . . . . . . . . . . . . . . .111101001001001110010011 110 -14 A . . . . . . . . . . . . . . . . .111111001001001110010011 111 -15 A . . . . . . . . . . . . . . . . .111111001001001110010011 112 -16 A . . . . . . . . . . . . . . . . .111111001001001110010011 113 -17 A . . . . . . . . . . . . . . . . .111111001001001110010011 114 -18 A . . . . . . . . . . . . . . . . .111111001001001110010011 115 -19 A . . . . . . . . . . . . . . . . .111111001001001110010011 116 -20 A . . . . . . . . . . . . . . . . 0111111001001001110010011 117 -21 B . . . . . . . . . . . . . . . .01111111001001001110010011 118 -20 C . . . . . . . . . . . . . . . .11111111001001001110010011 119 -19 C . . . . . . . . . . . . . . . .11111111001001001110010011 120 -18 C . . . . . . . . . . . . . . . .11111111001001001110010011 121 -17 C . . . . . . . . . . . . . . . .11111111001001001110010011 122 -16 C . . . . . . . . . . . . . . . .11111111001001001110010011 123 -15 C . . . . . . . . . . . . . . . .11111111001001001110010011 124 -14 C . . . . . . . . . . . . . . . .11111111001001001110010011 125 -13 C . . . . . . . . . . . . . . . .11111111001001001110010011 126 -12 A . . . . . . . . . . . . . . . .11111111101001001110010011 127 -13 B . . . . . . . . . . . . . . . .11111111111001001110010011 128 -14 D . . . . . . . . . . . . . . . .11111111111001001110010011 129 -15 E . . . . . . . . . . . . . . . .11111110111001001110010011 130 -16 B . . . . . . . . . . . . . . . .11111100111001001110010011 131 -17 D . . . . . . . . . . . . . . . .11111100111001001110010011 132 -18 E . . . . . . . . . . . . . . . .11110100111001001110010011 133 -19 B . . . . . . . . . . . . . . . .11100100111001001110010011 134 -20 D . . . . . . . . . . . . . . . .11100100111001001110010011 135 -21 E . . . . . . . . . . . . . . . .10100100111001001110010011 136 -22 B . . . . . . . . . . . . . . . 000100100111001001110010011 137 -21 C . . . . . . . . . . . . . . . 100100100111001001110010011 138 -20 A . . . . . . . . . . . . . . . 110100100111001001110010011 139 -21 B . . . . . . . . . . . . . . . 111100100111001001110010011 140 -22 D . . . . . . . . . . . . . . . 111100100111001001110010011 141 -23 E . . . . . . . . . . . . . . .0011100100111001001110010011 142 -24 C . . . . . . . . . . . . . . 01011100100111001001110010011 143 -23 A . . . . . . . . . . . . . . 11011100100111001001110010011 144 -24 A . . . . . . . . . . . . . . 11011100100111001001110010011 145 -25 A . . . . . . . . . . . . . .011011100100111001001110010011 146 -26 B . . . . . . . . . . . . . 0111011100100111001001110010011 147 -25 C . . . . . . . . . . . . . 1111011100100111001001110010011 148 -24 C . . . . . . . . . . . . . 1111011100100111001001110010011 149 -23 C . . . . . . . . . . . . . 1111011100100111001001110010011 150 -22 C . . . . . . . . . . . . . 1111011100100111001001110010011 151 -21 A . . . . . . . . . . . . . 1111111100100111001001110010011 152 -22 A . . . . . . . . . . . . . 1111111100100111001001110010011 153 -23 A . . . . . . . . . . . . . 1111111100100111001001110010011 154 -24 A . . . . . . . . . . . . . 1111111100100111001001110010011 155 -25 A . . . . . . . . . . . . . 1111111100100111001001110010011 156 -26 A . . . . . . . . . . . . . 1111111100100111001001110010011 157 -27 A . . . . . . . . . . . . .01111111100100111001001110010011 158 -28 B . . . . . . . . . . . . 011111111100100111001001110010011 159 -27 C . . . . . . . . . . . . 111111111100100111001001110010011 160 -26 C . . . . . . . . . . . . 111111111100100111001001110010011 161 -25 C . . . . . . . . . . . . 111111111100100111001001110010011 162 -24 C . . . . . . . . . . . . 111111111100100111001001110010011 163 -23 C . . . . . . . . . . . . 111111111100100111001001110010011 164 -22 C . . . . . . . . . . . . 111111111100100111001001110010011 165 -21 C . . . . . . . . . . . . 111111111100100111001001110010011 166 -20 C . . . . . . . . . . . . 111111111100100111001001110010011 167 -19 C . . . . . . . . . . . . 111111111100100111001001110010011 168 -18 C . . . . . . . . . . . . 111111111100100111001001110010011 169 -17 A . . . . . . . . . . . . 111111111110100111001001110010011 170 -18 B . . . . . . . . . . . . 111111111111100111001001110010011 171 -19 D . . . . . . . . . . . . 111111111111100111001001110010011 172 -20 E . . . . . . . . . . . . 111111111011100111001001110010011 173 -21 B . . . . . . . . . . . . 111111110011100111001001110010011 174 -22 D . . . . . . . . . . . . 111111110011100111001001110010011 175 -23 E . . . . . . . . . . . . 111111010011100111001001110010011 176 -24 B . . . . . . . . . . . . 111110010011100111001001110010011 177 -25 D . . . . . . . . . . . . 111110010011100111001001110010011 178 -26 E . . . . . . . . . . . . 111010010011100111001001110010011 179 -27 B . . . . . . . . . . . . 110010010011100111001001110010011 180 -28 D . . . . . . . . . . . . 110010010011100111001001110010011 181 -29 E . . . . . . . . . . . .0010010010011100111001001110010011 182 -30 C . . . . . . . . . . . 01010010010011100111001001110010011 183 -29 A . . . . . . . . . . . 11010010010011100111001001110010011 184 -30 A . . . . . . . . . . . 11010010010011100111001001110010011 185 -31 A . . . . . . . . . . .011010010010011100111001001110010011 186 -32 B . . . . . . . . . . 0111010010010011100111001001110010011 187 -31 C . . . . . . . . . . 1111010010010011100111001001110010011 188 -30 C . . . . . . . . . . 1111010010010011100111001001110010011 189 -29 C . . . . . . . . . . 1111010010010011100111001001110010011 190 -28 C . . . . . . . . . . 1111010010010011100111001001110010011 191 -27 A . . . . . . . . . . 1111110010010011100111001001110010011 192 -28 A . . . . . . . . . . 1111110010010011100111001001110010011 193 -29 A . . . . . . . . . . 1111110010010011100111001001110010011 194 -30 A . . . . . . . . . . 1111110010010011100111001001110010011 195 -31 A . . . . . . . . . . 1111110010010011100111001001110010011 196 -32 A . . . . . . . . . . 1111110010010011100111001001110010011 197 -33 A . . . . . . . . . .01111110010010011100111001001110010011 198 -34 B . . . . . . . . . 011111110010010011100111001001110010011 199 -33 C . . . . . . . . . 111111110010010011100111001001110010011 200 -32 C . . . . . . . . . 111111110010010011100111001001110010011 After 200 steps (201 lines): state = C. Produced 23 ones. Tape index -32, scanned [-34 .. 4].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 59 | 19 | 40 | 0 | 15 |
B | 33 | 14 | 19 | 1 | 5 |
C | 70 | 18 | 52 | 3 | 2 |
D | 19 | 19 | 6 | ||
E | 19 | 5 | 14 | 13 | 7 |