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 |
Simulation is done just simple.
The same TM 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
8 -2 C . . . . . . . . . . . . . . . . .1001
9 -1 C . . . . . . . . . . . . . . . . .1101
10 0 C . . . . . . . . . . . . . . . . .1111
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
27 -7 C . . . . . . . . . . . . . . 1001111011
28 -6 C . . . . . . . . . . . . . . 1101111011
29 -5 C . . . . . . . . . . . . . . 1111111011
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
45 -11 C . . . . . . . . . . . . 10010110111011
46 -10 C . . . . . . . . . . . . 11010110111011
47 -9 C . . . . . . . . . . . . 11110110111011
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
64 -16 C . . . . . . . . . .1001111011110111011
65 -15 C . . . . . . . . . .1101111011110111011
66 -14 C . . . . . . . . . .1111111011110111011
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
82 -20 C . . . . . . . .10010110111011110111011
83 -19 C . . . . . . . .11010110111011110111011
84 -18 C . . . . . . . .11110110111011110111011
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
101 -25 C . . . . . 1001111011110111011110111011
102 -24 C . . . . . 1101111011110111011110111011
103 -23 C . . . . . 1111111011110111011110111011
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
119 -29 C . . . 10010110111011110111011110111011
120 -28 C . . . 11010110111011110111011110111011
121 -27 C . . . 11110110111011110111011110111011
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
After 130 steps (131 lines): state = A.
Produced 26 ones.
Tape index -32, scanned [-31 .. 1].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 21 | 7 | 14 | 0 | 6 |
| B | 7 | 7 | 1 | ||
| C | 49 | 28 | 21 | 2 | 3 |
| D | 32 | 11 | 21 | 11 | 4 |
| E | 21 | 4 | 17 | 18 | 5 |