Comment: This TM produces 102 ones in 4955 steps. 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 | |||||
| 1 | 21 | *= | 1 | stay | 2 | 1 | stay | * |
| 2 | 3> | 2> | 0 | right | 3 | 1 | right | 2 |
| 3 | 4> | 20 | 0 | right | 4 | 0 | stay | 2 |
| 4 | 5> | 5< | 0 | right | 5 | 1 | left | 5 |
| 5 | 41 | 6< | 1 | stay | 4 | 1 | left | 6 |
| 6 | 2> | 7< | 0 | right | 2 | 1 | left | 7 |
| 7 | 11 | 3> | 1 | stay | 1 | 1 | right | 3 |
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 1 . 0
1 0 2 . 1
2 1 2 . 10
3 2 3 . 100
4 3 4 . 1000
5 4 5 . 10000
6 4 4 . 10001
7 3 5 . 10001
8 3 4 . 10011
9 2 5 . 10011
10 2 4 . 10111
11 1 5 . 10111
12 1 4 . 11111
13 0 5 . 11111
14 -1 6 .011111
15 0 2 .011111
16 1 2 .011111
17 2 2 .011111
18 3 2 .011111
19 4 2 .011111
20 5 2 .0111110
21 6 3 .01111100
22 7 4 .011111000
23 8 5 .0111110000
24 8 4 .0111110001
25 7 5 .0111110001
26 7 4 .0111110011
27 6 5 .0111110011
28 6 4 .0111110111
29 5 5 .0111110111
30 5 4 .0111111111
31 4 5 .0111111111
32 3 6 .0111111111
33 2 7 .0111111111
34 3 3 .0111111111
35 3 2 .0111011111
36 4 3 .0111011111
37 4 2 .0111001111
38 5 3 .0111001111
39 5 2 .0111000111
40 6 3 .0111000111
41 6 2 .0111000011
42 7 3 .0111000011
43 7 2 .0111000001
44 8 3 .0111000001
45 8 2 .0111000000
46 9 3 .01110000000
47 10 4 .011100000000
48 11 5 .0111000000000
49 11 4 .0111000000001
50 10 5 .0111000000001
51 10 4 .0111000000011
52 9 5 .0111000000011
53 9 4 .0111000000111
54 8 5 .0111000000111
55 8 4 .0111000001111
56 7 5 .0111000001111
57 7 4 .0111000011111
58 6 5 .0111000011111
59 6 4 .0111000111111
60 5 5 .0111000111111
61 5 4 .0111001111111
62 4 5 .0111001111111
63 4 4 .0111011111111
64 3 5 .0111011111111
65 3 4 .0111111111111
66 2 5 .0111111111111
67 1 6 .0111111111111
68 0 7 .0111111111111
69 1 3 .0111111111111
70 1 2 .0101111111111
71 2 3 .0101111111111
72 2 2 .0100111111111
73 3 3 .0100111111111
74 3 2 .0100011111111
75 4 3 .0100011111111
76 4 2 .0100001111111
77 5 3 .0100001111111
78 5 2 .0100000111111
79 6 3 .0100000111111
80 6 2 .0100000011111
81 7 3 .0100000011111
82 7 2 .0100000001111
83 8 3 .0100000001111
84 8 2 .0100000000111
85 9 3 .0100000000111
86 9 2 .0100000000011
87 10 3 .0100000000011
88 10 2 .0100000000001
89 11 3 .0100000000001
90 11 2 .0100000000000
91 12 3 .01000000000000
92 13 4 .010000000000000
93 14 5 .0100000000000000
94 14 4 .0100000000000001
95 13 5 .0100000000000001
96 13 4 .0100000000000011
97 12 5 .0100000000000011
98 12 4 .0100000000000111
99 11 5 .0100000000000111
100 11 4 .0100000000001111
101 10 5 .0100000000001111
102 10 4 .0100000000011111
103 9 5 .0100000000011111
104 9 4 .0100000000111111
105 8 5 .0100000000111111
106 8 4 .0100000001111111
107 7 5 .0100000001111111
108 7 4 .0100000011111111
109 6 5 .0100000011111111
110 6 4 .0100000111111111
111 5 5 .0100000111111111
112 5 4 .0100001111111111
113 4 5 .0100001111111111
114 4 4 .0100011111111111
115 3 5 .0100011111111111
116 3 4 .0100111111111111
117 2 5 .0100111111111111
118 2 4 .0101111111111111
119 1 5 .0101111111111111
120 1 4 .0111111111111111
121 0 5 .0111111111111111
122 -1 6 .0111111111111111
123 0 2 .0111111111111111
124 1 2 .0111111111111111
125 2 2 .0111111111111111
126 3 2 .0111111111111111
127 4 2 .0111111111111111
128 5 2 .0111111111111111
129 6 2 .0111111111111111
130 7 2 .0111111111111111
131 8 2 .0111111111111111
132 9 2 .0111111111111111
133 10 2 .0111111111111111
134 11 2 .0111111111111111
135 12 2 .0111111111111111
136 13 2 .0111111111111111
137 14 2 .0111111111111111
138 15 2 .01111111111111110
139 16 3 .011111111111111100
140 17 4 .0111111111111111000
141 18 5 .01111111111111110000
142 18 4 .01111111111111110001
143 17 5 .01111111111111110001
144 17 4 .01111111111111110011
145 16 5 .01111111111111110011
146 16 4 .01111111111111110111
147 15 5 .01111111111111110111
148 15 4 .01111111111111111111
149 14 5 .01111111111111111111
150 13 6 .01111111111111111111
151 12 7 .01111111111111111111
152 13 3 .01111111111111111111
153 13 2 .01111111111111011111
154 14 3 .01111111111111011111
155 14 2 .01111111111111001111
156 15 3 .01111111111111001111
157 15 2 .01111111111111000111
158 16 3 .01111111111111000111
159 16 2 .01111111111111000011
160 17 3 .01111111111111000011
161 17 2 .01111111111111000001
162 18 3 .01111111111111000001
163 18 2 .01111111111111000000
164 19 3 .011111111111110000000
165 20 4 .0111111111111100000000
+ 170 19 5 .01111111111111000000011
+ 175 17 4 .01111111111111000011111
+ 180 14 5 .01111111111111001111111
+ 185 11 6 .01111111111111111111111
+ 190 12 2 .01111111111100111111111
+ 195 15 3 .01111111111100001111111
+ 200 17 2 .01111111111100000001111
+ 205 20 3 .01111111111100000000011
+ 210 23 4 .0111111111110000000000000
+ 215 22 5 .01111111111100000000000011
+ 220 20 4 .01111111111100000000011111
+ 225 17 5 .01111111111100000001111111
+ 230 15 4 .01111111111100001111111111
+ 235 12 5 .01111111111100111111111111
+ 240 9 6 .01111111111111111111111111
+ 245 10 2 .01111111110011111111111111
+ 250 13 3 .01111111110000111111111111
+ 300 15 5 .01111111110000000111111111111
+ 350 23 2 .01111111000000000000000001111
+ 400 11 4 .01111111000011111111111111111111
+ 450 24 3 .01111100000000000000000001111111
+ 500 16 5 .01111100000000000011111111111111111
+ 550 14 2 .01110000000000001111111111111111111
+ 600 32 4 .01110000000000000000000000000000011111
+ 650 7 4 .01110000111111111111111111111111111111
+ 700 20 3 .01000000000000000000011111111111111111
+ 750 32 5 .01000000000000000000000000000000001111111
+ 800 7 5 .01000000011111111111111111111111111111111
801 7 4 .01000000111111111111111111111111111111111
802 6 5 .01000000111111111111111111111111111111111
803 6 4 .01000001111111111111111111111111111111111
804 5 5 .01000001111111111111111111111111111111111
805 5 4 .01000011111111111111111111111111111111111
806 4 5 .01000011111111111111111111111111111111111
807 4 4 .01000111111111111111111111111111111111111
808 3 5 .01000111111111111111111111111111111111111
809 3 4 .01001111111111111111111111111111111111111
810 2 5 .01001111111111111111111111111111111111111
811 2 4 .01011111111111111111111111111111111111111
812 1 5 .01011111111111111111111111111111111111111
813 1 4 .01111111111111111111111111111111111111111
814 0 5 .01111111111111111111111111111111111111111
815 -1 6 .01111111111111111111111111111111111111111
816 0 2 .01111111111111111111111111111111111111111
+ 916 41 2 .011111111111111111111111111111111111100000011111
+ 1016 41 5 .011111111111111111111111111111111110000000011111111111
+ 1116 37 4 .011111111111111111111111111111111000001111111111111111111
+ 1216 42 5 .011111111111111111111111111111100000000000001111111111111111
+ 1316 58 4 .011111111111111111111111111110000000000000000000000000000001111
+ 1416 44 3 .011111111111111111111111111000000000000000000111111111111111111
+ 1516 33 5 .011111111111111111111111111000000001111111111111111111111111111111
+ 1616 64 2 .011111111111111111111111100000000000000000000000000000000000000000
+ 1716 25 3 .011111111111111111111110001111111111111111111111111111111111111111111
+ 1816 64 5 .011111111111111111111110000000000000000000000000000000000000000000111111
+ 1916 25 2 .011111111111111111111000000111111111111111111111111111111111111111111111
+ 2016 70 4 .011111111111111111111000000000000000000000000000000000000000000000000001111
+ 2116 20 4 .011111111111111111111111111111111111111111111111111111111111111111111111111
+ 2216 66 3 .011111111111111111100000000000000000000000000000000000000000000000011111111
+ 2316 35 5 .011111111111111111100000000000000000011111111111111111111111111111111111111111
+ 2416 46 2 .011111111111111110000000000000000000000000000000111111111111111111111111111111
+ 2516 61 4 .011111111111111110000000000000000000000000000000000000000000001111111111111111111
+ 2616 17 3 .011111111111111000111111111111111111111111111111111111111111111111111111111111111
+ 2716 67 3 .011111111111111000000000000000000000000000000000000000000000000000001111111111111
+ 2816 46 5 .011111111111111000000000000000000000000000000000111111111111111111111111111111111111
+ 2916 27 2 .011111111111100000000000000001111111111111111111111111111111111111111111111111111111
+ 3016 77 2 .011111111111100000000000000000000000000000000000000000000000000000000000000000011111
+ 3116 42 4 .011111111111100000000000000000000000000000011111111111111111111111111111111111111111111
+ 3216 28 3 .011111111110000000000000000001111111111111111111111111111111111111111111111111111111111
+ 3316 78 3 .011111111110000000000000000000000000000000000000000000000000000000000000000000011111111
+ 3416 47 5 .011111111110000000000000000000000000000000000000011111111111111111111111111111111111111111
+ 3516 18 2 .011111111000000000001111111111111111111111111111111111111111111111111111111111111111111111
+ 3616 68 2 .011111111000000000000000000000000000000000000000000000000000000000000011111111111111111111
+ 3716 63 4 .011111111000000000000000000000000000000000000000000000000000000011111111111111111111111111111
+ 3816 13 4 .011111111000001111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 3916 49 3 .011111100000000000000000000000000000000000000000001111111111111111111111111111111111111111111
+ 4016 88 5 .011111100000000000000000000000000000000000000000000000000000000000000000000000000000000000111111
+ 4116 38 5 .011111100000000000000000000000000000000011111111111111111111111111111111111111111111111111111111
+ 4216 19 2 .011110000000000000000111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4316 69 2 .011110000000000000000000000000000000000000000000000000000000000000000001111111111111111111111111
+ 4416 74 4 .011110000000000000000000000000000000000000000000000000000000000000000000000111111111111111111111111
+ 4516 24 4 .011110000000000000000000011111111111111111111111111111111111111111111111111111111111111111111111111
+ 4616 30 3 .011000000000000000000000000000011111111111111111111111111111111111111111111111111111111111111111111
+ 4716 80 3 .011000000000000000000000000000000000000000000000000000000000000000000000000000000111111111111111111
+ 4816 69 5 .011000000000000000000000000000000000000000000000000000000000000000000001111111111111111111111111111111
+ 4916 19 5 .011000000000000000000111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4946 4 5 .011000111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4947 4 4 .011001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4948 3 5 .011001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4949 3 4 .011011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4950 2 5 .011011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4951 2 4 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4952 1 5 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4953 0 6 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4954 -1 7 .011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
4955 -1 1 .111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
After 4955 steps (261 lines): state = 1.
Produced 102 ones.
Tape index -1, scanned [-1 .. 100].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| 1 | 1 | 1 | 0 | ||
| 2 | 1198 | 1137 | 61 | 2 | 1 |
| 3 | 1165 | 32 | 1133 | 3 | 34 |
| 4 | 1265 | 32 | 1233 | 4 | 6 |
| 5 | 1265 | 1233 | 32 | 5 | 13 |
| 6 | 32 | 3 | 29 | 14 | 32 |
| 7 | 29 | 1 | 28 | 4954 | 33 |