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 | ||