Comment: This TM produces 32213 nonzeros in 544884219 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | |||||||
1 | 1R2 | 1L2 | 2L1 | 1 | right | 2 | 1 | left | 2 | 2 | left | 1 |
2 | 1L1 | 1R3 | 1Rh | 1 | left | 1 | 1 | right | 3 | 1 | right | h |
3 | 0L1 | 2R3 | 1L3 | 0 | left | 1 | 2 | right | 3 | 1 | left | 3 |
Simulation is done just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. The same TM as 2-macro machine. The same TM as 2-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0 1 1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .011 4 -2 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0111 5 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111 6 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111 7 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1121 8 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 9 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 10 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 11 -1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 12 -2 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 13 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 14 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12220 15 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12120 16 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11120 17 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21120 18 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22120 19 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22220 20 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22210 21 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22110 22 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21110 23 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . .011110 24 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 0011110 25 -3 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1011110 26 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111110 27 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . .01111110 28 -6 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 011111110 29 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110 30 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110 31 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112111110 32 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112211110 33 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112221110 34 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222110 35 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222210 36 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 37 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 38 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 39 -1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 40 -2 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 41 -3 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 42 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 43 -5 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 44 -6 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 45 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 46 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 122222220 47 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 121222220 48 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111222220 49 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 211222220 50 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 221222220 51 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 222222220 52 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 222122220 53 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 221122220 54 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 211122220 55 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . . .0111122220 56 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 00111122220 57 -7 2 . . . . . . . . . . . . . . . . . . . . . . . . . 10111122220 58 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 11111122220 59 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . .011111122220 60 -10 1 . . . . . . . . . . . . . . . . . . . . . . . . 0111111122220 61 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220 62 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220 63 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1121111122220 64 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122111122220 65 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122211122220 66 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122221122220 67 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222122220 68 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222222220 69 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222212220 70 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222112220 71 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122221112220 72 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122211112220 73 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122111112220 74 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1121111112220 75 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111112220 76 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1211111112220 77 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1221111112220 78 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222111112220 79 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222211112220 80 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222221112220 81 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222112220 82 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222212220 83 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222222220 84 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222221220 85 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222211220 86 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222111220 87 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222221111220 88 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222211111220 89 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222111111220 90 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1221111111220 91 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 1211111111220 92 -10 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111111220 93 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 2111111111220 94 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 2211111111220 95 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 2221111111220 96 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222111111220 97 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222211111220 98 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222221111220 99 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222111220 100 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222211220 101 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222221220 102 0 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222222220 103 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222222120 104 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222221120 105 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222211120 106 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222111120 107 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222221111120 108 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222211111120 109 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222111111120 110 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 2221111111120 111 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 2211111111120 112 -10 3 . . . . . . . . . . . . . . . . . . . . . . . . 2111111111120 113 -11 3 . . . . . . . . . . . . . . . . . . . . . . . .01111111111120 114 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 001111111111120 115 -11 2 . . . . . . . . . . . . . . . . . . . . . . . 101111111111120 116 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 111111111111120 117 -13 2 . . . . . . . . . . . . . . . . . . . . . . .0111111111111120 118 -14 1 . . . . . . . . . . . . . . . . . . . . . . 01111111111111120 119 -13 2 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120 120 -12 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120 121 -11 3 . . . . . . . . . . . . . . . . . . . . . . 11211111111111120 122 -10 3 . . . . . . . . . . . . . . . . . . . . . . 11221111111111120 123 -9 3 . . . . . . . . . . . . . . . . . . . . . . 11222111111111120 124 -8 3 . . . . . . . . . . . . . . . . . . . . . . 11222211111111120 125 -7 3 . . . . . . . . . . . . . . . . . . . . . . 11222221111111120 126 -6 3 . . . . . . . . . . . . . . . . . . . . . . 11222222111111120 127 -5 3 . . . . . . . . . . . . . . . . . . . . . . 11222222211111120 128 -4 3 . . . . . . . . . . . . . . . . . . . . . . 11222222221111120 129 -3 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222111120 130 -2 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222211120 131 -1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222221120 132 0 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222120 133 1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222220 134 0 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222210 135 -1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222110 136 -2 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222221110 137 -3 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222211110 138 -4 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222111110 139 -5 3 . . . . . . . . . . . . . . . . . . . . . . 11222222221111110 140 -6 3 . . . . . . . . . . . . . . . . . . . . . . 11222222211111110 141 -7 3 . . . . . . . . . . . . . . . . . . . . . . 11222222111111110 142 -8 3 . . . . . . . . . . . . . . . . . . . . . . 11222221111111110 143 -9 3 . . . . . . . . . . . . . . . . . . . . . . 11222211111111110 144 -10 3 . . . . . . . . . . . . . . . . . . . . . . 11222111111111110 145 -11 3 . . . . . . . . . . . . . . . . . . . . . . 11221111111111110 146 -12 3 . . . . . . . . . . . . . . . . . . . . . . 11211111111111110 147 -13 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111110 148 -12 3 . . . . . . . . . . . . . . . . . . . . . . 12111111111111110 149 -11 3 . . . . . . . . . . . . . . . . . . . . . . 12211111111111110 150 -10 3 . . . . . . . . . . . . . . . . . . . . . . 12221111111111110 151 -9 3 . . . . . . . . . . . . . . . . . . . . . . 12222111111111110 152 -8 3 . . . . . . . . . . . . . . . . . . . . . . 12222211111111110 153 -7 3 . . . . . . . . . . . . . . . . . . . . . . 12222221111111110 154 -6 3 . . . . . . . . . . . . . . . . . . . . . . 12222222111111110 155 -5 3 . . . . . . . . . . . . . . . . . . . . . . 12222222211111110 156 -4 3 . . . . . . . . . . . . . . . . . . . . . . 12222222221111110 157 -3 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222111110 158 -2 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222211110 159 -1 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222221110 160 0 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222110 161 1 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222210 162 2 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 163 1 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 164 0 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 165 -1 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 166 -2 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 167 -3 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 168 -4 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 169 -5 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 170 -6 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 171 -7 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 172 -8 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 173 -9 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 174 -10 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 175 -11 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 176 -12 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 177 -13 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 178 -14 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 179 -15 2 . . . . . . . . . . . . . . . . . . . . . .012222222222222220 180 -16 1 . . . . . . . . . . . . . . . . . . . . . 0112222222222222220 181 -15 2 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220 182 -14 3 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220 183 -13 3 . . . . . . . . . . . . . . . . . . . . . 1122222222222222220 184 -14 3 . . . . . . . . . . . . . . . . . . . . . 1121222222222222220 185 -15 3 . . . . . . . . . . . . . . . . . . . . . 1111222222222222220 186 -14 3 . . . . . . . . . . . . . . . . . . . . . 1211222222222222220 187 -13 3 . . . . . . . . . . . . . . . . . . . . . 1221222222222222220 188 -12 3 . . . . . . . . . . . . . . . . . . . . . 1222222222222222220 189 -13 3 . . . . . . . . . . . . . . . . . . . . . 1222122222222222220 190 -14 3 . . . . . . . . . . . . . . . . . . . . . 1221122222222222220 191 -15 3 . . . . . . . . . . . . . . . . . . . . . 1211122222222222220 192 -16 3 . . . . . . . . . . . . . . . . . . . . . 1111122222222222220 193 -15 3 . . . . . . . . . . . . . . . . . . . . . 2111122222222222220 194 -14 3 . . . . . . . . . . . . . . . . . . . . . 2211122222222222220 195 -13 3 . . . . . . . . . . . . . . . . . . . . . 2221122222222222220 196 -12 3 . . . . . . . . . . . . . . . . . . . . . 2222122222222222220 197 -11 3 . . . . . . . . . . . . . . . . . . . . . 2222222222222222220 198 -12 3 . . . . . . . . . . . . . . . . . . . . . 2222212222222222220 199 -13 3 . . . . . . . . . . . . . . . . . . . . . 2222112222222222220 200 -14 3 . . . . . . . . . . . . . . . . . . . . . 2221112222222222220 After 200 steps (201 lines): state = 3. Produced 18 nonzeros. Tape index -14, scanned [-16 .. 2].
State | Count | Execution count | First in step | ||||
---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
1 | 39 | 9 | 7 | 23 | 0 | 2 | 9 |
2 | 16 | 9 | 7 | 1 | 5 | ||
3 | 145 | 6 | 77 | 62 | 8 | 6 | 14 |