Comment: simple counter 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 | A1R | 1 | left | B | 1 | right | A |
B | A0R | C0L | 0 | right | A | 0 | left | C |
C | A0R | D1L | 0 | right | A | 1 | left | D |
D | E0L | B1R | 0 | left | E | 1 | right | B |
E | B0R | H1L | 0 | right | B | 1 | left | H |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 2-bck-bck-macro machine. The same TM as 2-bck-bck-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . . . . . 0 1 -1 B . . . . . . . . . .01 2 0 A . . . . . . . . . .01 3 1 A . . . . . . . . . .010 4 0 B . . . . . . . . . .011 5 -1 C . . . . . . . . . .001 6 0 A . . . . . . . . . .001 7 -1 B . . . . . . . . . .011 8 0 A . . . . . . . . . .011 + 10 2 A . . . . . . . . . .0110 by A/1 * 2 11 1 B . . . . . . . . . .0111 12 0 C . . . . . . . . . .0101 13 -1 D . . . . . . . . . .0101 14 -2 E . . . . . . . . . 00101 15 -1 B . . . . . . . . . 00101 16 0 A . . . . . . . . . 00101 17 1 A . . . . . . . . . 00101 18 0 B . . . . . . . . . 00111 19 -1 C . . . . . . . . . 00011 20 0 A . . . . . . . . . 00011 21 -1 B . . . . . . . . . 00111 22 0 A . . . . . . . . . 00111 + 25 3 A . . . . . . . . . 001110 by A/1 * 3 26 2 B . . . . . . . . . 001111 27 1 C . . . . . . . . . 001101 28 0 D . . . . . . . . . 001101 29 1 B . . . . . . . . . 001101 30 0 C . . . . . . . . . 001001 31 -1 D . . . . . . . . . 001001 32 -2 E . . . . . . . . . 001001 33 -1 B . . . . . . . . . 001001 34 0 A . . . . . . . . . 001001 35 1 A . . . . . . . . . 001001 36 0 B . . . . . . . . . 001101 37 -1 C . . . . . . . . . 000101 38 0 A . . . . . . . . . 000101 39 -1 B . . . . . . . . . 001101 40 0 A . . . . . . . . . 001101 + 42 2 A . . . . . . . . . 001101 by A/1 * 2 43 1 B . . . . . . . . . 001111 44 0 C . . . . . . . . . 001011 45 -1 D . . . . . . . . . 001011 46 -2 E . . . . . . . . . 001011 47 -1 B . . . . . . . . . 001011 48 0 A . . . . . . . . . 001011 49 1 A . . . . . . . . . 001011 50 0 B . . . . . . . . . 001111 51 -1 C . . . . . . . . . 000111 52 0 A . . . . . . . . . 000111 53 -1 B . . . . . . . . . 001111 54 0 A . . . . . . . . . 001111 + 58 4 A . . . . . . . . . 0011110 by A/1 * 4 59 3 B . . . . . . . . . 0011111 60 2 C . . . . . . . . . 0011101 61 1 D . . . . . . . . . 0011101 62 2 B . . . . . . . . . 0011101 63 1 C . . . . . . . . . 0011001 64 0 D . . . . . . . . . 0011001 65 1 B . . . . . . . . . 0011001 66 0 C . . . . . . . . . 0010001 67 -1 D . . . . . . . . . 0010001 68 -2 E . . . . . . . . . 0010001 69 -1 B . . . . . . . . . 0010001 70 0 A . . . . . . . . . 0010001 71 1 A . . . . . . . . . 0010001 72 0 B . . . . . . . . . 0011001 73 -1 C . . . . . . . . . 0001001 74 0 A . . . . . . . . . 0001001 75 -1 B . . . . . . . . . 0011001 76 0 A . . . . . . . . . 0011001 + 78 2 A . . . . . . . . . 0011001 by A/1 * 2 79 1 B . . . . . . . . . 0011101 80 0 C . . . . . . . . . 0010101 81 -1 D . . . . . . . . . 0010101 82 -2 E . . . . . . . . . 0010101 83 -1 B . . . . . . . . . 0010101 84 0 A . . . . . . . . . 0010101 85 1 A . . . . . . . . . 0010101 86 0 B . . . . . . . . . 0011101 87 -1 C . . . . . . . . . 0001101 88 0 A . . . . . . . . . 0001101 89 -1 B . . . . . . . . . 0011101 90 0 A . . . . . . . . . 0011101 + 93 3 A . . . . . . . . . 0011101 by A/1 * 3 94 2 B . . . . . . . . . 0011111 95 1 C . . . . . . . . . 0011011 96 0 D . . . . . . . . . 0011011 97 1 B . . . . . . . . . 0011011 98 0 C . . . . . . . . . 0010011 99 -1 D . . . . . . . . . 0010011 100 -2 E . . . . . . . . . 0010011 101 -1 B . . . . . . . . . 0010011 102 0 A . . . . . . . . . 0010011 103 1 A . . . . . . . . . 0010011 104 0 B . . . . . . . . . 0011011 105 -1 C . . . . . . . . . 0001011 106 0 A . . . . . . . . . 0001011 107 -1 B . . . . . . . . . 0011011 108 0 A . . . . . . . . . 0011011 + 110 2 A . . . . . . . . . 0011011 by A/1 * 2 111 1 B . . . . . . . . . 0011111 112 0 C . . . . . . . . . 0010111 113 -1 D . . . . . . . . . 0010111 114 -2 E . . . . . . . . . 0010111 115 -1 B . . . . . . . . . 0010111 116 0 A . . . . . . . . . 0010111 117 1 A . . . . . . . . . 0010111 118 0 B . . . . . . . . . 0011111 119 -1 C . . . . . . . . . 0001111 120 0 A . . . . . . . . . 0001111 121 -1 B . . . . . . . . . 0011111 122 0 A . . . . . . . . . 0011111 + 127 5 A . . . . . . . . . 00111110 by A/1 * 5 128 4 B . . . . . . . . . 00111111 129 3 C . . . . . . . . . 00111101 130 2 D . . . . . . . . . 00111101 131 3 B . . . . . . . . . 00111101 132 2 C . . . . . . . . . 00111001 133 1 D . . . . . . . . . 00111001 134 2 B . . . . . . . . . 00111001 135 1 C . . . . . . . . . 00110001 136 0 D . . . . . . . . . 00110001 137 1 B . . . . . . . . . 00110001 138 0 C . . . . . . . . . 00100001 139 -1 D . . . . . . . . . 00100001 140 -2 E . . . . . . . . . 00100001 141 -1 B . . . . . . . . . 00100001 142 0 A . . . . . . . . . 00100001 143 1 A . . . . . . . . . 00100001 144 0 B . . . . . . . . . 00110001 145 -1 C . . . . . . . . . 00010001 146 0 A . . . . . . . . . 00010001 147 -1 B . . . . . . . . . 00110001 148 0 A . . . . . . . . . 00110001 + 150 2 A . . . . . . . . . 00110001 by A/1 * 2 151 1 B . . . . . . . . . 00111001 152 0 C . . . . . . . . . 00101001 153 -1 D . . . . . . . . . 00101001 154 -2 E . . . . . . . . . 00101001 155 -1 B . . . . . . . . . 00101001 156 0 A . . . . . . . . . 00101001 157 1 A . . . . . . . . . 00101001 158 0 B . . . . . . . . . 00111001 159 -1 C . . . . . . . . . 00011001 160 0 A . . . . . . . . . 00011001 161 -1 B . . . . . . . . . 00111001 162 0 A . . . . . . . . . 00111001 + 165 3 A . . . . . . . . . 00111001 by A/1 * 3 166 2 B . . . . . . . . . 00111101 167 1 C . . . . . . . . . 00110101 168 0 D . . . . . . . . . 00110101 169 1 B . . . . . . . . . 00110101 170 0 C . . . . . . . . . 00100101 171 -1 D . . . . . . . . . 00100101 172 -2 E . . . . . . . . . 00100101 173 -1 B . . . . . . . . . 00100101 174 0 A . . . . . . . . . 00100101 175 1 A . . . . . . . . . 00100101 176 0 B . . . . . . . . . 00110101 177 -1 C . . . . . . . . . 00010101 178 0 A . . . . . . . . . 00010101 179 -1 B . . . . . . . . . 00110101 180 0 A . . . . . . . . . 00110101 + 182 2 A . . . . . . . . . 00110101 by A/1 * 2 183 1 B . . . . . . . . . 00111101 184 0 C . . . . . . . . . 00101101 185 -1 D . . . . . . . . . 00101101 186 -2 E . . . . . . . . . 00101101 187 -1 B . . . . . . . . . 00101101 188 0 A . . . . . . . . . 00101101 189 1 A . . . . . . . . . 00101101 190 0 B . . . . . . . . . 00111101 191 -1 C . . . . . . . . . 00011101 192 0 A . . . . . . . . . 00011101 193 -1 B . . . . . . . . . 00111101 194 0 A . . . . . . . . . 00111101 + 198 4 A . . . . . . . . . 00111101 by A/1 * 4 199 3 B . . . . . . . . . 00111111 200 2 C . . . . . . . . . 00111011 201 1 D . . . . . . . . . 00111011 202 2 B . . . . . . . . . 00111011 203 1 C . . . . . . . . . 00110011 204 0 D . . . . . . . . . 00110011 205 1 B . . . . . . . . . 00110011 206 0 C . . . . . . . . . 00100011 207 -1 D . . . . . . . . . 00100011 208 -2 E . . . . . . . . . 00100011 209 -1 B . . . . . . . . . 00100011 210 0 A . . . . . . . . . 00100011 211 1 A . . . . . . . . . 00100011 212 0 B . . . . . . . . . 00110011 213 -1 C . . . . . . . . . 00010011 214 0 A . . . . . . . . . 00010011 215 -1 B . . . . . . . . . 00110011 216 0 A . . . . . . . . . 00110011 + 218 2 A . . . . . . . . . 00110011 by A/1 * 2 219 1 B . . . . . . . . . 00111011 220 0 C . . . . . . . . . 00101011 221 -1 D . . . . . . . . . 00101011 222 -2 E . . . . . . . . . 00101011 223 -1 B . . . . . . . . . 00101011 After 223 steps (201 lines): state = B. Produced 4 ones. Tape index -1, scanned [-2 .. 5].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 89 | 40 | 49 | 0 | 2 |
B | 62 | 26 | 36 | 1 | 4 |
C | 36 | 13 | 23 | 5 | 12 |
D | 23 | 13 | 10 | 13 | 28 |
E | 13 | 13 | 14 |