Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 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 | 2RA | 1LA | 3LA | 2RA | 1 | right | B | 2 | right | A | 1 | left | A | 3 | left | A | 2 | right | A |
B | 2LA | 3RB | 4LA | 1LB | 1RH | 2 | left | A | 3 | right | B | 4 | left | A | 1 | left | B | 1 | right | 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 . . . . . . . . . . . . . . . . . . . . . . 10 2 0 A . . . . . . . . . . . . . . . . . . . . . . 12 3 1 A . . . . . . . . . . . . . . . . . . . . . . 22 4 0 A . . . . . . . . . . . . . . . . . . . . . . 21 5 -1 A . . . . . . . . . . . . . . . . . . . . . .011 6 0 B . . . . . . . . . . . . . . . . . . . . . .111 7 1 B . . . . . . . . . . . . . . . . . . . . . .131 8 2 B . . . . . . . . . . . . . . . . . . . . . .1330 9 1 A . . . . . . . . . . . . . . . . . . . . . .1332 10 0 A . . . . . . . . . . . . . . . . . . . . . .1332 11 -1 A . . . . . . . . . . . . . . . . . . . . . .1332 12 0 A . . . . . . . . . . . . . . . . . . . . . .2332 13 -1 A . . . . . . . . . . . . . . . . . . . . . .2332 14 -2 A . . . . . . . . . . . . . . . . . . . . . 01332 15 -1 B . . . . . . . . . . . . . . . . . . . . . 11332 16 0 B . . . . . . . . . . . . . . . . . . . . . 13332 17 -1 B . . . . . . . . . . . . . . . . . . . . . 13132 18 -2 B . . . . . . . . . . . . . . . . . . . . . 11132 19 -1 B . . . . . . . . . . . . . . . . . . . . . 31132 20 0 B . . . . . . . . . . . . . . . . . . . . . 33132 21 1 B . . . . . . . . . . . . . . . . . . . . . 33332 22 0 B . . . . . . . . . . . . . . . . . . . . . 33312 23 -1 B . . . . . . . . . . . . . . . . . . . . . 33112 24 -2 B . . . . . . . . . . . . . . . . . . . . . 31112 25 -3 B . . . . . . . . . . . . . . . . . . . . .011112 26 -4 A . . . . . . . . . . . . . . . . . . . . 0211112 27 -3 B . . . . . . . . . . . . . . . . . . . . 1211112 28 -4 A . . . . . . . . . . . . . . . . . . . . 1411112 29 -3 A . . . . . . . . . . . . . . . . . . . . 2411112 30 -2 A . . . . . . . . . . . . . . . . . . . . 2211112 31 -1 A . . . . . . . . . . . . . . . . . . . . 2221112 32 0 A . . . . . . . . . . . . . . . . . . . . 2222112 33 1 A . . . . . . . . . . . . . . . . . . . . 2222212 34 2 A . . . . . . . . . . . . . . . . . . . . 2222222 35 1 A . . . . . . . . . . . . . . . . . . . . 2222221 36 0 A . . . . . . . . . . . . . . . . . . . . 2222211 37 -1 A . . . . . . . . . . . . . . . . . . . . 2222111 38 -2 A . . . . . . . . . . . . . . . . . . . . 2221111 39 -3 A . . . . . . . . . . . . . . . . . . . . 2211111 40 -4 A . . . . . . . . . . . . . . . . . . . . 2111111 41 -5 A . . . . . . . . . . . . . . . . . . . .01111111 42 -4 B . . . . . . . . . . . . . . . . . . . .11111111 43 -3 B . . . . . . . . . . . . . . . . . . . .13111111 44 -2 B . . . . . . . . . . . . . . . . . . . .13311111 45 -1 B . . . . . . . . . . . . . . . . . . . .13331111 46 0 B . . . . . . . . . . . . . . . . . . . .13333111 47 1 B . . . . . . . . . . . . . . . . . . . .13333311 48 2 B . . . . . . . . . . . . . . . . . . . .13333331 49 3 B . . . . . . . . . . . . . . . . . . . .133333330 50 2 A . . . . . . . . . . . . . . . . . . . .133333332 51 1 A . . . . . . . . . . . . . . . . . . . .133333332 52 0 A . . . . . . . . . . . . . . . . . . . .133333332 53 -1 A . . . . . . . . . . . . . . . . . . . .133333332 54 -2 A . . . . . . . . . . . . . . . . . . . .133333332 55 -3 A . . . . . . . . . . . . . . . . . . . .133333332 56 -4 A . . . . . . . . . . . . . . . . . . . .133333332 57 -5 A . . . . . . . . . . . . . . . . . . . .133333332 58 -4 A . . . . . . . . . . . . . . . . . . . .233333332 59 -5 A . . . . . . . . . . . . . . . . . . . .233333332 60 -6 A . . . . . . . . . . . . . . . . . . . 0133333332 61 -5 B . . . . . . . . . . . . . . . . . . . 1133333332 62 -4 B . . . . . . . . . . . . . . . . . . . 1333333332 63 -5 B . . . . . . . . . . . . . . . . . . . 1313333332 64 -6 B . . . . . . . . . . . . . . . . . . . 1113333332 65 -5 B . . . . . . . . . . . . . . . . . . . 3113333332 66 -4 B . . . . . . . . . . . . . . . . . . . 3313333332 67 -3 B . . . . . . . . . . . . . . . . . . . 3333333332 68 -4 B . . . . . . . . . . . . . . . . . . . 3331333332 69 -5 B . . . . . . . . . . . . . . . . . . . 3311333332 70 -6 B . . . . . . . . . . . . . . . . . . . 3111333332 71 -7 B . . . . . . . . . . . . . . . . . . .01111333332 72 -8 A . . . . . . . . . . . . . . . . . . 021111333332 73 -7 B . . . . . . . . . . . . . . . . . . 121111333332 74 -8 A . . . . . . . . . . . . . . . . . . 141111333332 75 -7 A . . . . . . . . . . . . . . . . . . 241111333332 76 -6 A . . . . . . . . . . . . . . . . . . 221111333332 77 -5 A . . . . . . . . . . . . . . . . . . 222111333332 78 -4 A . . . . . . . . . . . . . . . . . . 222211333332 79 -3 A . . . . . . . . . . . . . . . . . . 222221333332 80 -2 A . . . . . . . . . . . . . . . . . . 222222333332 81 -3 A . . . . . . . . . . . . . . . . . . 222222333332 82 -4 A . . . . . . . . . . . . . . . . . . 222221333332 83 -5 A . . . . . . . . . . . . . . . . . . 222211333332 84 -6 A . . . . . . . . . . . . . . . . . . 222111333332 85 -7 A . . . . . . . . . . . . . . . . . . 221111333332 86 -8 A . . . . . . . . . . . . . . . . . . 211111333332 87 -9 A . . . . . . . . . . . . . . . . . .0111111333332 88 -8 B . . . . . . . . . . . . . . . . . .1111111333332 89 -7 B . . . . . . . . . . . . . . . . . .1311111333332 90 -6 B . . . . . . . . . . . . . . . . . .1331111333332 91 -5 B . . . . . . . . . . . . . . . . . .1333111333332 92 -4 B . . . . . . . . . . . . . . . . . .1333311333332 93 -3 B . . . . . . . . . . . . . . . . . .1333331333332 94 -2 B . . . . . . . . . . . . . . . . . .1333333333332 95 -3 B . . . . . . . . . . . . . . . . . .1333333133332 96 -4 B . . . . . . . . . . . . . . . . . .1333331133332 97 -5 B . . . . . . . . . . . . . . . . . .1333311133332 98 -6 B . . . . . . . . . . . . . . . . . .1333111133332 99 -7 B . . . . . . . . . . . . . . . . . .1331111133332 100 -8 B . . . . . . . . . . . . . . . . . .1311111133332 101 -9 B . . . . . . . . . . . . . . . . . .1111111133332 102 -8 B . . . . . . . . . . . . . . . . . .3111111133332 103 -7 B . . . . . . . . . . . . . . . . . .3311111133332 104 -6 B . . . . . . . . . . . . . . . . . .3331111133332 105 -5 B . . . . . . . . . . . . . . . . . .3333111133332 106 -4 B . . . . . . . . . . . . . . . . . .3333311133332 107 -3 B . . . . . . . . . . . . . . . . . .3333331133332 108 -2 B . . . . . . . . . . . . . . . . . .3333333133332 109 -1 B . . . . . . . . . . . . . . . . . .3333333333332 110 -2 B . . . . . . . . . . . . . . . . . .3333333313332 111 -3 B . . . . . . . . . . . . . . . . . .3333333113332 112 -4 B . . . . . . . . . . . . . . . . . .3333331113332 113 -5 B . . . . . . . . . . . . . . . . . .3333311113332 114 -6 B . . . . . . . . . . . . . . . . . .3333111113332 115 -7 B . . . . . . . . . . . . . . . . . .3331111113332 116 -8 B . . . . . . . . . . . . . . . . . .3311111113332 117 -9 B . . . . . . . . . . . . . . . . . .3111111113332 118 -10 B . . . . . . . . . . . . . . . . . 01111111113332 119 -11 A . . . . . . . . . . . . . . . . .021111111113332 120 -10 B . . . . . . . . . . . . . . . . .121111111113332 121 -11 A . . . . . . . . . . . . . . . . .141111111113332 122 -10 A . . . . . . . . . . . . . . . . .241111111113332 123 -9 A . . . . . . . . . . . . . . . . .221111111113332 124 -8 A . . . . . . . . . . . . . . . . .222111111113332 125 -7 A . . . . . . . . . . . . . . . . .222211111113332 126 -6 A . . . . . . . . . . . . . . . . .222221111113332 127 -5 A . . . . . . . . . . . . . . . . .222222111113332 128 -4 A . . . . . . . . . . . . . . . . .222222211113332 129 -3 A . . . . . . . . . . . . . . . . .222222221113332 130 -2 A . . . . . . . . . . . . . . . . .222222222113332 131 -1 A . . . . . . . . . . . . . . . . .222222222213332 132 0 A . . . . . . . . . . . . . . . . .222222222223332 133 -1 A . . . . . . . . . . . . . . . . .222222222223332 134 -2 A . . . . . . . . . . . . . . . . .222222222213332 135 -3 A . . . . . . . . . . . . . . . . .222222222113332 136 -4 A . . . . . . . . . . . . . . . . .222222221113332 137 -5 A . . . . . . . . . . . . . . . . .222222211113332 138 -6 A . . . . . . . . . . . . . . . . .222222111113332 139 -7 A . . . . . . . . . . . . . . . . .222221111113332 140 -8 A . . . . . . . . . . . . . . . . .222211111113332 141 -9 A . . . . . . . . . . . . . . . . .222111111113332 142 -10 A . . . . . . . . . . . . . . . . .221111111113332 143 -11 A . . . . . . . . . . . . . . . . .211111111113332 144 -12 A . . . . . . . . . . . . . . . . 0111111111113332 145 -11 B . . . . . . . . . . . . . . . . 1111111111113332 146 -10 B . . . . . . . . . . . . . . . . 1311111111113332 147 -9 B . . . . . . . . . . . . . . . . 1331111111113332 148 -8 B . . . . . . . . . . . . . . . . 1333111111113332 149 -7 B . . . . . . . . . . . . . . . . 1333311111113332 150 -6 B . . . . . . . . . . . . . . . . 1333331111113332 151 -5 B . . . . . . . . . . . . . . . . 1333333111113332 152 -4 B . . . . . . . . . . . . . . . . 1333333311113332 153 -3 B . . . . . . . . . . . . . . . . 1333333331113332 154 -2 B . . . . . . . . . . . . . . . . 1333333333113332 155 -1 B . . . . . . . . . . . . . . . . 1333333333313332 156 0 B . . . . . . . . . . . . . . . . 1333333333333332 157 -1 B . . . . . . . . . . . . . . . . 1333333333331332 158 -2 B . . . . . . . . . . . . . . . . 1333333333311332 159 -3 B . . . . . . . . . . . . . . . . 1333333333111332 160 -4 B . . . . . . . . . . . . . . . . 1333333331111332 161 -5 B . . . . . . . . . . . . . . . . 1333333311111332 162 -6 B . . . . . . . . . . . . . . . . 1333333111111332 163 -7 B . . . . . . . . . . . . . . . . 1333331111111332 164 -8 B . . . . . . . . . . . . . . . . 1333311111111332 165 -9 B . . . . . . . . . . . . . . . . 1333111111111332 166 -10 B . . . . . . . . . . . . . . . . 1331111111111332 167 -11 B . . . . . . . . . . . . . . . . 1311111111111332 168 -12 B . . . . . . . . . . . . . . . . 1111111111111332 169 -11 B . . . . . . . . . . . . . . . . 3111111111111332 170 -10 B . . . . . . . . . . . . . . . . 3311111111111332 171 -9 B . . . . . . . . . . . . . . . . 3331111111111332 172 -8 B . . . . . . . . . . . . . . . . 3333111111111332 173 -7 B . . . . . . . . . . . . . . . . 3333311111111332 174 -6 B . . . . . . . . . . . . . . . . 3333331111111332 175 -5 B . . . . . . . . . . . . . . . . 3333333111111332 176 -4 B . . . . . . . . . . . . . . . . 3333333311111332 177 -3 B . . . . . . . . . . . . . . . . 3333333331111332 178 -2 B . . . . . . . . . . . . . . . . 3333333333111332 179 -1 B . . . . . . . . . . . . . . . . 3333333333311332 180 0 B . . . . . . . . . . . . . . . . 3333333333331332 181 1 B . . . . . . . . . . . . . . . . 3333333333333332 182 0 B . . . . . . . . . . . . . . . . 3333333333333132 183 -1 B . . . . . . . . . . . . . . . . 3333333333331132 184 -2 B . . . . . . . . . . . . . . . . 3333333333311132 185 -3 B . . . . . . . . . . . . . . . . 3333333333111132 186 -4 B . . . . . . . . . . . . . . . . 3333333331111132 187 -5 B . . . . . . . . . . . . . . . . 3333333311111132 188 -6 B . . . . . . . . . . . . . . . . 3333333111111132 189 -7 B . . . . . . . . . . . . . . . . 3333331111111132 190 -8 B . . . . . . . . . . . . . . . . 3333311111111132 191 -9 B . . . . . . . . . . . . . . . . 3333111111111132 192 -10 B . . . . . . . . . . . . . . . . 3331111111111132 193 -11 B . . . . . . . . . . . . . . . . 3311111111111132 194 -12 B . . . . . . . . . . . . . . . . 3111111111111132 195 -13 B . . . . . . . . . . . . . . . .01111111111111132 196 -14 A . . . . . . . . . . . . . . . 021111111111111132 197 -13 B . . . . . . . . . . . . . . . 121111111111111132 198 -14 A . . . . . . . . . . . . . . . 141111111111111132 199 -13 A . . . . . . . . . . . . . . . 241111111111111132 200 -12 A . . . . . . . . . . . . . . . 221111111111111132 After 200 steps (201 lines): state = A. Produced 18 nonzeros. Tape index -12, scanned [-14 .. 3].
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 | 80 | 11 | 24 | 28 | 13 | 4 | 0 | 2 | 3 | 9 | 29 |
B | 120 | 7 | 55 | 4 | 54 | 1 | 6 | 27 | 16 |