Comment: A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2 Comment: The halting transition has been modified to print a 1 Comment: This TM produces 13949 nonzeros in 92649163 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 | |||||||
A | B1R | Z1= | C2L | 1 | right | B | 1 | stay | Z | 2 | left | C |
B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
C | A1L | B0R | A2L | 1 | left | A | 0 | right | B | 2 | left | A |
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 A . . . . . . . . . . . . . . . . . . . . . . . . . 0 1 1 B . . . . . . . . . . . . . . . . . . . . . . . . . 10 2 0 C . . . . . . . . . . . . . . . . . . . . . . . . . 11 3 1 B . . . . . . . . . . . . . . . . . . . . . . . . . 01 4 2 B . . . . . . . . . . . . . . . . . . . . . . . . . 020 5 1 C . . . . . . . . . . . . . . . . . . . . . . . . . 021 6 0 A . . . . . . . . . . . . . . . . . . . . . . . . . 021 7 1 B . . . . . . . . . . . . . . . . . . . . . . . . . 121 8 0 B . . . . . . . . . . . . . . . . . . . . . . . . . 111 9 1 B . . . . . . . . . . . . . . . . . . . . . . . . . 211 10 2 B . . . . . . . . . . . . . . . . . . . . . . . . . 221 11 3 B . . . . . . . . . . . . . . . . . . . . . . . . . 2220 12 2 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221 13 1 A . . . . . . . . . . . . . . . . . . . . . . . . . 2221 14 0 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221 15 -1 A . . . . . . . . . . . . . . . . . . . . . . . . .02221 16 0 B . . . . . . . . . . . . . . . . . . . . . . . . .12221 17 -1 B . . . . . . . . . . . . . . . . . . . . . . . . .11221 18 0 B . . . . . . . . . . . . . . . . . . . . . . . . .21221 19 1 B . . . . . . . . . . . . . . . . . . . . . . . . .22221 20 0 B . . . . . . . . . . . . . . . . . . . . . . . . .22121 21 -1 B . . . . . . . . . . . . . . . . . . . . . . . . .21121 22 -2 B . . . . . . . . . . . . . . . . . . . . . . . . 011121 23 -3 C . . . . . . . . . . . . . . . . . . . . . . . .0111121 24 -4 A . . . . . . . . . . . . . . . . . . . . . . . 01111121 25 -3 B . . . . . . . . . . . . . . . . . . . . . . . 11111121 26 -2 B . . . . . . . . . . . . . . . . . . . . . . . 12111121 27 -1 B . . . . . . . . . . . . . . . . . . . . . . . 12211121 28 0 B . . . . . . . . . . . . . . . . . . . . . . . 12221121 29 1 B . . . . . . . . . . . . . . . . . . . . . . . 12222121 30 2 B . . . . . . . . . . . . . . . . . . . . . . . 12222221 31 1 B . . . . . . . . . . . . . . . . . . . . . . . 12222211 32 0 B . . . . . . . . . . . . . . . . . . . . . . . 12222111 33 -1 B . . . . . . . . . . . . . . . . . . . . . . . 12221111 34 -2 B . . . . . . . . . . . . . . . . . . . . . . . 12211111 35 -3 B . . . . . . . . . . . . . . . . . . . . . . . 12111111 36 -4 B . . . . . . . . . . . . . . . . . . . . . . . 11111111 37 -3 B . . . . . . . . . . . . . . . . . . . . . . . 21111111 38 -2 B . . . . . . . . . . . . . . . . . . . . . . . 22111111 39 -1 B . . . . . . . . . . . . . . . . . . . . . . . 22211111 40 0 B . . . . . . . . . . . . . . . . . . . . . . . 22221111 41 1 B . . . . . . . . . . . . . . . . . . . . . . . 22222111 42 2 B . . . . . . . . . . . . . . . . . . . . . . . 22222211 43 3 B . . . . . . . . . . . . . . . . . . . . . . . 22222221 44 4 B . . . . . . . . . . . . . . . . . . . . . . . 222222220 45 3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221 46 2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221 47 1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221 48 0 A . . . . . . . . . . . . . . . . . . . . . . . 222222221 49 -1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221 50 -2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221 51 -3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221 52 -4 A . . . . . . . . . . . . . . . . . . . . . . . 222222221 53 -5 C . . . . . . . . . . . . . . . . . . . . . . .0222222221 54 -6 A . . . . . . . . . . . . . . . . . . . . . . 01222222221 55 -5 B . . . . . . . . . . . . . . . . . . . . . . 11222222221 56 -4 B . . . . . . . . . . . . . . . . . . . . . . 12222222221 57 -5 B . . . . . . . . . . . . . . . . . . . . . . 12122222221 58 -6 B . . . . . . . . . . . . . . . . . . . . . . 11122222221 59 -5 B . . . . . . . . . . . . . . . . . . . . . . 21122222221 60 -4 B . . . . . . . . . . . . . . . . . . . . . . 22122222221 61 -3 B . . . . . . . . . . . . . . . . . . . . . . 22222222221 62 -4 B . . . . . . . . . . . . . . . . . . . . . . 22212222221 63 -5 B . . . . . . . . . . . . . . . . . . . . . . 22112222221 64 -6 B . . . . . . . . . . . . . . . . . . . . . . 21112222221 65 -7 B . . . . . . . . . . . . . . . . . . . . . .011112222221 66 -8 C . . . . . . . . . . . . . . . . . . . . . 0111112222221 67 -9 A . . . . . . . . . . . . . . . . . . . . .01111112222221 68 -8 B . . . . . . . . . . . . . . . . . . . . .11111112222221 69 -7 B . . . . . . . . . . . . . . . . . . . . .12111112222221 70 -6 B . . . . . . . . . . . . . . . . . . . . .12211112222221 71 -5 B . . . . . . . . . . . . . . . . . . . . .12221112222221 72 -4 B . . . . . . . . . . . . . . . . . . . . .12222112222221 73 -3 B . . . . . . . . . . . . . . . . . . . . .12222212222221 74 -2 B . . . . . . . . . . . . . . . . . . . . .12222222222221 75 -3 B . . . . . . . . . . . . . . . . . . . . .12222221222221 76 -4 B . . . . . . . . . . . . . . . . . . . . .12222211222221 77 -5 B . . . . . . . . . . . . . . . . . . . . .12222111222221 78 -6 B . . . . . . . . . . . . . . . . . . . . .12221111222221 79 -7 B . . . . . . . . . . . . . . . . . . . . .12211111222221 80 -8 B . . . . . . . . . . . . . . . . . . . . .12111111222221 81 -9 B . . . . . . . . . . . . . . . . . . . . .11111111222221 82 -8 B . . . . . . . . . . . . . . . . . . . . .21111111222221 83 -7 B . . . . . . . . . . . . . . . . . . . . .22111111222221 84 -6 B . . . . . . . . . . . . . . . . . . . . .22211111222221 85 -5 B . . . . . . . . . . . . . . . . . . . . .22221111222221 86 -4 B . . . . . . . . . . . . . . . . . . . . .22222111222221 87 -3 B . . . . . . . . . . . . . . . . . . . . .22222211222221 88 -2 B . . . . . . . . . . . . . . . . . . . . .22222221222221 89 -1 B . . . . . . . . . . . . . . . . . . . . .22222222222221 90 -2 B . . . . . . . . . . . . . . . . . . . . .22222222122221 91 -3 B . . . . . . . . . . . . . . . . . . . . .22222221122221 92 -4 B . . . . . . . . . . . . . . . . . . . . .22222211122221 93 -5 B . . . . . . . . . . . . . . . . . . . . .22222111122221 94 -6 B . . . . . . . . . . . . . . . . . . . . .22221111122221 95 -7 B . . . . . . . . . . . . . . . . . . . . .22211111122221 96 -8 B . . . . . . . . . . . . . . . . . . . . .22111111122221 97 -9 B . . . . . . . . . . . . . . . . . . . . .21111111122221 98 -10 B . . . . . . . . . . . . . . . . . . . . 011111111122221 99 -11 C . . . . . . . . . . . . . . . . . . . .0111111111122221 100 -12 A . . . . . . . . . . . . . . . . . . . 01111111111122221 101 -11 B . . . . . . . . . . . . . . . . . . . 11111111111122221 102 -10 B . . . . . . . . . . . . . . . . . . . 12111111111122221 103 -9 B . . . . . . . . . . . . . . . . . . . 12211111111122221 104 -8 B . . . . . . . . . . . . . . . . . . . 12221111111122221 105 -7 B . . . . . . . . . . . . . . . . . . . 12222111111122221 106 -6 B . . . . . . . . . . . . . . . . . . . 12222211111122221 107 -5 B . . . . . . . . . . . . . . . . . . . 12222221111122221 108 -4 B . . . . . . . . . . . . . . . . . . . 12222222111122221 109 -3 B . . . . . . . . . . . . . . . . . . . 12222222211122221 110 -2 B . . . . . . . . . . . . . . . . . . . 12222222221122221 111 -1 B . . . . . . . . . . . . . . . . . . . 12222222222122221 112 0 B . . . . . . . . . . . . . . . . . . . 12222222222222221 113 -1 B . . . . . . . . . . . . . . . . . . . 12222222222212221 114 -2 B . . . . . . . . . . . . . . . . . . . 12222222222112221 115 -3 B . . . . . . . . . . . . . . . . . . . 12222222221112221 116 -4 B . . . . . . . . . . . . . . . . . . . 12222222211112221 117 -5 B . . . . . . . . . . . . . . . . . . . 12222222111112221 118 -6 B . . . . . . . . . . . . . . . . . . . 12222221111112221 119 -7 B . . . . . . . . . . . . . . . . . . . 12222211111112221 120 -8 B . . . . . . . . . . . . . . . . . . . 12222111111112221 121 -9 B . . . . . . . . . . . . . . . . . . . 12221111111112221 122 -10 B . . . . . . . . . . . . . . . . . . . 12211111111112221 123 -11 B . . . . . . . . . . . . . . . . . . . 12111111111112221 124 -12 B . . . . . . . . . . . . . . . . . . . 11111111111112221 125 -11 B . . . . . . . . . . . . . . . . . . . 21111111111112221 126 -10 B . . . . . . . . . . . . . . . . . . . 22111111111112221 127 -9 B . . . . . . . . . . . . . . . . . . . 22211111111112221 128 -8 B . . . . . . . . . . . . . . . . . . . 22221111111112221 129 -7 B . . . . . . . . . . . . . . . . . . . 22222111111112221 130 -6 B . . . . . . . . . . . . . . . . . . . 22222211111112221 131 -5 B . . . . . . . . . . . . . . . . . . . 22222221111112221 132 -4 B . . . . . . . . . . . . . . . . . . . 22222222111112221 133 -3 B . . . . . . . . . . . . . . . . . . . 22222222211112221 134 -2 B . . . . . . . . . . . . . . . . . . . 22222222221112221 135 -1 B . . . . . . . . . . . . . . . . . . . 22222222222112221 136 0 B . . . . . . . . . . . . . . . . . . . 22222222222212221 137 1 B . . . . . . . . . . . . . . . . . . . 22222222222222221 138 0 B . . . . . . . . . . . . . . . . . . . 22222222222221221 139 -1 B . . . . . . . . . . . . . . . . . . . 22222222222211221 140 -2 B . . . . . . . . . . . . . . . . . . . 22222222222111221 141 -3 B . . . . . . . . . . . . . . . . . . . 22222222221111221 142 -4 B . . . . . . . . . . . . . . . . . . . 22222222211111221 143 -5 B . . . . . . . . . . . . . . . . . . . 22222222111111221 144 -6 B . . . . . . . . . . . . . . . . . . . 22222221111111221 145 -7 B . . . . . . . . . . . . . . . . . . . 22222211111111221 146 -8 B . . . . . . . . . . . . . . . . . . . 22222111111111221 147 -9 B . . . . . . . . . . . . . . . . . . . 22221111111111221 148 -10 B . . . . . . . . . . . . . . . . . . . 22211111111111221 149 -11 B . . . . . . . . . . . . . . . . . . . 22111111111111221 150 -12 B . . . . . . . . . . . . . . . . . . . 21111111111111221 151 -13 B . . . . . . . . . . . . . . . . . . .011111111111111221 152 -14 C . . . . . . . . . . . . . . . . . . 0111111111111111221 153 -15 A . . . . . . . . . . . . . . . . . .01111111111111111221 154 -14 B . . . . . . . . . . . . . . . . . .11111111111111111221 155 -13 B . . . . . . . . . . . . . . . . . .12111111111111111221 156 -12 B . . . . . . . . . . . . . . . . . .12211111111111111221 157 -11 B . . . . . . . . . . . . . . . . . .12221111111111111221 158 -10 B . . . . . . . . . . . . . . . . . .12222111111111111221 159 -9 B . . . . . . . . . . . . . . . . . .12222211111111111221 160 -8 B . . . . . . . . . . . . . . . . . .12222221111111111221 161 -7 B . . . . . . . . . . . . . . . . . .12222222111111111221 162 -6 B . . . . . . . . . . . . . . . . . .12222222211111111221 163 -5 B . . . . . . . . . . . . . . . . . .12222222221111111221 164 -4 B . . . . . . . . . . . . . . . . . .12222222222111111221 165 -3 B . . . . . . . . . . . . . . . . . .12222222222211111221 166 -2 B . . . . . . . . . . . . . . . . . .12222222222221111221 167 -1 B . . . . . . . . . . . . . . . . . .12222222222222111221 168 0 B . . . . . . . . . . . . . . . . . .12222222222222211221 169 1 B . . . . . . . . . . . . . . . . . .12222222222222221221 170 2 B . . . . . . . . . . . . . . . . . .12222222222222222221 171 1 B . . . . . . . . . . . . . . . . . .12222222222222222121 172 0 B . . . . . . . . . . . . . . . . . .12222222222222221121 173 -1 B . . . . . . . . . . . . . . . . . .12222222222222211121 174 -2 B . . . . . . . . . . . . . . . . . .12222222222222111121 175 -3 B . . . . . . . . . . . . . . . . . .12222222222221111121 176 -4 B . . . . . . . . . . . . . . . . . .12222222222211111121 177 -5 B . . . . . . . . . . . . . . . . . .12222222222111111121 178 -6 B . . . . . . . . . . . . . . . . . .12222222221111111121 179 -7 B . . . . . . . . . . . . . . . . . .12222222211111111121 180 -8 B . . . . . . . . . . . . . . . . . .12222222111111111121 181 -9 B . . . . . . . . . . . . . . . . . .12222221111111111121 182 -10 B . . . . . . . . . . . . . . . . . .12222211111111111121 183 -11 B . . . . . . . . . . . . . . . . . .12222111111111111121 184 -12 B . . . . . . . . . . . . . . . . . .12221111111111111121 185 -13 B . . . . . . . . . . . . . . . . . .12211111111111111121 186 -14 B . . . . . . . . . . . . . . . . . .12111111111111111121 187 -15 B . . . . . . . . . . . . . . . . . .11111111111111111121 188 -14 B . . . . . . . . . . . . . . . . . .21111111111111111121 189 -13 B . . . . . . . . . . . . . . . . . .22111111111111111121 190 -12 B . . . . . . . . . . . . . . . . . .22211111111111111121 191 -11 B . . . . . . . . . . . . . . . . . .22221111111111111121 192 -10 B . . . . . . . . . . . . . . . . . .22222111111111111121 193 -9 B . . . . . . . . . . . . . . . . . .22222211111111111121 194 -8 B . . . . . . . . . . . . . . . . . .22222221111111111121 195 -7 B . . . . . . . . . . . . . . . . . .22222222111111111121 196 -6 B . . . . . . . . . . . . . . . . . .22222222211111111121 197 -5 B . . . . . . . . . . . . . . . . . .22222222221111111121 198 -4 B . . . . . . . . . . . . . . . . . .22222222222111111121 199 -3 B . . . . . . . . . . . . . . . . . .22222222222211111121 200 -2 B . . . . . . . . . . . . . . . . . .22222222222221111121 After 200 steps (201 lines): state = B. Produced 20 nonzeros. Tape index -2, scanned [-15 .. 4].
State | Count | Execution count | First in step | ||||
---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
A | 13 | 8 | 5 | 0 | 13 | ||
B | 174 | 8 | 90 | 76 | 1 | 3 | 7 |
C | 13 | 5 | 1 | 7 | 23 | 2 | 5 |