Comment: This TM produces 90 nonzeros in 7195 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 3LA | 1LA | 1RA | 1 | right | B | 3 | left | A | 1 | left | A | 1 | right | A |
| B | 2LA | 1RH | 3RA | 3RB | 2 | left | A | 1 | right | H | 3 | right | A | 3 | right | B |
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 . . .032
4 0 B . . .132
5 1 B . . .132
6 2 A . . .1330
7 3 B . . .13310
8 2 A . . .13312
9 1 A . . .13332
10 2 A . . .13132
11 3 A . . .13112
12 2 A . . .13111
13 1 A . . .13131
14 0 A . . .13331
15 1 A . . .11331
16 2 A . . .11131
17 3 A . . .11111
18 2 A . . .11113
19 1 A . . .11133
20 0 A . . .11333
21 -1 A . . .13333
22 -2 A . . 033333
23 -1 B . . 133333
24 0 B . . 133333
25 1 B . . 133333
26 2 B . . 133333
27 3 B . . 133333
28 4 B . . 1333330
29 3 A . . 1333332
30 4 A . . 1333312
31 3 A . . 1333311
32 2 A . . 1333331
33 3 A . . 1333131
34 4 A . . 1333111
35 3 A . . 1333113
36 2 A . . 1333133
37 1 A . . 1333333
38 2 A . . 1331333
39 3 A . . 1331133
40 4 A . . 1331113
41 5 A . . 13311110
42 6 B . . 133111110
43 5 A . . 133111112
44 4 A . . 133111132
45 3 A . . 133111332
46 2 A . . 133113332
47 1 A . . 133133332
48 0 A . . 133333332
49 1 A . . 131333332
50 2 A . . 131133332
51 3 A . . 131113332
52 4 A . . 131111332
53 5 A . . 131111132
54 6 A . . 131111112
55 5 A . . 131111111
56 4 A . . 131111131
57 3 A . . 131111331
58 2 A . . 131113331
59 1 A . . 131133331
60 0 A . . 131333331
61 -1 A . . 133333331
62 0 A . . 113333331
63 1 A . . 111333331
64 2 A . . 111133331
65 3 A . . 111113331
66 4 A . . 111111331
67 5 A . . 111111131
68 6 A . . 111111111
69 5 A . . 111111113
70 4 A . . 111111133
71 3 A . . 111111333
72 2 A . . 111113333
73 1 A . . 111133333
74 0 A . . 111333333
75 -1 A . . 113333333
76 -2 A . . 133333333
77 -3 A . .0333333333
78 -2 B . .1333333333
79 -1 B . .1333333333
80 0 B . .1333333333
81 1 B . .1333333333
82 2 B . .1333333333
83 3 B . .1333333333
84 4 B . .1333333333
85 5 B . .1333333333
86 6 B . .1333333333
87 7 B . .13333333330
88 6 A . .13333333332
89 7 A . .13333333312
90 6 A . .13333333311
91 5 A . .13333333331
92 6 A . .13333333131
93 7 A . .13333333111
94 6 A . .13333333113
95 5 A . .13333333133
96 4 A . .13333333333
97 5 A . .13333331333
98 6 A . .13333331133
99 7 A . .13333331113
100 8 A . .133333311110
101 9 B . .1333333111110
102 8 A . .1333333111112
103 7 A . .1333333111132
104 6 A . .1333333111332
105 5 A . .1333333113332
106 4 A . .1333333133332
107 3 A . .1333333333332
108 4 A . .1333331333332
109 5 A . .1333331133332
110 6 A . .1333331113332
111 7 A . .1333331111332
112 8 A . .1333331111132
113 9 A . .1333331111112
114 8 A . .1333331111111
115 7 A . .1333331111131
116 6 A . .1333331111331
117 5 A . .1333331113331
118 4 A . .1333331133331
119 3 A . .1333331333331
120 2 A . .1333333333331
121 3 A . .1333313333331
122 4 A . .1333311333331
123 5 A . .1333311133331
124 6 A . .1333311113331
125 7 A . .1333311111331
126 8 A . .1333311111131
127 9 A . .1333311111111
128 8 A . .1333311111113
129 7 A . .1333311111133
130 6 A . .1333311111333
131 5 A . .1333311113333
132 4 A . .1333311133333
133 3 A . .1333311333333
134 2 A . .1333313333333
135 1 A . .1333333333333
136 2 A . .1333133333333
137 3 A . .1333113333333
138 4 A . .1333111333333
139 5 A . .1333111133333
140 6 A . .1333111113333
141 7 A . .1333111111333
142 8 A . .1333111111133
143 9 A . .1333111111113
144 10 A . .13331111111110
145 11 B . .133311111111110
146 10 A . .133311111111112
147 9 A . .133311111111132
148 8 A . .133311111111332
149 7 A . .133311111113332
150 6 A . .133311111133332
151 5 A . .133311111333332
152 4 A . .133311113333332
153 3 A . .133311133333332
154 2 A . .133311333333332
155 1 A . .133313333333332
156 0 A . .133333333333332
157 1 A . .133133333333332
158 2 A . .133113333333332
159 3 A . .133111333333332
160 4 A . .133111133333332
161 5 A . .133111113333332
162 6 A . .133111111333332
163 7 A . .133111111133332
164 8 A . .133111111113332
165 9 A . .133111111111332
166 10 A . .133111111111132
167 11 A . .133111111111112
168 10 A . .133111111111111
169 9 A . .133111111111131
170 8 A . .133111111111331
171 7 A . .133111111113331
172 6 A . .133111111133331
173 5 A . .133111111333331
174 4 A . .133111113333331
175 3 A . .133111133333331
176 2 A . .133111333333331
177 1 A . .133113333333331
178 0 A . .133133333333331
179 -1 A . .133333333333331
180 0 A . .131333333333331
181 1 A . .131133333333331
182 2 A . .131113333333331
183 3 A . .131111333333331
184 4 A . .131111133333331
185 5 A . .131111113333331
186 6 A . .131111111333331
187 7 A . .131111111133331
188 8 A . .131111111113331
189 9 A . .131111111111331
190 10 A . .131111111111131
191 11 A . .131111111111111
192 10 A . .131111111111113
193 9 A . .131111111111133
194 8 A . .131111111111333
195 7 A . .131111111113333
196 6 A . .131111111133333
197 5 A . .131111111333333
198 4 A . .131111113333333
199 3 A . .131111133333333
200 2 A . .131111333333333
After 200 steps (201 lines): state = A.
Produced 15 nonzeros.
Tape index 2, scanned [-3 .. 11].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 177 | 8 | 86 | 6 | 77 | 0 | 2 | 11 | 9 |
| B | 23 | 7 | 1 | 15 | 1 | 5 | 4 | ||