Comment: This TM produces 3685 nonzeros in 16268767 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 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
A | 4RB | 2LA | 4LA | 4RA | 3LA | 4 | right | B | 2 | left | A | 4 | left | A | 4 | right | A | 3 | left | A |
B | 1LA | 4LA | 4RA | 3RB | 3LH | 1 | left | A | 4 | left | A | 4 | right | A | 3 | right | B | 3 | left | H |
Simulation is done just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. The same TM as 1-macro machine. The same TM as 1-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . 0 1 1 B . . . . . 40 2 0 A . . . . . 41 3 -1 A . . . . .031 4 0 B . . . . .431 5 1 B . . . . .431 6 0 A . . . . .434 7 1 A . . . . .444 8 0 A . . . . .443 9 -1 A . . . . .433 10 -2 A . . . . 0333 11 -1 B . . . . 4333 12 0 B . . . . 4333 13 1 B . . . . 4333 14 2 B . . . . 43330 15 1 A . . . . 43331 16 2 A . . . . 43341 17 1 A . . . . 43342 18 0 A . . . . 43332 19 1 A . . . . 43432 20 2 A . . . . 43442 21 1 A . . . . 43444 22 0 A . . . . 43434 23 -1 A . . . . 43334 24 0 A . . . . 44334 25 1 A . . . . 44434 26 2 A . . . . 44444 27 1 A . . . . 44443 28 0 A . . . . 44433 29 -1 A . . . . 44333 30 -2 A . . . . 43333 31 -3 A . . . .033333 32 -2 B . . . .433333 33 -1 B . . . .433333 34 0 B . . . .433333 35 1 B . . . .433333 36 2 B . . . .433333 37 3 B . . . .4333330 38 2 A . . . .4333331 39 3 A . . . .4333341 40 2 A . . . .4333342 41 1 A . . . .4333332 42 2 A . . . .4333432 43 3 A . . . .4333442 44 2 A . . . .4333444 45 1 A . . . .4333434 46 0 A . . . .4333334 47 1 A . . . .4334334 48 2 A . . . .4334434 49 3 A . . . .4334444 50 2 A . . . .4334443 51 1 A . . . .4334433 52 0 A . . . .4334333 53 -1 A . . . .4333333 54 0 A . . . .4343333 55 1 A . . . .4344333 56 2 A . . . .4344433 57 3 A . . . .4344443 58 4 A . . . .43444440 59 5 B . . . .434444440 60 4 A . . . .434444441 61 3 A . . . .434444431 62 2 A . . . .434444331 63 1 A . . . .434443331 64 0 A . . . .434433331 65 -1 A . . . .434333331 66 -2 A . . . .433333331 67 -1 A . . . .443333331 68 0 A . . . .444333331 69 1 A . . . .444433331 70 2 A . . . .444443331 71 3 A . . . .444444331 72 4 A . . . .444444431 73 5 A . . . .444444441 74 4 A . . . .444444442 75 3 A . . . .444444432 76 2 A . . . .444444332 77 1 A . . . .444443332 78 0 A . . . .444433332 79 -1 A . . . .444333332 80 -2 A . . . .443333332 81 -3 A . . . .433333332 82 -4 A . . . 0333333332 83 -3 B . . . 4333333332 84 -2 B . . . 4333333332 85 -1 B . . . 4333333332 86 0 B . . . 4333333332 87 1 B . . . 4333333332 88 2 B . . . 4333333332 89 3 B . . . 4333333332 90 4 B . . . 4333333332 91 5 B . . . 4333333332 92 6 A . . . 43333333340 93 7 B . . . 433333333440 94 6 A . . . 433333333441 95 5 A . . . 433333333431 96 4 A . . . 433333333331 97 5 A . . . 433333334331 98 6 A . . . 433333334431 99 7 A . . . 433333334441 100 6 A . . . 433333334442 101 5 A . . . 433333334432 102 4 A . . . 433333334332 103 3 A . . . 433333333332 104 4 A . . . 433333343332 105 5 A . . . 433333344332 106 6 A . . . 433333344432 107 7 A . . . 433333344442 108 6 A . . . 433333344444 109 5 A . . . 433333344434 110 4 A . . . 433333344334 111 3 A . . . 433333343334 112 2 A . . . 433333333334 113 3 A . . . 433333433334 114 4 A . . . 433333443334 115 5 A . . . 433333444334 116 6 A . . . 433333444434 117 7 A . . . 433333444444 118 6 A . . . 433333444443 119 5 A . . . 433333444433 120 4 A . . . 433333444333 121 3 A . . . 433333443333 122 2 A . . . 433333433333 123 1 A . . . 433333333333 124 2 A . . . 433334333333 125 3 A . . . 433334433333 126 4 A . . . 433334443333 127 5 A . . . 433334444333 128 6 A . . . 433334444433 129 7 A . . . 433334444443 130 8 A . . . 4333344444440 131 9 B . . . 43333444444440 132 8 A . . . 43333444444441 133 7 A . . . 43333444444431 134 6 A . . . 43333444444331 135 5 A . . . 43333444443331 136 4 A . . . 43333444433331 137 3 A . . . 43333444333331 138 2 A . . . 43333443333331 139 1 A . . . 43333433333331 140 0 A . . . 43333333333331 141 1 A . . . 43334333333331 142 2 A . . . 43334433333331 143 3 A . . . 43334443333331 144 4 A . . . 43334444333331 145 5 A . . . 43334444433331 146 6 A . . . 43334444443331 147 7 A . . . 43334444444331 148 8 A . . . 43334444444431 149 9 A . . . 43334444444441 150 8 A . . . 43334444444442 151 7 A . . . 43334444444432 152 6 A . . . 43334444444332 153 5 A . . . 43334444443332 154 4 A . . . 43334444433332 155 3 A . . . 43334444333332 156 2 A . . . 43334443333332 157 1 A . . . 43334433333332 158 0 A . . . 43334333333332 159 -1 A . . . 43333333333332 160 0 A . . . 43343333333332 161 1 A . . . 43344333333332 162 2 A . . . 43344433333332 163 3 A . . . 43344443333332 164 4 A . . . 43344444333332 165 5 A . . . 43344444433332 166 6 A . . . 43344444443332 167 7 A . . . 43344444444332 168 8 A . . . 43344444444432 169 9 A . . . 43344444444442 170 8 A . . . 43344444444444 171 7 A . . . 43344444444434 172 6 A . . . 43344444444334 173 5 A . . . 43344444443334 174 4 A . . . 43344444433334 175 3 A . . . 43344444333334 176 2 A . . . 43344443333334 177 1 A . . . 43344433333334 178 0 A . . . 43344333333334 179 -1 A . . . 43343333333334 180 -2 A . . . 43333333333334 181 -1 A . . . 43433333333334 182 0 A . . . 43443333333334 183 1 A . . . 43444333333334 184 2 A . . . 43444433333334 185 3 A . . . 43444443333334 186 4 A . . . 43444444333334 187 5 A . . . 43444444433334 188 6 A . . . 43444444443334 189 7 A . . . 43444444444334 190 8 A . . . 43444444444434 191 9 A . . . 43444444444444 192 8 A . . . 43444444444443 193 7 A . . . 43444444444433 194 6 A . . . 43444444444333 195 5 A . . . 43444444443333 196 4 A . . . 43444444433333 197 3 A . . . 43444444333333 198 2 A . . . 43444443333333 199 1 A . . . 43444433333333 200 0 A . . . 43444333333333 After 200 steps (201 lines): state = A. Produced 14 nonzeros. Tape index 0, scanned [-4 .. 9].
State | Count | Execution count | First in step | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
A | 175 | 8 | 5 | 4 | 74 | 84 | 0 | 16 | 20 | 6 | 2 |
B | 25 | 6 | 1 | 1 | 17 | 1 | 5 | 91 | 4 |