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. The same TM with repetitions reduced. Simulation is done 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 Tape contents 0 0 <A 1 -1 <B 1 2 0 1 C> 1 3 1 1 0 B> 4 2 1 0 1 C> 5 1 1 0 1 <A 6 0 1 0 <D 1 7 -1 1 <E 1 1 8 -2 <C 13 9 -3 <A 0 13 10 -4 <B 1 0 13 11 -3 1 C> 1 0 13 12 -2 1 0 B> 0 13 13 -1 1 0 1 C> 13 14 0 1 0 1 0 B> 1 1 15 1 1 0 1 0 0 E> 1 16 0 1 0 1 0 0 <C 1 17 -1 1 0 1 0 <A 0 1 18 -2 1 0 1 <B 1 0 1 19 -1 1 0 0 E> 1 0 1 20 -2 1 0 0 <C 1 0 1 21 -3 1 0 <A 0 1 0 1 22 -4 1 <B 1 0 1 0 1 23 -3 E> 1 0 1 0 1 24 -4 <C 1 0 1 0 1 25 -5 <A 0 1 0 1 0 1 26 -6 <B 1 0 1 0 1 0 1 27 -5 1 C> 1 0 1 0 1 0 1 28 -4 1 0 B> 0 1 0 1 0 1 29 -3 1 0 1 C> 1 0 1 0 1 30 -2 1 0 1 0 B> 0 1 0 1 31 -1 1 0 1 0 1 C> 1 0 1 32 0 1 0 1 0 1 0 B> 0 1 33 1 1 0 1 0 1 0 1 C> 1 34 2 1 0 1 0 1 0 1 0 B> 35 3 1 0 1 0 1 0 1 0 1 C> 36 2 1 0 1 0 1 0 1 0 1 <A 37 1 1 0 1 0 1 0 1 0 <D 1 38 0 1 0 1 0 1 0 1 <E 1 1 39 -1 1 0 1 0 1 0 <C 13 40 -2 1 0 1 0 1 <A 0 13 41 -3 1 0 1 0 <D 1 0 13 42 -4 1 0 1 <E 1 1 0 13 43 -5 1 0 <C 13 0 13 44 -6 1 <A 0 13 0 13 45 -7 <D 1 0 13 0 13 46 -8 <E 1 1 0 13 0 13 47 -7 1 C> 1 1 0 13 0 13 48 -6 1 0 B> 1 0 13 0 13 49 -5 1 0 0 E> 0 13 0 13 50 -4 1 0 0 1 C> 13 0 13 51 -3 1 0 0 1 0 B> 1 1 0 13 52 -2 1 0 0 1 0 0 E> 1 0 13 53 -3 1 0 0 1 0 0 <C 1 0 13 54 -4 1 0 0 1 0 <A 0 1 0 13 55 -5 1 0 0 1 <B 1 0 1 0 13 56 -4 1 03 E> 1 0 1 0 13 57 -5 1 03 <C 1 0 1 0 13 58 -6 1 0 0 <A 0 1 0 1 0 13 59 -7 1 0 <B 1 0 1 0 1 0 13 60 -6 1 1 C> 1 0 1 0 1 0 13 61 -5 1 1 0 B> 0 1 0 1 0 13 62 -4 1 1 0 1 C> 1 0 1 0 13 63 -3 1 1 0 1 0 B> 0 1 0 13 64 -2 1 1 0 1 0 1 C> 1 0 13 65 -1 1 1 0 1 0 1 0 B> 0 13 66 0 1 1 0 1 0 1 0 1 C> 13 67 1 1 1 0 1 0 1 0 1 0 B> 1 1 68 2 1 1 0 1 0 1 0 1 0 0 E> 1 69 1 1 1 0 1 0 1 0 1 0 0 <C 1 70 0 1 1 0 1 0 1 0 1 0 <A 0 1 71 -1 1 1 0 1 0 1 0 1 <B 1 0 1 72 0 1 1 0 1 0 1 0 0 E> 1 0 1 73 -1 1 1 0 1 0 1 0 0 <C 1 0 1 74 -2 1 1 0 1 0 1 0 <A 0 1 0 1 75 -3 1 1 0 1 0 1 <B 1 0 1 0 1 76 -2 1 1 0 1 0 0 E> 1 0 1 0 1 77 -3 1 1 0 1 0 0 <C 1 0 1 0 1 78 -4 1 1 0 1 0 <A 0 1 0 1 0 1 79 -5 1 1 0 1 <B 1 0 1 0 1 0 1 80 -4 1 1 0 0 E> 1 0 1 0 1 0 1 81 -5 1 1 0 0 <C 1 0 1 0 1 0 1 82 -6 1 1 0 <A 0 1 0 1 0 1 0 1 83 -7 1 1 <B 1 0 1 0 1 0 1 0 1 84 -6 1 0 E> 1 0 1 0 1 0 1 0 1 85 -7 1 0 <C 1 0 1 0 1 0 1 0 1 86 -8 1 <A 0 1 0 1 0 1 0 1 0 1 87 -9 <D 1 0 1 0 1 0 1 0 1 0 1 88 -10 <E 1 1 0 1 0 1 0 1 0 1 0 1 89 -9 1 C> 1 1 0 1 0 1 0 1 0 1 0 1 90 -8 1 0 B> 1 0 1 0 1 0 1 0 1 0 1 91 -7 1 0 0 E> 0 1 0 1 0 1 0 1 0 1 92 -6 1 0 0 1 C> 1 0 1 0 1 0 1 0 1 93 -5 1 0 0 1 0 B> 0 1 0 1 0 1 0 1 94 -4 1 0 0 1 0 1 C> 1 0 1 0 1 0 1 95 -3 1 0 0 1 0 1 0 B> 0 1 0 1 0 1 96 -2 1 0 0 1 0 1 0 1 C> 1 0 1 0 1 97 -1 1 0 0 1 0 1 0 1 0 B> 0 1 0 1 98 0 1 0 0 1 0 1 0 1 0 1 C> 1 0 1 99 1 1 0 0 1 0 1 0 1 0 1 0 B> 0 1 100 2 1 0 0 1 0 1 0 1 0 1 0 1 C> 1 101 3 1 0 0 1 0 1 0 1 0 1 0 1 0 B> 102 4 1 0 0 1 0 1 0 1 0 1 0 1 0 1 C> 103 3 1 0 0 1 0 1 0 1 0 1 0 1 0 1 <A 104 2 1 0 0 1 0 1 0 1 0 1 0 1 0 <D 1 105 1 1 0 0 1 0 1 0 1 0 1 0 1 <E 1 1 106 0 1 0 0 1 0 1 0 1 0 1 0 <C 13 107 -1 1 0 0 1 0 1 0 1 0 1 <A 0 13 108 -2 1 0 0 1 0 1 0 1 0 <D 1 0 13 109 -3 1 0 0 1 0 1 0 1 <E 1 1 0 13 110 -4 1 0 0 1 0 1 0 <C 13 0 13 111 -5 1 0 0 1 0 1 <A 0 13 0 13 112 -6 1 0 0 1 0 <D 1 0 13 0 13 113 -7 1 0 0 1 <E 1 1 0 13 0 13 114 -8 1 0 0 <C 13 0 13 0 13 115 -9 1 0 <A 0 13 0 13 0 13 116 -10 1 <B 1 0 13 0 13 0 13 117 -9 E> 1 0 13 0 13 0 13 118 -10 <C 1 0 13 0 13 0 13 119 -11 <A 0 1 0 13 0 13 0 13 120 -12 <B 1 0 1 0 13 0 13 0 13 121 -11 1 C> 1 0 1 0 13 0 13 0 13 122 -10 1 0 B> 0 1 0 13 0 13 0 13 123 -9 1 0 1 C> 1 0 13 0 13 0 13 124 -8 1 0 1 0 B> 0 13 0 13 0 13 125 -7 1 0 1 0 1 C> 13 0 13 0 13 126 -6 1 0 1 0 1 0 B> 1 1 0 13 0 13 127 -5 1 0 1 0 1 0 0 E> 1 0 13 0 13 128 -6 1 0 1 0 1 0 0 <C 1 0 13 0 13 129 -7 1 0 1 0 1 0 <A 0 1 0 13 0 13 130 -8 1 0 1 0 1 <B 1 0 1 0 13 0 13 131 -7 1 0 1 0 0 E> 1 0 1 0 13 0 13 132 -8 1 0 1 0 0 <C 1 0 1 0 13 0 13 133 -9 1 0 1 0 <A 0 1 0 1 0 13 0 13 134 -10 1 0 1 <B 1 0 1 0 1 0 13 0 13 135 -9 1 0 0 E> 1 0 1 0 1 0 13 0 13 136 -10 1 0 0 <C 1 0 1 0 1 0 13 0 13 137 -11 1 0 <A 0 1 0 1 0 1 0 13 0 13 138 -12 1 <B 1 0 1 0 1 0 1 0 13 0 13 139 -11 E> 1 0 1 0 1 0 1 0 13 0 13 140 -12 <C 1 0 1 0 1 0 1 0 13 0 13 141 -13 <A 0 1 0 1 0 1 0 1 0 13 0 13 142 -14 <B 1 0 1 0 1 0 1 0 1 0 13 0 13 143 -13 1 C> 1 0 1 0 1 0 1 0 1 0 13 0 13 144 -12 1 0 B> 0 1 0 1 0 1 0 1 0 13 0 13 145 -11 1 0 1 C> 1 0 1 0 1 0 1 0 13 0 13 146 -10 1 0 1 0 B> 0 1 0 1 0 1 0 13 0 13 147 -9 1 0 1 0 1 C> 1 0 1 0 1 0 13 0 13 148 -8 1 0 1 0 1 0 B> 0 1 0 1 0 13 0 13 149 -7 1 0 1 0 1 0 1 C> 1 0 1 0 13 0 13 150 -6 1 0 1 0 1 0 1 0 B> 0 1 0 13 0 13 151 -5 1 0 1 0 1 0 1 0 1 C> 1 0 13 0 13 152 -4 1 0 1 0 1 0 1 0 1 0 B> 0 13 0 13 153 -3 1 0 1 0 1 0 1 0 1 0 1 C> 13 0 13 154 -2 1 0 1 0 1 0 1 0 1 0 1 0 B> 1 1 0 13 155 -1 1 0 1 0 1 0 1 0 1 0 1 0 0 E> 1 0 13 156 -2 1 0 1 0 1 0 1 0 1 0 1 0 0 <C 1 0 13 157 -3 1 0 1 0 1 0 1 0 1 0 1 0 <A 0 1 0 13 158 -4 1 0 1 0 1 0 1 0 1 0 1 <B 1 0 1 0 13 159 -3 1 0 1 0 1 0 1 0 1 0 0 E> 1 0 1 0 13 160 -4 1 0 1 0 1 0 1 0 1 0 0 <C 1 0 1 0 13 161 -5 1 0 1 0 1 0 1 0 1 0 <A 0 1 0 1 0 13 162 -6 1 0 1 0 1 0 1 0 1 <B 1 0 1 0 1 0 13 163 -5 1 0 1 0 1 0 1 0 0 E> 1 0 1 0 1 0 13 164 -6 1 0 1 0 1 0 1 0 0 <C 1 0 1 0 1 0 13 165 -7 1 0 1 0 1 0 1 0 <A 0 1 0 1 0 1 0 13 166 -8 1 0 1 0 1 0 1 <B 1 0 1 0 1 0 1 0 13 167 -7 1 0 1 0 1 0 0 E> 1 0 1 0 1 0 1 0 13 168 -8 1 0 1 0 1 0 0 <C 1 0 1 0 1 0 1 0 13 169 -9 1 0 1 0 1 0 <A 0 1 0 1 0 1 0 1 0 13 170 -10 1 0 1 0 1 <B 1 0 1 0 1 0 1 0 1 0 13 171 -9 1 0 1 0 0 E> 1 0 1 0 1 0 1 0 1 0 13 172 -10 1 0 1 0 0 <C 1 0 1 0 1 0 1 0 1 0 13 173 -11 1 0 1 0 <A 0 1 0 1 0 1 0 1 0 1 0 13 174 -12 1 0 1 <B 1 0 1 0 1 0 1 0 1 0 1 0 13 175 -11 1 0 0 E> 1 0 1 0 1 0 1 0 1 0 1 0 13 176 -12 1 0 0 <C 1 0 1 0 1 0 1 0 1 0 1 0 13 177 -13 1 0 <A 0 1 0 1 0 1 0 1 0 1 0 1 0 13 178 -14 1 <B 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 179 -13 E> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 180 -14 <C 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 181 -15 <A 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 182 -16 <B 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 183 -15 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 184 -14 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 185 -13 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 186 -12 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 1 0 13 187 -11 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 13 188 -10 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 13 189 -9 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 13 190 -8 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 13 191 -7 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 13 192 -6 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 13 193 -5 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 13 194 -4 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 13 195 -3 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 13 196 -2 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 13 197 -1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 13 198 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 13 199 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 13 200 2 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 1 1 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 |