Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web) 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 | C0L | 1 | left | B | 0 | left | C |
B | C1L | Z== | 1 | left | C | Z | stay | = |
C | C1R | D1R | 1 | right | C | 1 | right | D |
D | D1L | E1L | 1 | left | D | 1 | left | E |
E | A1L | A0L | 1 | left | A | 0 | left | A |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 9-macro machine. The same TM as 9-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . . . . . . . . . . . . . 0 1 -1 B . . . . . . . . . . . . . . . . . .01 2 -2 C . . . . . . . . . . . . . . . . . 011 3 -1 C . . . . . . . . . . . . . . . . . 111 4 0 D . . . . . . . . . . . . . . . . . 111 5 -1 E . . . . . . . . . . . . . . . . . 111 6 -2 A . . . . . . . . . . . . . . . . . 101 7 -3 C . . . . . . . . . . . . . . . . .0001 + 10 0 C . . . . . . . . . . . . . . . . .1111 by C/0 * 3 11 1 D . . . . . . . . . . . . . . . . .11110 12 0 D . . . . . . . . . . . . . . . . .11111 13 -1 E . . . . . . . . . . . . . . . . .11111 14 -2 A . . . . . . . . . . . . . . . . .11011 15 -3 C . . . . . . . . . . . . . . . . .10011 16 -2 D . . . . . . . . . . . . . . . . .10011 17 -3 D . . . . . . . . . . . . . . . . .11011 18 -4 E . . . . . . . . . . . . . . . . 011011 19 -5 A . . . . . . . . . . . . . . . .0111011 20 -6 B . . . . . . . . . . . . . . . 01111011 21 -7 C . . . . . . . . . . . . . . .011111011 22 -6 C . . . . . . . . . . . . . . .111111011 23 -5 D . . . . . . . . . . . . . . .111111011 24 -6 E . . . . . . . . . . . . . . .111111011 25 -7 A . . . . . . . . . . . . . . .101111011 26 -8 C . . . . . . . . . . . . . . 0001111011 + 29 -5 C . . . . . . . . . . . . . . 1111111011 by C/0 * 3 30 -4 D . . . . . . . . . . . . . . 1111111011 31 -5 E . . . . . . . . . . . . . . 1111111011 32 -6 A . . . . . . . . . . . . . . 1110111011 33 -7 C . . . . . . . . . . . . . . 1100111011 34 -6 D . . . . . . . . . . . . . . 1100111011 35 -7 D . . . . . . . . . . . . . . 1110111011 36 -8 E . . . . . . . . . . . . . . 1110111011 37 -9 A . . . . . . . . . . . . . .00110111011 38 -10 B . . . . . . . . . . . . . 010110111011 39 -11 C . . . . . . . . . . . . .0110110111011 40 -10 C . . . . . . . . . . . . .1110110111011 41 -9 D . . . . . . . . . . . . .1110110111011 42 -10 E . . . . . . . . . . . . .1110110111011 43 -11 A . . . . . . . . . . . . .1010110111011 44 -12 C . . . . . . . . . . . . 00010110111011 + 47 -9 C . . . . . . . . . . . . 11110110111011 by C/0 * 3 48 -8 D . . . . . . . . . . . . 11110110111011 49 -9 D . . . . . . . . . . . . 11111110111011 50 -10 E . . . . . . . . . . . . 11111110111011 51 -11 A . . . . . . . . . . . . 11011110111011 52 -12 C . . . . . . . . . . . . 10011110111011 53 -11 D . . . . . . . . . . . . 10011110111011 54 -12 D . . . . . . . . . . . . 11011110111011 55 -13 E . . . . . . . . . . . .011011110111011 56 -14 A . . . . . . . . . . . 0111011110111011 57 -15 B . . . . . . . . . . .01111011110111011 58 -16 C . . . . . . . . . . 011111011110111011 59 -15 C . . . . . . . . . . 111111011110111011 60 -14 D . . . . . . . . . . 111111011110111011 61 -15 E . . . . . . . . . . 111111011110111011 62 -16 A . . . . . . . . . . 101111011110111011 63 -17 C . . . . . . . . . .0001111011110111011 + 66 -14 C . . . . . . . . . .1111111011110111011 by C/0 * 3 67 -13 D . . . . . . . . . .1111111011110111011 68 -14 E . . . . . . . . . .1111111011110111011 69 -15 A . . . . . . . . . .1110111011110111011 70 -16 C . . . . . . . . . .1100111011110111011 71 -15 D . . . . . . . . . .1100111011110111011 72 -16 D . . . . . . . . . .1110111011110111011 73 -17 E . . . . . . . . . .1110111011110111011 74 -18 A . . . . . . . . . 00110111011110111011 75 -19 B . . . . . . . . .010110111011110111011 76 -20 C . . . . . . . . 0110110111011110111011 77 -19 C . . . . . . . . 1110110111011110111011 78 -18 D . . . . . . . . 1110110111011110111011 79 -19 E . . . . . . . . 1110110111011110111011 80 -20 A . . . . . . . . 1010110111011110111011 81 -21 C . . . . . . . .00010110111011110111011 + 84 -18 C . . . . . . . .11110110111011110111011 by C/0 * 3 85 -17 D . . . . . . . .11110110111011110111011 86 -18 D . . . . . . . .11111110111011110111011 87 -19 E . . . . . . . .11111110111011110111011 88 -20 A . . . . . . . .11011110111011110111011 89 -21 C . . . . . . . .10011110111011110111011 90 -20 D . . . . . . . .10011110111011110111011 91 -21 D . . . . . . . .11011110111011110111011 92 -22 E . . . . . . . 011011110111011110111011 93 -23 A . . . . . . .0111011110111011110111011 94 -24 B . . . . . . 01111011110111011110111011 95 -25 C . . . . . .011111011110111011110111011 96 -24 C . . . . . .111111011110111011110111011 97 -23 D . . . . . .111111011110111011110111011 98 -24 E . . . . . .111111011110111011110111011 99 -25 A . . . . . .101111011110111011110111011 100 -26 C . . . . . 0001111011110111011110111011 + 103 -23 C . . . . . 1111111011110111011110111011 by C/0 * 3 104 -22 D . . . . . 1111111011110111011110111011 105 -23 E . . . . . 1111111011110111011110111011 106 -24 A . . . . . 1110111011110111011110111011 107 -25 C . . . . . 1100111011110111011110111011 108 -24 D . . . . . 1100111011110111011110111011 109 -25 D . . . . . 1110111011110111011110111011 110 -26 E . . . . . 1110111011110111011110111011 111 -27 A . . . . .00110111011110111011110111011 112 -28 B . . . . 010110111011110111011110111011 113 -29 C . . . .0110110111011110111011110111011 114 -28 C . . . .1110110111011110111011110111011 115 -27 D . . . .1110110111011110111011110111011 116 -28 E . . . .1110110111011110111011110111011 117 -29 A . . . .1010110111011110111011110111011 118 -30 C . . . 00010110111011110111011110111011 + 121 -27 C . . . 11110110111011110111011110111011 by C/0 * 3 122 -26 D . . . 11110110111011110111011110111011 123 -27 D . . . 11111110111011110111011110111011 124 -28 E . . . 11111110111011110111011110111011 125 -29 A . . . 11011110111011110111011110111011 126 -30 C . . . 10011110111011110111011110111011 127 -29 D . . . 10011110111011110111011110111011 128 -30 D . . . 11011110111011110111011110111011 129 -31 E . . .011011110111011110111011110111011 130 -32 A . . 0111011110111011110111011110111011 131 -33 B . .01111011110111011110111011110111011 132 -34 C . 011111011110111011110111011110111011 133 -33 C . 111111011110111011110111011110111011 134 -32 D . 111111011110111011110111011110111011 135 -33 E . 111111011110111011110111011110111011 136 -34 A . 101111011110111011110111011110111011 137 -35 C .0001111011110111011110111011110111011 + 140 -32 C .1111111011110111011110111011110111011 by C/0 * 3 141 -31 D .1111111011110111011110111011110111011 142 -32 E .1111111011110111011110111011110111011 143 -33 A .1110111011110111011110111011110111011 144 -34 C .1100111011110111011110111011110111011 145 -33 D .1100111011110111011110111011110111011 146 -34 D .1110111011110111011110111011110111011 After 146 steps (131 lines): state = D. Produced 29 ones. Tape index -34, scanned [-35 .. 1].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 24 | 8 | 16 | 0 | 6 |
B | 8 | 8 | 1 | ||
C | 56 | 32 | 24 | 2 | 3 |
D | 35 | 12 | 23 | 11 | 4 |
E | 23 | 4 | 19 | 18 | 5 |