Comment: Example for "greater config" Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State | on 0 |
on 1 |
on 0 | on 1 | ||||
---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | |||||
A | B1L | A1R | 1 | left | B | 1 | right | A |
B | C0R | B1L | 0 | right | C | 1 | left | B |
C | H1L | A1R | 1 | left | H | 1 | 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 . . . . . . . . . .01 2 0 C . . . . . . . . . .01 3 1 A . . . . . . . . . .010 4 0 B . . . . . . . . . .011 5 -1 B . . . . . . . . . .011 6 0 C . . . . . . . . . .011 7 1 A . . . . . . . . . .011 8 2 A . . . . . . . . . .0110 9 1 B . . . . . . . . . .0111 10 0 B . . . . . . . . . .0111 11 -1 B . . . . . . . . . .0111 12 0 C . . . . . . . . . .0111 13 1 A . . . . . . . . . .0111 14 2 A . . . . . . . . . .0111 15 3 A . . . . . . . . . .01110 16 2 B . . . . . . . . . .01111 17 1 B . . . . . . . . . .01111 18 0 B . . . . . . . . . .01111 19 -1 B . . . . . . . . . .01111 20 0 C . . . . . . . . . .01111 21 1 A . . . . . . . . . .01111 22 2 A . . . . . . . . . .01111 23 3 A . . . . . . . . . .01111 24 4 A . . . . . . . . . .011110 25 3 B . . . . . . . . . .011111 26 2 B . . . . . . . . . .011111 27 1 B . . . . . . . . . .011111 28 0 B . . . . . . . . . .011111 29 -1 B . . . . . . . . . .011111 30 0 C . . . . . . . . . .011111 31 1 A . . . . . . . . . .011111 32 2 A . . . . . . . . . .011111 33 3 A . . . . . . . . . .011111 34 4 A . . . . . . . . . .011111 35 5 A . . . . . . . . . .0111110 36 4 B . . . . . . . . . .0111111 37 3 B . . . . . . . . . .0111111 38 2 B . . . . . . . . . .0111111 39 1 B . . . . . . . . . .0111111 40 0 B . . . . . . . . . .0111111 41 -1 B . . . . . . . . . .0111111 42 0 C . . . . . . . . . .0111111 43 1 A . . . . . . . . . .0111111 44 2 A . . . . . . . . . .0111111 45 3 A . . . . . . . . . .0111111 46 4 A . . . . . . . . . .0111111 47 5 A . . . . . . . . . .0111111 48 6 A . . . . . . . . . .01111110 49 5 B . . . . . . . . . .01111111 50 4 B . . . . . . . . . .01111111 51 3 B . . . . . . . . . .01111111 52 2 B . . . . . . . . . .01111111 53 1 B . . . . . . . . . .01111111 54 0 B . . . . . . . . . .01111111 55 -1 B . . . . . . . . . .01111111 56 0 C . . . . . . . . . .01111111 57 1 A . . . . . . . . . .01111111 58 2 A . . . . . . . . . .01111111 59 3 A . . . . . . . . . .01111111 60 4 A . . . . . . . . . .01111111 61 5 A . . . . . . . . . .01111111 62 6 A . . . . . . . . . .01111111 63 7 A . . . . . . . . . .011111110 64 6 B . . . . . . . . . .011111111 65 5 B . . . . . . . . . .011111111 66 4 B . . . . . . . . . .011111111 67 3 B . . . . . . . . . .011111111 68 2 B . . . . . . . . . .011111111 69 1 B . . . . . . . . . .011111111 70 0 B . . . . . . . . . .011111111 71 -1 B . . . . . . . . . .011111111 72 0 C . . . . . . . . . .011111111 73 1 A . . . . . . . . . .011111111 74 2 A . . . . . . . . . .011111111 75 3 A . . . . . . . . . .011111111 76 4 A . . . . . . . . . .011111111 77 5 A . . . . . . . . . .011111111 78 6 A . . . . . . . . . .011111111 79 7 A . . . . . . . . . .011111111 80 8 A . . . . . . . . . .0111111110 81 7 B . . . . . . . . . .0111111111 82 6 B . . . . . . . . . .0111111111 83 5 B . . . . . . . . . .0111111111 84 4 B . . . . . . . . . .0111111111 85 3 B . . . . . . . . . .0111111111 86 2 B . . . . . . . . . .0111111111 87 1 B . . . . . . . . . .0111111111 88 0 B . . . . . . . . . .0111111111 89 -1 B . . . . . . . . . .0111111111 90 0 C . . . . . . . . . .0111111111 91 1 A . . . . . . . . . .0111111111 92 2 A . . . . . . . . . .0111111111 93 3 A . . . . . . . . . .0111111111 94 4 A . . . . . . . . . .0111111111 95 5 A . . . . . . . . . .0111111111 96 6 A . . . . . . . . . .0111111111 97 7 A . . . . . . . . . .0111111111 98 8 A . . . . . . . . . .0111111111 99 9 A . . . . . . . . . .01111111110 100 8 B . . . . . . . . . .01111111111 101 7 B . . . . . . . . . .01111111111 102 6 B . . . . . . . . . .01111111111 103 5 B . . . . . . . . . .01111111111 104 4 B . . . . . . . . . .01111111111 105 3 B . . . . . . . . . .01111111111 106 2 B . . . . . . . . . .01111111111 107 1 B . . . . . . . . . .01111111111 108 0 B . . . . . . . . . .01111111111 109 -1 B . . . . . . . . . .01111111111 110 0 C . . . . . . . . . .01111111111 111 1 A . . . . . . . . . .01111111111 112 2 A . . . . . . . . . .01111111111 113 3 A . . . . . . . . . .01111111111 114 4 A . . . . . . . . . .01111111111 115 5 A . . . . . . . . . .01111111111 116 6 A . . . . . . . . . .01111111111 117 7 A . . . . . . . . . .01111111111 118 8 A . . . . . . . . . .01111111111 119 9 A . . . . . . . . . .01111111111 120 10 A . . . . . . . . . .011111111110 121 9 B . . . . . . . . . .011111111111 122 8 B . . . . . . . . . .011111111111 123 7 B . . . . . . . . . .011111111111 124 6 B . . . . . . . . . .011111111111 125 5 B . . . . . . . . . .011111111111 126 4 B . . . . . . . . . .011111111111 127 3 B . . . . . . . . . .011111111111 128 2 B . . . . . . . . . .011111111111 129 1 B . . . . . . . . . .011111111111 130 0 B . . . . . . . . . .011111111111 131 -1 B . . . . . . . . . .011111111111 132 0 C . . . . . . . . . .011111111111 133 1 A . . . . . . . . . .011111111111 134 2 A . . . . . . . . . .011111111111 135 3 A . . . . . . . . . .011111111111 136 4 A . . . . . . . . . .011111111111 137 5 A . . . . . . . . . .011111111111 138 6 A . . . . . . . . . .011111111111 139 7 A . . . . . . . . . .011111111111 140 8 A . . . . . . . . . .011111111111 141 9 A . . . . . . . . . .011111111111 142 10 A . . . . . . . . . .011111111111 143 11 A . . . . . . . . . .0111111111110 144 10 B . . . . . . . . . .0111111111111 145 9 B . . . . . . . . . .0111111111111 146 8 B . . . . . . . . . .0111111111111 147 7 B . . . . . . . . . .0111111111111 148 6 B . . . . . . . . . .0111111111111 149 5 B . . . . . . . . . .0111111111111 150 4 B . . . . . . . . . .0111111111111 151 3 B . . . . . . . . . .0111111111111 152 2 B . . . . . . . . . .0111111111111 153 1 B . . . . . . . . . .0111111111111 154 0 B . . . . . . . . . .0111111111111 155 -1 B . . . . . . . . . .0111111111111 156 0 C . . . . . . . . . .0111111111111 157 1 A . . . . . . . . . .0111111111111 158 2 A . . . . . . . . . .0111111111111 159 3 A . . . . . . . . . .0111111111111 160 4 A . . . . . . . . . .0111111111111 161 5 A . . . . . . . . . .0111111111111 162 6 A . . . . . . . . . .0111111111111 163 7 A . . . . . . . . . .0111111111111 164 8 A . . . . . . . . . .0111111111111 165 9 A . . . . . . . . . .0111111111111 166 10 A . . . . . . . . . .0111111111111 167 11 A . . . . . . . . . .0111111111111 168 12 A . . . . . . . . . .01111111111110 169 11 B . . . . . . . . . .01111111111111 170 10 B . . . . . . . . . .01111111111111 171 9 B . . . . . . . . . .01111111111111 172 8 B . . . . . . . . . .01111111111111 173 7 B . . . . . . . . . .01111111111111 174 6 B . . . . . . . . . .01111111111111 175 5 B . . . . . . . . . .01111111111111 176 4 B . . . . . . . . . .01111111111111 177 3 B . . . . . . . . . .01111111111111 178 2 B . . . . . . . . . .01111111111111 179 1 B . . . . . . . . . .01111111111111 180 0 B . . . . . . . . . .01111111111111 181 -1 B . . . . . . . . . .01111111111111 182 0 C . . . . . . . . . .01111111111111 183 1 A . . . . . . . . . .01111111111111 184 2 A . . . . . . . . . .01111111111111 185 3 A . . . . . . . . . .01111111111111 186 4 A . . . . . . . . . .01111111111111 187 5 A . . . . . . . . . .01111111111111 188 6 A . . . . . . . . . .01111111111111 189 7 A . . . . . . . . . .01111111111111 190 8 A . . . . . . . . . .01111111111111 191 9 A . . . . . . . . . .01111111111111 192 10 A . . . . . . . . . .01111111111111 193 11 A . . . . . . . . . .01111111111111 194 12 A . . . . . . . . . .01111111111111 195 13 A . . . . . . . . . .011111111111110 196 12 B . . . . . . . . . .011111111111111 197 11 B . . . . . . . . . .011111111111111 198 10 B . . . . . . . . . .011111111111111 199 9 B . . . . . . . . . .011111111111111 200 8 B . . . . . . . . . .011111111111111 After 200 steps (201 lines): state = B. Produced 14 ones. Tape index 8, scanned [-1 .. 13].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 92 | 14 | 78 | 0 | 7 |
B | 95 | 13 | 82 | 1 | 4 |
C | 13 | 13 | 2 |