Comment: This TM produces >6.0x10^140 nonzeros in >4.3x10^281 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 0 | on 1 | on 2 | on 3 | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
A | 1RB | 3RB | 2LC | 3LA | 1 | right | B | 3 | right | B | 2 | left | C | 3 | left | A |
B | 0RC | 1RH | 2RC | 1LB | 0 | right | C | 1 | right | H | 2 | right | C | 1 | left | B |
C | 1LB | 2LA | 3RC | 2LC | 1 | left | B | 2 | left | A | 3 | right | C | 2 | left | C |
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 2 C . . . . . . . . . . . . . 100 3 1 B . . . . . . . . . . . . . 101 4 2 C . . . . . . . . . . . . . 101 5 1 A . . . . . . . . . . . . . 102 6 2 B . . . . . . . . . . . . . 112 7 3 C . . . . . . . . . . . . . 1120 8 2 B . . . . . . . . . . . . . 1121 9 3 C . . . . . . . . . . . . . 1121 10 2 A . . . . . . . . . . . . . 1122 11 1 C . . . . . . . . . . . . . 1122 12 0 A . . . . . . . . . . . . . 1222 13 1 B . . . . . . . . . . . . . 3222 14 2 C . . . . . . . . . . . . . 3222 15 3 C . . . . . . . . . . . . . 3232 16 4 C . . . . . . . . . . . . . 32330 17 3 B . . . . . . . . . . . . . 32331 18 2 B . . . . . . . . . . . . . 32311 19 1 B . . . . . . . . . . . . . 32111 20 2 C . . . . . . . . . . . . . 32111 21 1 A . . . . . . . . . . . . . 32211 22 0 C . . . . . . . . . . . . . 32211 23 -1 C . . . . . . . . . . . . .022211 24 -2 B . . . . . . . . . . . . 0122211 25 -1 C . . . . . . . . . . . . 0122211 26 -2 A . . . . . . . . . . . . 0222211 27 -1 B . . . . . . . . . . . . 1222211 28 0 C . . . . . . . . . . . . 1222211 29 1 C . . . . . . . . . . . . 1232211 30 2 C . . . . . . . . . . . . 1233211 31 3 C . . . . . . . . . . . . 1233311 32 2 A . . . . . . . . . . . . 1233321 33 1 A . . . . . . . . . . . . 1233321 34 0 A . . . . . . . . . . . . 1233321 35 -1 A . . . . . . . . . . . . 1233321 36 -2 C . . . . . . . . . . . . 1233321 37 -3 A . . . . . . . . . . . .02233321 38 -2 B . . . . . . . . . . . .12233321 39 -1 C . . . . . . . . . . . .12233321 40 0 C . . . . . . . . . . . .12333321 41 -1 C . . . . . . . . . . . .12323321 42 -2 C . . . . . . . . . . . .12223321 43 -1 C . . . . . . . . . . . .13223321 44 0 C . . . . . . . . . . . .13323321 45 1 C . . . . . . . . . . . .13333321 46 0 C . . . . . . . . . . . .13332321 47 -1 C . . . . . . . . . . . .13322321 48 -2 C . . . . . . . . . . . .13222321 49 -3 C . . . . . . . . . . . .12222321 50 -4 A . . . . . . . . . . . 022222321 51 -3 B . . . . . . . . . . . 122222321 52 -2 C . . . . . . . . . . . 122222321 53 -1 C . . . . . . . . . . . 123222321 54 0 C . . . . . . . . . . . 123322321 55 1 C . . . . . . . . . . . 123332321 56 2 C . . . . . . . . . . . 123333321 57 1 C . . . . . . . . . . . 123333221 58 0 C . . . . . . . . . . . 123332221 59 -1 C . . . . . . . . . . . 123322221 60 -2 C . . . . . . . . . . . 123222221 61 -3 C . . . . . . . . . . . 122222221 62 -2 C . . . . . . . . . . . 132222221 63 -1 C . . . . . . . . . . . 133222221 64 0 C . . . . . . . . . . . 133322221 65 1 C . . . . . . . . . . . 133332221 66 2 C . . . . . . . . . . . 133333221 67 3 C . . . . . . . . . . . 133333321 68 4 C . . . . . . . . . . . 133333331 69 3 A . . . . . . . . . . . 133333332 70 2 A . . . . . . . . . . . 133333332 71 1 A . . . . . . . . . . . 133333332 72 0 A . . . . . . . . . . . 133333332 73 -1 A . . . . . . . . . . . 133333332 74 -2 A . . . . . . . . . . . 133333332 75 -3 A . . . . . . . . . . . 133333332 76 -4 A . . . . . . . . . . . 133333332 77 -3 B . . . . . . . . . . . 333333332 78 -4 B . . . . . . . . . . . 313333332 79 -5 B . . . . . . . . . . .0113333332 80 -4 C . . . . . . . . . . .0113333332 81 -5 A . . . . . . . . . . .0213333332 82 -4 B . . . . . . . . . . .1213333332 83 -3 C . . . . . . . . . . .1213333332 84 -4 A . . . . . . . . . . .1223333332 85 -5 C . . . . . . . . . . .1223333332 86 -6 A . . . . . . . . . . 02223333332 87 -5 B . . . . . . . . . . 12223333332 88 -4 C . . . . . . . . . . 12223333332 89 -3 C . . . . . . . . . . 12323333332 90 -2 C . . . . . . . . . . 12333333332 91 -3 C . . . . . . . . . . 12332333332 92 -4 C . . . . . . . . . . 12322333332 93 -5 C . . . . . . . . . . 12222333332 94 -4 C . . . . . . . . . . 13222333332 95 -3 C . . . . . . . . . . 13322333332 96 -2 C . . . . . . . . . . 13332333332 97 -1 C . . . . . . . . . . 13333333332 98 -2 C . . . . . . . . . . 13333233332 99 -3 C . . . . . . . . . . 13332233332 100 -4 C . . . . . . . . . . 13322233332 101 -5 C . . . . . . . . . . 13222233332 102 -6 C . . . . . . . . . . 12222233332 103 -7 A . . . . . . . . . .022222233332 104 -6 B . . . . . . . . . .122222233332 105 -5 C . . . . . . . . . .122222233332 106 -4 C . . . . . . . . . .123222233332 107 -3 C . . . . . . . . . .123322233332 108 -2 C . . . . . . . . . .123332233332 109 -1 C . . . . . . . . . .123333233332 110 0 C . . . . . . . . . .123333333332 111 -1 C . . . . . . . . . .123333323332 112 -2 C . . . . . . . . . .123333223332 113 -3 C . . . . . . . . . .123332223332 114 -4 C . . . . . . . . . .123322223332 115 -5 C . . . . . . . . . .123222223332 116 -6 C . . . . . . . . . .122222223332 117 -5 C . . . . . . . . . .132222223332 118 -4 C . . . . . . . . . .133222223332 119 -3 C . . . . . . . . . .133322223332 120 -2 C . . . . . . . . . .133332223332 121 -1 C . . . . . . . . . .133333223332 122 0 C . . . . . . . . . .133333323332 123 1 C . . . . . . . . . .133333333332 124 0 C . . . . . . . . . .133333332332 125 -1 C . . . . . . . . . .133333322332 126 -2 C . . . . . . . . . .133333222332 127 -3 C . . . . . . . . . .133332222332 128 -4 C . . . . . . . . . .133322222332 129 -5 C . . . . . . . . . .133222222332 130 -6 C . . . . . . . . . .132222222332 131 -7 C . . . . . . . . . .122222222332 132 -8 A . . . . . . . . . 0222222222332 133 -7 B . . . . . . . . . 1222222222332 134 -6 C . . . . . . . . . 1222222222332 135 -5 C . . . . . . . . . 1232222222332 136 -4 C . . . . . . . . . 1233222222332 137 -3 C . . . . . . . . . 1233322222332 138 -2 C . . . . . . . . . 1233332222332 139 -1 C . . . . . . . . . 1233333222332 140 0 C . . . . . . . . . 1233333322332 141 1 C . . . . . . . . . 1233333332332 142 2 C . . . . . . . . . 1233333333332 143 1 C . . . . . . . . . 1233333333232 144 0 C . . . . . . . . . 1233333332232 145 -1 C . . . . . . . . . 1233333322232 146 -2 C . . . . . . . . . 1233333222232 147 -3 C . . . . . . . . . 1233332222232 148 -4 C . . . . . . . . . 1233322222232 149 -5 C . . . . . . . . . 1233222222232 150 -6 C . . . . . . . . . 1232222222232 151 -7 C . . . . . . . . . 1222222222232 152 -6 C . . . . . . . . . 1322222222232 153 -5 C . . . . . . . . . 1332222222232 154 -4 C . . . . . . . . . 1333222222232 155 -3 C . . . . . . . . . 1333322222232 156 -2 C . . . . . . . . . 1333332222232 157 -1 C . . . . . . . . . 1333333222232 158 0 C . . . . . . . . . 1333333322232 159 1 C . . . . . . . . . 1333333332232 160 2 C . . . . . . . . . 1333333333232 161 3 C . . . . . . . . . 1333333333332 162 2 C . . . . . . . . . 1333333333322 163 1 C . . . . . . . . . 1333333333222 164 0 C . . . . . . . . . 1333333332222 165 -1 C . . . . . . . . . 1333333322222 166 -2 C . . . . . . . . . 1333333222222 167 -3 C . . . . . . . . . 1333332222222 168 -4 C . . . . . . . . . 1333322222222 169 -5 C . . . . . . . . . 1333222222222 170 -6 C . . . . . . . . . 1332222222222 171 -7 C . . . . . . . . . 1322222222222 172 -8 C . . . . . . . . . 1222222222222 173 -9 A . . . . . . . . .02222222222222 174 -8 B . . . . . . . . .12222222222222 175 -7 C . . . . . . . . .12222222222222 176 -6 C . . . . . . . . .12322222222222 177 -5 C . . . . . . . . .12332222222222 178 -4 C . . . . . . . . .12333222222222 179 -3 C . . . . . . . . .12333322222222 180 -2 C . . . . . . . . .12333332222222 181 -1 C . . . . . . . . .12333333222222 182 0 C . . . . . . . . .12333333322222 183 1 C . . . . . . . . .12333333332222 184 2 C . . . . . . . . .12333333333222 185 3 C . . . . . . . . .12333333333322 186 4 C . . . . . . . . .12333333333332 187 5 C . . . . . . . . .123333333333330 188 4 B . . . . . . . . .123333333333331 189 3 B . . . . . . . . .123333333333311 190 2 B . . . . . . . . .123333333333111 191 1 B . . . . . . . . .123333333331111 192 0 B . . . . . . . . .123333333311111 193 -1 B . . . . . . . . .123333333111111 194 -2 B . . . . . . . . .123333331111111 195 -3 B . . . . . . . . .123333311111111 196 -4 B . . . . . . . . .123333111111111 197 -5 B . . . . . . . . .123331111111111 198 -6 B . . . . . . . . .123311111111111 199 -7 B . . . . . . . . .123111111111111 200 -8 B . . . . . . . . .121111111111111 After 200 steps (201 lines): state = B. Produced 15 nonzeros. Tape index -8, scanned [-9 .. 5].
State | Count | Execution count | First in step | ||||||
---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
A | 26 | 10 | 2 | 4 | 10 | 0 | 12 | 10 | 32 |
B | 32 | 4 | 12 | 16 | 1 | 6 | 17 | ||
C | 142 | 5 | 15 | 68 | 54 | 2 | 4 | 14 | 22 |