Comment: This TM produces 97'104 nonzeros in 7'543'673'517 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 | B1R | B2R | B3R | A4L | A3R | 1 | right | B | 2 | right | B | 3 | right | B | 4 | left | A | 3 | right | A |
B | A0L | B4R | Z1R | B0R | B1L | 0 | left | A | 4 | right | B | 1 | right | Z | 0 | right | B | 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 1-bck-macro machine. The same TM as 1-bck-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . 0 1 1 B . . . . . 10 2 0 A . . . . . 10 3 1 B . . . . . 20 4 0 A . . . . . 20 5 1 B . . . . . 30 6 0 A . . . . . 30 7 -1 A . . . . .040 8 0 B . . . . .140 9 -1 B . . . . .110 10 0 B . . . . .410 11 1 B . . . . .440 12 0 A . . . . .440 13 1 A . . . . .430 14 2 B . . . . .4310 15 1 A . . . . .4310 16 2 B . . . . .4320 17 1 A . . . . .4320 18 2 B . . . . .4330 19 1 A . . . . .4330 20 0 A . . . . .4340 21 -1 A . . . . .4440 22 0 A . . . . .3440 23 1 A . . . . .3340 24 2 A . . . . .3330 25 3 B . . . . .33310 26 2 A . . . . .33310 27 3 B . . . . .33320 28 2 A . . . . .33320 29 3 B . . . . .33330 30 2 A . . . . .33330 31 1 A . . . . .33340 32 0 A . . . . .33440 33 -1 A . . . . .34440 34 -2 A . . . . 044440 35 -1 B . . . . 144440 36 -2 B . . . . 114440 37 -1 B . . . . 414440 38 0 B . . . . 444440 39 -1 B . . . . 441440 40 -2 B . . . . 411440 41 -3 B . . . .0111440 42 -4 A . . . 00111440 43 -3 B . . . 10111440 44 -4 A . . . 10111440 45 -3 B . . . 20111440 46 -4 A . . . 20111440 47 -3 B . . . 30111440 48 -4 A . . . 30111440 49 -5 A . . .040111440 50 -4 B . . .140111440 51 -5 B . . .110111440 52 -4 B . . .410111440 53 -3 B . . .440111440 54 -4 A . . .440111440 55 -3 A . . .430111440 56 -2 B . . .431111440 57 -1 B . . .431411440 58 0 B . . .431441440 59 1 B . . .431444440 60 0 B . . .431444140 61 -1 B . . .431441140 62 -2 B . . .431411140 63 -3 B . . .431111140 64 -2 B . . .434111140 65 -1 B . . .434411140 66 0 B . . .434441140 67 1 B . . .434444140 68 2 B . . .434444440 69 1 B . . .434444410 70 0 B . . .434444110 71 -1 B . . .434441110 72 -2 B . . .434411110 73 -3 B . . .434111110 74 -4 B . . .431111110 75 -3 B . . .401111110 76 -2 B . . .404111110 77 -1 B . . .404411110 78 0 B . . .404441110 79 1 B . . .404444110 80 2 B . . .404444410 81 3 B . . .404444440 82 2 A . . .404444440 83 3 A . . .404444430 84 4 B . . .4044444310 85 3 A . . .4044444310 86 4 B . . .4044444320 87 3 A . . .4044444320 88 4 B . . .4044444330 89 3 A . . .4044444330 90 2 A . . .4044444340 91 1 A . . .4044444440 92 2 A . . .4044443440 93 3 A . . .4044443340 94 4 A . . .4044443330 95 5 B . . .40444433310 96 4 A . . .40444433310 97 5 B . . .40444433320 98 4 A . . .40444433320 99 5 B . . .40444433330 100 4 A . . .40444433330 101 3 A . . .40444433340 102 2 A . . .40444433440 103 1 A . . .40444434440 104 0 A . . .40444444440 105 1 A . . .40444344440 106 2 A . . .40444334440 107 3 A . . .40444333440 108 4 A . . .40444333340 109 5 A . . .40444333330 110 6 B . . .404443333310 111 5 A . . .404443333310 112 6 B . . .404443333320 113 5 A . . .404443333320 114 6 B . . .404443333330 115 5 A . . .404443333330 116 4 A . . .404443333340 117 3 A . . .404443333440 118 2 A . . .404443334440 119 1 A . . .404443344440 120 0 A . . .404443444440 121 -1 A . . .404444444440 122 0 A . . .404434444440 123 1 A . . .404433444440 124 2 A . . .404433344440 125 3 A . . .404433334440 126 4 A . . .404433333440 127 5 A . . .404433333340 128 6 A . . .404433333330 129 7 B . . .4044333333310 130 6 A . . .4044333333310 131 7 B . . .4044333333320 132 6 A . . .4044333333320 133 7 B . . .4044333333330 134 6 A . . .4044333333330 135 5 A . . .4044333333340 136 4 A . . .4044333333440 137 3 A . . .4044333334440 138 2 A . . .4044333344440 139 1 A . . .4044333444440 140 0 A . . .4044334444440 141 -1 A . . .4044344444440 142 -2 A . . .4044444444440 143 -1 A . . .4043444444440 144 0 A . . .4043344444440 145 1 A . . .4043334444440 146 2 A . . .4043333444440 147 3 A . . .4043333344440 148 4 A . . .4043333334440 149 5 A . . .4043333333440 150 6 A . . .4043333333340 151 7 A . . .4043333333330 152 8 B . . .40433333333310 153 7 A . . .40433333333310 154 8 B . . .40433333333320 155 7 A . . .40433333333320 156 8 B . . .40433333333330 157 7 A . . .40433333333330 158 6 A . . .40433333333340 159 5 A . . .40433333333440 160 4 A . . .40433333334440 161 3 A . . .40433333344440 162 2 A . . .40433333444440 163 1 A . . .40433334444440 164 0 A . . .40433344444440 165 -1 A . . .40433444444440 166 -2 A . . .40434444444440 167 -3 A . . .40444444444440 168 -2 A . . .40344444444440 169 -1 A . . .40334444444440 170 0 A . . .40333444444440 171 1 A . . .40333344444440 172 2 A . . .40333334444440 173 3 A . . .40333333444440 174 4 A . . .40333333344440 175 5 A . . .40333333334440 176 6 A . . .40333333333440 177 7 A . . .40333333333340 178 8 A . . .40333333333330 179 9 B . . .403333333333310 180 8 A . . .403333333333310 181 9 B . . .403333333333320 182 8 A . . .403333333333320 183 9 B . . .403333333333330 184 8 A . . .403333333333330 185 7 A . . .403333333333340 186 6 A . . .403333333333440 187 5 A . . .403333333334440 188 4 A . . .403333333344440 189 3 A . . .403333333444440 190 2 A . . .403333334444440 191 1 A . . .403333344444440 192 0 A . . .403333444444440 193 -1 A . . .403334444444440 194 -2 A . . .403344444444440 195 -3 A . . .403444444444440 196 -4 A . . .404444444444440 197 -3 B . . .414444444444440 198 -4 B . . .411444444444440 199 -3 B . . .441444444444440 200 -2 B . . .444444444444440 After 200 steps (201 lines): state = B. Produced 14 nonzeros. Tape index -2, scanned [-5 .. 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 | 126 | 15 | 10 | 10 | 50 | 41 | 0 | 2 | 4 | 6 | 12 |
B | 74 | 34 | 22 | 1 | 17 | 1 | 9 | 74 | 8 |