Comment: This TM produces 1,194,050,967 nonzeros in 339,466,124,499,007,214 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 | 1RB | 3RB | 3RA | 1RH | 2LB | 1 | right | B | 3 | right | B | 3 | right | A | 1 | right | H | 2 | left | B |
B | 2LA | 4RA | 4RB | 2LB | 0RA | 2 | left | A | 4 | right | A | 4 | right | B | 2 | left | B | 0 | right | A |
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 . . . 10 2 0 A . . . 12 3 1 B . . . 32 4 2 B . . . 340 5 1 A . . . 342 6 0 B . . . 322 7 -1 B . . .0222 8 -2 A . . 02222 9 -1 B . . 12222 10 0 B . . 14222 11 1 B . . 14422 12 2 B . . 14442 13 3 B . . 144440 14 2 A . . 144442 15 1 B . . 144422 16 2 A . . 144022 17 3 A . . 144032 18 4 A . . 1440330 19 5 B . . 14403310 20 4 A . . 14403312 21 5 B . . 14403332 22 6 B . . 144033340 23 5 A . . 144033342 24 4 B . . 144033322 25 3 B . . 144033222 26 2 B . . 144032222 27 1 B . . 144022222 28 0 A . . 144222222 29 -1 B . . 142222222 30 0 A . . 102222222 31 1 A . . 103222222 32 2 A . . 103322222 33 3 A . . 103332222 34 4 A . . 103333222 35 5 A . . 103333322 36 6 A . . 103333332 37 7 A . . 1033333330 38 8 B . . 10333333310 39 7 A . . 10333333312 40 8 B . . 10333333332 41 9 B . . 103333333340 42 8 A . . 103333333342 43 7 B . . 103333333322 44 6 B . . 103333333222 45 5 B . . 103333332222 46 4 B . . 103333322222 47 3 B . . 103333222222 48 2 B . . 103332222222 49 1 B . . 103322222222 50 0 B . . 103222222222 51 -1 B . . 102222222222 52 -2 A . . 122222222222 53 -1 B . . 322222222222 54 0 B . . 342222222222 55 1 B . . 344222222222 56 2 B . . 344422222222 57 3 B . . 344442222222 58 4 B . . 344444222222 59 5 B . . 344444422222 60 6 B . . 344444442222 61 7 B . . 344444444222 62 8 B . . 344444444422 63 9 B . . 344444444442 64 10 B . . 3444444444440 65 9 A . . 3444444444442 66 8 B . . 3444444444422 67 9 A . . 3444444444022 68 10 A . . 3444444444032 69 11 A . . 34444444440330 70 12 B . . 344444444403310 71 11 A . . 344444444403312 72 12 B . . 344444444403332 73 13 B . . 3444444444033340 74 12 A . . 3444444444033342 75 11 B . . 3444444444033322 76 10 B . . 3444444444033222 77 9 B . . 3444444444032222 78 8 B . . 3444444444022222 79 7 A . . 3444444444222222 80 6 B . . 3444444442222222 81 7 A . . 3444444402222222 82 8 A . . 3444444403222222 83 9 A . . 3444444403322222 84 10 A . . 3444444403332222 85 11 A . . 3444444403333222 86 12 A . . 3444444403333322 87 13 A . . 3444444403333332 88 14 A . . 34444444033333330 89 15 B . . 344444440333333310 90 14 A . . 344444440333333312 91 15 B . . 344444440333333332 92 16 B . . 3444444403333333340 93 15 A . . 3444444403333333342 94 14 B . . 3444444403333333322 95 13 B . . 3444444403333333222 96 12 B . . 3444444403333332222 97 11 B . . 3444444403333322222 98 10 B . . 3444444403333222222 99 9 B . . 3444444403332222222 100 8 B . . 3444444403322222222 101 7 B . . 3444444403222222222 102 6 B . . 3444444402222222222 103 5 A . . 3444444422222222222 104 4 B . . 3444444222222222222 105 5 A . . 3444440222222222222 106 6 A . . 3444440322222222222 107 7 A . . 3444440332222222222 108 8 A . . 3444440333222222222 109 9 A . . 3444440333322222222 110 10 A . . 3444440333332222222 111 11 A . . 3444440333333222222 112 12 A . . 3444440333333322222 113 13 A . . 3444440333333332222 114 14 A . . 3444440333333333222 115 15 A . . 3444440333333333322 116 16 A . . 3444440333333333332 117 17 A . . 34444403333333333330 118 18 B . . 344444033333333333310 119 17 A . . 344444033333333333312 120 18 B . . 344444033333333333332 121 19 B . . 3444440333333333333340 122 18 A . . 3444440333333333333342 123 17 B . . 3444440333333333333322 124 16 B . . 3444440333333333333222 125 15 B . . 3444440333333333332222 126 14 B . . 3444440333333333322222 127 13 B . . 3444440333333333222222 128 12 B . . 3444440333333332222222 129 11 B . . 3444440333333322222222 130 10 B . . 3444440333333222222222 131 9 B . . 3444440333332222222222 132 8 B . . 3444440333322222222222 133 7 B . . 3444440333222222222222 134 6 B . . 3444440332222222222222 135 5 B . . 3444440322222222222222 136 4 B . . 3444440222222222222222 137 3 A . . 3444442222222222222222 138 2 B . . 3444422222222222222222 139 3 A . . 3444022222222222222222 140 4 A . . 3444032222222222222222 141 5 A . . 3444033222222222222222 142 6 A . . 3444033322222222222222 143 7 A . . 3444033332222222222222 144 8 A . . 3444033333222222222222 145 9 A . . 3444033333322222222222 146 10 A . . 3444033333332222222222 147 11 A . . 3444033333333222222222 148 12 A . . 3444033333333322222222 149 13 A . . 3444033333333332222222 150 14 A . . 3444033333333333222222 151 15 A . . 3444033333333333322222 152 16 A . . 3444033333333333332222 153 17 A . . 3444033333333333333222 154 18 A . . 3444033333333333333322 155 19 A . . 3444033333333333333332 156 20 A . . 34440333333333333333330 157 21 B . . 344403333333333333333310 158 20 A . . 344403333333333333333312 159 21 B . . 344403333333333333333332 160 22 B . . 3444033333333333333333340 161 21 A . . 3444033333333333333333342 162 20 B . . 3444033333333333333333322 163 19 B . . 3444033333333333333333222 164 18 B . . 3444033333333333333332222 165 17 B . . 3444033333333333333322222 166 16 B . . 3444033333333333333222222 167 15 B . . 3444033333333333332222222 168 14 B . . 3444033333333333322222222 169 13 B . . 3444033333333333222222222 170 12 B . . 3444033333333332222222222 171 11 B . . 3444033333333322222222222 172 10 B . . 3444033333333222222222222 173 9 B . . 3444033333332222222222222 174 8 B . . 3444033333322222222222222 175 7 B . . 3444033333222222222222222 176 6 B . . 3444033332222222222222222 177 5 B . . 3444033322222222222222222 178 4 B . . 3444033222222222222222222 179 3 B . . 3444032222222222222222222 180 2 B . . 3444022222222222222222222 181 1 A . . 3444222222222222222222222 182 0 B . . 3442222222222222222222222 183 1 A . . 3402222222222222222222222 184 2 A . . 3403222222222222222222222 185 3 A . . 3403322222222222222222222 186 4 A . . 3403332222222222222222222 187 5 A . . 3403333222222222222222222 188 6 A . . 3403333322222222222222222 189 7 A . . 3403333332222222222222222 190 8 A . . 3403333333222222222222222 191 9 A . . 3403333333322222222222222 192 10 A . . 3403333333332222222222222 193 11 A . . 3403333333333222222222222 194 12 A . . 3403333333333322222222222 195 13 A . . 3403333333333332222222222 196 14 A . . 3403333333333333222222222 197 15 A . . 3403333333333333322222222 198 16 A . . 3403333333333333332222222 199 17 A . . 3403333333333333333222222 200 18 A . . 3403333333333333333322222 After 200 steps (201 lines): state = A. Produced 24 nonzeros. Tape index 18, scanned [-2 .. 22].
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 | 94 | 8 | 8 | 64 | 14 | 0 | 2 | 16 | 5 | ||
B | 106 | 23 | 22 | 54 | 7 | 1 | 3 | 6 | 15 |