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 |
The same TM just simple. The same TM with repetitions reduced. Simulation is done 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 Tape contents 0 0 <A 1 -1 <B 1 2 0 1 C> 1 3 1 1 1 C> 4 2 13 A> 5 1 13 <B 1 6 0 1 1 <D 1 1 7 -1 1 <E 0 1 1 8 -2 <B 0 0 1 1 9 -1 1 C> 0 0 1 1 10 0 1 1 A> 0 1 1 11 -1 1 1 <B 13 12 -2 1 <D 14 13 -3 <E 0 14 14 -4 <C 1 0 14 15 -3 1 A> 1 0 14 16 -4 1 <A 1 0 14 17 -5 <A 1 1 0 14 18 -6 <B 13 0 14 19 -5 1 C> 13 0 14 + 22 -2 14 C> 0 14 23 -1 15 A> 14 24 -2 15 <A 14 + 29 -7 <A 19 30 -8 <B 110 31 -7 1 C> 110 + 41 3 111 C> 42 4 112 A> 43 3 112 <B 1 44 2 111 <D 1 1 45 1 110 <E 0 1 1 46 0 19 <B 0 0 1 1 47 -1 18 <D 1 0 0 1 1 48 -2 17 <E 0 1 0 0 1 1 49 -3 16 <B 0 0 1 0 0 1 1 50 -4 15 <D 1 0 0 1 0 0 1 1 51 -5 14 <E 0 1 0 0 1 0 0 1 1 52 -6 13 <B 0 0 1 0 0 1 0 0 1 1 53 -7 1 1 <D 1 0 0 1 0 0 1 0 0 1 1 54 -8 1 <E 0 1 0 0 1 0 0 1 0 0 1 1 55 -9 <B 0 0 1 0 0 1 0 0 1 0 0 1 1 56 -8 1 C> 0 0 1 0 0 1 0 0 1 0 0 1 1 57 -7 1 1 A> 0 1 0 0 1 0 0 1 0 0 1 1 58 -8 1 1 <B 1 1 0 0 1 0 0 1 0 0 1 1 59 -9 1 <D 13 0 0 1 0 0 1 0 0 1 1 60 -10 <E 0 13 0 0 1 0 0 1 0 0 1 1 61 -11 <C 1 0 13 0 0 1 0 0 1 0 0 1 1 62 -10 1 A> 1 0 13 0 0 1 0 0 1 0 0 1 1 63 -11 1 <A 1 0 13 0 0 1 0 0 1 0 0 1 1 64 -12 <A 1 1 0 13 0 0 1 0 0 1 0 0 1 1 65 -13 <B 13 0 13 0 0 1 0 0 1 0 0 1 1 66 -12 1 C> 13 0 13 0 0 1 0 0 1 0 0 1 1 + 69 -9 14 C> 0 13 0 0 1 0 0 1 0 0 1 1 70 -8 15 A> 13 0 0 1 0 0 1 0 0 1 1 71 -9 15 <A 13 0 0 1 0 0 1 0 0 1 1 + 76 -14 <A 18 0 0 1 0 0 1 0 0 1 1 77 -15 <B 19 0 0 1 0 0 1 0 0 1 1 78 -14 1 C> 19 0 0 1 0 0 1 0 0 1 1 + 87 -5 110 C> 0 0 1 0 0 1 0 0 1 1 88 -4 111 A> 0 1 0 0 1 0 0 1 1 89 -5 111 <B 1 1 0 0 1 0 0 1 1 90 -6 110 <D 13 0 0 1 0 0 1 1 91 -7 19 <E 0 13 0 0 1 0 0 1 1 92 -8 18 <B 0 0 13 0 0 1 0 0 1 1 93 -9 17 <D 1 0 0 13 0 0 1 0 0 1 1 94 -10 16 <E 0 1 0 0 13 0 0 1 0 0 1 1 95 -11 15 <B 0 0 1 0 0 13 0 0 1 0 0 1 1 96 -12 14 <D 1 0 0 1 0 0 13 0 0 1 0 0 1 1 97 -13 13 <E 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 98 -14 1 1 <B 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 99 -15 1 <D 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 100 -16 <E 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 101 -17 <C 1 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 102 -16 1 A> 1 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 103 -17 1 <A 1 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 104 -18 <A 1 1 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 105 -19 <B 13 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 106 -18 1 C> 13 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 + 109 -15 14 C> 0 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 110 -14 15 A> 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 111 -15 15 <A 1 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 + 116 -20 <A 16 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 117 -21 <B 17 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 118 -20 1 C> 17 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 + 125 -13 18 C> 0 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 126 -12 19 A> 0 1 0 0 1 0 0 13 0 0 1 0 0 1 1 127 -13 19 <B 1 1 0 0 1 0 0 13 0 0 1 0 0 1 1 128 -14 18 <D 13 0 0 1 0 0 13 0 0 1 0 0 1 1 129 -15 17 <E 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 130 -16 16 <B 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 131 -17 15 <D 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 132 -18 14 <E 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 133 -19 13 <B 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 134 -20 1 1 <D 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 135 -21 1 <E 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 136 -22 <B 0 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 137 -21 1 C> 0 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 138 -20 1 1 A> 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 139 -21 1 1 <B 1 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 140 -22 1 <D 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 141 -23 <E 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 142 -24 <C 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 143 -23 1 A> 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 144 -24 1 <A 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 145 -25 <A 1 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 146 -26 <B 13 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 147 -25 1 C> 13 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 150 -22 14 C> 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 151 -21 15 A> 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 152 -22 15 <A 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 157 -27 <A 18 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 158 -28 <B 19 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 159 -27 1 C> 19 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 168 -18 110 C> 0 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 169 -17 111 A> 0 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 170 -18 111 <B 1 1 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 171 -19 110 <D 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 172 -20 19 <E 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 173 -21 18 <B 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 174 -22 17 <D 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 175 -23 16 <E 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 176 -24 15 <B 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 177 -25 14 <D 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 178 -26 13 <E 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 179 -27 1 1 <B 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 180 -28 1 <D 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 181 -29 <E 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 182 -30 <C 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 183 -29 1 A> 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 184 -30 1 <A 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 185 -31 <A 1 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 186 -32 <B 13 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 187 -31 1 C> 13 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 190 -28 14 C> 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 191 -27 15 A> 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 192 -28 15 <A 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 197 -33 <A 16 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 198 -34 <B 17 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 199 -33 1 C> 17 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 206 -26 18 C> 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 207 -25 19 A> 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 208 -26 19 <B 1 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 209 -27 18 <D 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 210 -28 17 <E 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 211 -29 16 <B 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 212 -30 15 <D 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 213 -31 14 <E 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 214 -32 13 <B 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 215 -33 1 1 <D 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 216 -34 1 <E 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 217 -35 <B 0 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 218 -34 1 C> 0 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 219 -33 1 1 A> 0 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 220 -34 1 1 <B 1 1 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 221 -35 1 <D 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 222 -36 <E 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 223 -37 <C 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 224 -36 1 A> 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 225 -37 1 <A 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 226 -38 <A 1 1 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 227 -39 <B 13 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 228 -38 1 C> 13 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 231 -35 14 C> 0 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 232 -34 15 A> 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 233 -35 15 <A 13 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 238 -40 <A 18 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 239 -41 <B 19 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 240 -40 1 C> 19 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 249 -31 110 C> 0 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 250 -30 111 A> 0 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 251 -31 111 <B 1 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 252 -32 110 <D 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 253 -33 19 <E 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 254 -34 18 <B 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 255 -35 17 <D 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 256 -36 16 <E 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 257 -37 15 <B 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 258 -38 14 <D 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 259 -39 13 <E 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 260 -40 1 1 <B 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 261 -41 1 <D 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 262 -42 <E 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 263 -43 <C 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 264 -42 1 A> 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 265 -43 1 <A 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 266 -44 <A 1 1 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 267 -45 <B 13 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 268 -44 1 C> 13 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 271 -41 14 C> 0 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 272 -40 15 A> 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 273 -41 15 <A 1 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 278 -46 <A 16 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 279 -47 <B 17 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 280 -46 1 C> 17 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 + 287 -39 18 C> 0 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 288 -38 19 A> 0 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 289 -39 19 <B 1 1 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 290 -40 18 <D 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 291 -41 17 <E 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 292 -42 16 <B 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 293 -43 15 <D 1 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 13 0 0 1 0 0 13 0 0 1 0 0 1 1 After 293 steps (201 lines): state = D. Produced 30 ones. Tape index -43, scanned [-47 .. 4].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 83 | 27 | 56 | 0 | 15 |
B | 48 | 19 | 29 | 1 | 5 |
C | 106 | 26 | 80 | 3 | 2 |
D | 28 | 28 | 6 | ||
E | 28 | 7 | 21 | 13 | 7 |