Comment: This TM produces 4097 ones in 11798796 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 | 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 | H1L | E0L | 1 | left | H | 0 | left | E |
E | C1R | B1L | 1 | right | C | 1 | left | B |
Simulation is done just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. The same TM as 3-macro machine. The same TM as 3-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 . . . . . . . . . . . . . . . . . . . . . . 01011 9 -1 C . . . . . . . . . . . . . . . . . . . . . . 11011 10 0 C . . . . . . . . . . . . . . . . . . . . . . 11011 11 1 A . . . . . . . . . . . . . . . . . . . . . . 11111 12 0 A . . . . . . . . . . . . . . . . . . . . . . 11111 13 -1 A . . . . . . . . . . . . . . . . . . . . . . 11111 14 -2 A . . . . . . . . . . . . . . . . . . . . . . 11111 15 -3 A . . . . . . . . . . . . . . . . . . . . . .011111 16 -4 B . . . . . . . . . . . . . . . . . . . . . 0111111 17 -3 C . . . . . . . . . . . . . . . . . . . . . 1111111 18 -2 C . . . . . . . . . . . . . . . . . . . . . 1111111 19 -1 C . . . . . . . . . . . . . . . . . . . . . 1111111 20 0 C . . . . . . . . . . . . . . . . . . . . . 1111111 21 1 C . . . . . . . . . . . . . . . . . . . . . 1111111 22 2 C . . . . . . . . . . . . . . . . . . . . . 1111111 23 3 C . . . . . . . . . . . . . . . . . . . . . 11111110 24 4 A . . . . . . . . . . . . . . . . . . . . . 111111110 25 3 B . . . . . . . . . . . . . . . . . . . . . 111111111 26 2 D . . . . . . . . . . . . . . . . . . . . . 111111111 27 1 E . . . . . . . . . . . . . . . . . . . . . 111111011 28 0 B . . . . . . . . . . . . . . . . . . . . . 111111011 29 -1 D . . . . . . . . . . . . . . . . . . . . . 111111011 30 -2 E . . . . . . . . . . . . . . . . . . . . . 111011011 31 -3 B . . . . . . . . . . . . . . . . . . . . . 111011011 32 -4 D . . . . . . . . . . . . . . . . . . . . . 111011011 33 -5 E . . . . . . . . . . . . . . . . . . . . .0011011011 34 -4 C . . . . . . . . . . . . . . . . . . . . .1011011011 35 -3 A . . . . . . . . . . . . . . . . . . . . .1111011011 36 -4 A . . . . . . . . . . . . . . . . . . . . .1111011011 37 -5 A . . . . . . . . . . . . . . . . . . . . .1111011011 38 -6 A . . . . . . . . . . . . . . . . . . . . 01111011011 39 -7 B . . . . . . . . . . . . . . . . . . . .011111011011 40 -6 C . . . . . . . . . . . . . . . . . . . .111111011011 41 -5 C . . . . . . . . . . . . . . . . . . . .111111011011 42 -4 C . . . . . . . . . . . . . . . . . . . .111111011011 43 -3 C . . . . . . . . . . . . . . . . . . . .111111011011 44 -2 C . . . . . . . . . . . . . . . . . . . .111111011011 45 -1 C . . . . . . . . . . . . . . . . . . . .111111011011 46 0 A . . . . . . . . . . . . . . . . . . . .111111111011 47 -1 A . . . . . . . . . . . . . . . . . . . .111111111011 48 -2 A . . . . . . . . . . . . . . . . . . . .111111111011 49 -3 A . . . . . . . . . . . . . . . . . . . .111111111011 50 -4 A . . . . . . . . . . . . . . . . . . . .111111111011 51 -5 A . . . . . . . . . . . . . . . . . . . .111111111011 52 -6 A . . . . . . . . . . . . . . . . . . . .111111111011 53 -7 A . . . . . . . . . . . . . . . . . . . .111111111011 54 -8 A . . . . . . . . . . . . . . . . . . . 0111111111011 55 -9 B . . . . . . . . . . . . . . . . . . .01111111111011 56 -8 C . . . . . . . . . . . . . . . . . . .11111111111011 57 -7 C . . . . . . . . . . . . . . . . . . .11111111111011 58 -6 C . . . . . . . . . . . . . . . . . . .11111111111011 59 -5 C . . . . . . . . . . . . . . . . . . .11111111111011 60 -4 C . . . . . . . . . . . . . . . . . . .11111111111011 61 -3 C . . . . . . . . . . . . . . . . . . .11111111111011 62 -2 C . . . . . . . . . . . . . . . . . . .11111111111011 63 -1 C . . . . . . . . . . . . . . . . . . .11111111111011 64 0 C . . . . . . . . . . . . . . . . . . .11111111111011 65 1 C . . . . . . . . . . . . . . . . . . .11111111111011 66 2 C . . . . . . . . . . . . . . . . . . .11111111111011 67 3 A . . . . . . . . . . . . . . . . . . .11111111111111 68 2 A . . . . . . . . . . . . . . . . . . .11111111111111 69 1 A . . . . . . . . . . . . . . . . . . .11111111111111 70 0 A . . . . . . . . . . . . . . . . . . .11111111111111 71 -1 A . . . . . . . . . . . . . . . . . . .11111111111111 72 -2 A . . . . . . . . . . . . . . . . . . .11111111111111 73 -3 A . . . . . . . . . . . . . . . . . . .11111111111111 74 -4 A . . . . . . . . . . . . . . . . . . .11111111111111 75 -5 A . . . . . . . . . . . . . . . . . . .11111111111111 76 -6 A . . . . . . . . . . . . . . . . . . .11111111111111 77 -7 A . . . . . . . . . . . . . . . . . . .11111111111111 78 -8 A . . . . . . . . . . . . . . . . . . .11111111111111 79 -9 A . . . . . . . . . . . . . . . . . . .11111111111111 80 -10 A . . . . . . . . . . . . . . . . . . 011111111111111 81 -11 B . . . . . . . . . . . . . . . . . .0111111111111111 82 -10 C . . . . . . . . . . . . . . . . . .1111111111111111 83 -9 C . . . . . . . . . . . . . . . . . .1111111111111111 84 -8 C . . . . . . . . . . . . . . . . . .1111111111111111 85 -7 C . . . . . . . . . . . . . . . . . .1111111111111111 86 -6 C . . . . . . . . . . . . . . . . . .1111111111111111 87 -5 C . . . . . . . . . . . . . . . . . .1111111111111111 88 -4 C . . . . . . . . . . . . . . . . . .1111111111111111 89 -3 C . . . . . . . . . . . . . . . . . .1111111111111111 90 -2 C . . . . . . . . . . . . . . . . . .1111111111111111 91 -1 C . . . . . . . . . . . . . . . . . .1111111111111111 92 0 C . . . . . . . . . . . . . . . . . .1111111111111111 93 1 C . . . . . . . . . . . . . . . . . .1111111111111111 94 2 C . . . . . . . . . . . . . . . . . .1111111111111111 95 3 C . . . . . . . . . . . . . . . . . .1111111111111111 96 4 C . . . . . . . . . . . . . . . . . .1111111111111111 97 5 C . . . . . . . . . . . . . . . . . .11111111111111110 98 6 A . . . . . . . . . . . . . . . . . .111111111111111110 99 5 B . . . . . . . . . . . . . . . . . .111111111111111111 100 4 D . . . . . . . . . . . . . . . . . .111111111111111111 101 3 E . . . . . . . . . . . . . . . . . .111111111111111011 102 2 B . . . . . . . . . . . . . . . . . .111111111111111011 103 1 D . . . . . . . . . . . . . . . . . .111111111111111011 104 0 E . . . . . . . . . . . . . . . . . .111111111111011011 105 -1 B . . . . . . . . . . . . . . . . . .111111111111011011 106 -2 D . . . . . . . . . . . . . . . . . .111111111111011011 107 -3 E . . . . . . . . . . . . . . . . . .111111111011011011 108 -4 B . . . . . . . . . . . . . . . . . .111111111011011011 109 -5 D . . . . . . . . . . . . . . . . . .111111111011011011 110 -6 E . . . . . . . . . . . . . . . . . .111111011011011011 111 -7 B . . . . . . . . . . . . . . . . . .111111011011011011 112 -8 D . . . . . . . . . . . . . . . . . .111111011011011011 113 -9 E . . . . . . . . . . . . . . . . . .111011011011011011 114 -10 B . . . . . . . . . . . . . . . . . .111011011011011011 115 -11 D . . . . . . . . . . . . . . . . . .111011011011011011 116 -12 E . . . . . . . . . . . . . . . . . 0011011011011011011 117 -11 C . . . . . . . . . . . . . . . . . 1011011011011011011 118 -10 A . . . . . . . . . . . . . . . . . 1111011011011011011 119 -11 A . . . . . . . . . . . . . . . . . 1111011011011011011 120 -12 A . . . . . . . . . . . . . . . . . 1111011011011011011 121 -13 A . . . . . . . . . . . . . . . . .01111011011011011011 122 -14 B . . . . . . . . . . . . . . . . 011111011011011011011 123 -13 C . . . . . . . . . . . . . . . . 111111011011011011011 124 -12 C . . . . . . . . . . . . . . . . 111111011011011011011 125 -11 C . . . . . . . . . . . . . . . . 111111011011011011011 126 -10 C . . . . . . . . . . . . . . . . 111111011011011011011 127 -9 C . . . . . . . . . . . . . . . . 111111011011011011011 128 -8 C . . . . . . . . . . . . . . . . 111111011011011011011 129 -7 A . . . . . . . . . . . . . . . . 111111111011011011011 130 -8 A . . . . . . . . . . . . . . . . 111111111011011011011 131 -9 A . . . . . . . . . . . . . . . . 111111111011011011011 132 -10 A . . . . . . . . . . . . . . . . 111111111011011011011 133 -11 A . . . . . . . . . . . . . . . . 111111111011011011011 134 -12 A . . . . . . . . . . . . . . . . 111111111011011011011 135 -13 A . . . . . . . . . . . . . . . . 111111111011011011011 136 -14 A . . . . . . . . . . . . . . . . 111111111011011011011 137 -15 A . . . . . . . . . . . . . . . .0111111111011011011011 138 -16 B . . . . . . . . . . . . . . . 01111111111011011011011 139 -15 C . . . . . . . . . . . . . . . 11111111111011011011011 140 -14 C . . . . . . . . . . . . . . . 11111111111011011011011 141 -13 C . . . . . . . . . . . . . . . 11111111111011011011011 142 -12 C . . . . . . . . . . . . . . . 11111111111011011011011 143 -11 C . . . . . . . . . . . . . . . 11111111111011011011011 144 -10 C . . . . . . . . . . . . . . . 11111111111011011011011 145 -9 C . . . . . . . . . . . . . . . 11111111111011011011011 146 -8 C . . . . . . . . . . . . . . . 11111111111011011011011 147 -7 C . . . . . . . . . . . . . . . 11111111111011011011011 148 -6 C . . . . . . . . . . . . . . . 11111111111011011011011 149 -5 C . . . . . . . . . . . . . . . 11111111111011011011011 150 -4 A . . . . . . . . . . . . . . . 11111111111111011011011 151 -5 A . . . . . . . . . . . . . . . 11111111111111011011011 152 -6 A . . . . . . . . . . . . . . . 11111111111111011011011 153 -7 A . . . . . . . . . . . . . . . 11111111111111011011011 154 -8 A . . . . . . . . . . . . . . . 11111111111111011011011 155 -9 A . . . . . . . . . . . . . . . 11111111111111011011011 156 -10 A . . . . . . . . . . . . . . . 11111111111111011011011 157 -11 A . . . . . . . . . . . . . . . 11111111111111011011011 158 -12 A . . . . . . . . . . . . . . . 11111111111111011011011 159 -13 A . . . . . . . . . . . . . . . 11111111111111011011011 160 -14 A . . . . . . . . . . . . . . . 11111111111111011011011 161 -15 A . . . . . . . . . . . . . . . 11111111111111011011011 162 -16 A . . . . . . . . . . . . . . . 11111111111111011011011 163 -17 A . . . . . . . . . . . . . . .011111111111111011011011 164 -18 B . . . . . . . . . . . . . . 0111111111111111011011011 165 -17 C . . . . . . . . . . . . . . 1111111111111111011011011 166 -16 C . . . . . . . . . . . . . . 1111111111111111011011011 167 -15 C . . . . . . . . . . . . . . 1111111111111111011011011 168 -14 C . . . . . . . . . . . . . . 1111111111111111011011011 169 -13 C . . . . . . . . . . . . . . 1111111111111111011011011 170 -12 C . . . . . . . . . . . . . . 1111111111111111011011011 171 -11 C . . . . . . . . . . . . . . 1111111111111111011011011 172 -10 C . . . . . . . . . . . . . . 1111111111111111011011011 173 -9 C . . . . . . . . . . . . . . 1111111111111111011011011 174 -8 C . . . . . . . . . . . . . . 1111111111111111011011011 175 -7 C . . . . . . . . . . . . . . 1111111111111111011011011 176 -6 C . . . . . . . . . . . . . . 1111111111111111011011011 177 -5 C . . . . . . . . . . . . . . 1111111111111111011011011 178 -4 C . . . . . . . . . . . . . . 1111111111111111011011011 179 -3 C . . . . . . . . . . . . . . 1111111111111111011011011 180 -2 C . . . . . . . . . . . . . . 1111111111111111011011011 181 -1 A . . . . . . . . . . . . . . 1111111111111111111011011 182 -2 A . . . . . . . . . . . . . . 1111111111111111111011011 183 -3 A . . . . . . . . . . . . . . 1111111111111111111011011 184 -4 A . . . . . . . . . . . . . . 1111111111111111111011011 185 -5 A . . . . . . . . . . . . . . 1111111111111111111011011 186 -6 A . . . . . . . . . . . . . . 1111111111111111111011011 187 -7 A . . . . . . . . . . . . . . 1111111111111111111011011 188 -8 A . . . . . . . . . . . . . . 1111111111111111111011011 189 -9 A . . . . . . . . . . . . . . 1111111111111111111011011 190 -10 A . . . . . . . . . . . . . . 1111111111111111111011011 191 -11 A . . . . . . . . . . . . . . 1111111111111111111011011 192 -12 A . . . . . . . . . . . . . . 1111111111111111111011011 193 -13 A . . . . . . . . . . . . . . 1111111111111111111011011 194 -14 A . . . . . . . . . . . . . . 1111111111111111111011011 195 -15 A . . . . . . . . . . . . . . 1111111111111111111011011 196 -16 A . . . . . . . . . . . . . . 1111111111111111111011011 197 -17 A . . . . . . . . . . . . . . 1111111111111111111011011 198 -18 A . . . . . . . . . . . . . . 1111111111111111111011011 199 -19 A . . . . . . . . . . . . . .01111111111111111111011011 200 -20 B . . . . . . . . . . . . . 011111111111111111111011011 After 200 steps (201 lines): state = B. Produced 24 ones. Tape index -20, scanned [-19 .. 6].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 82 | 12 | 70 | 0 | 11 |
B | 19 | 9 | 10 | 1 | 5 |
C | 79 | 11 | 68 | 3 | 2 |
D | 10 | 10 | 6 | ||
E | 10 | 2 | 8 | 33 | 7 |