Comment: simple counter
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1R | 1 | left | B | 1 | right | A |
| B | A0R | C0L | 0 | right | A | 0 | left | C |
| C | A0R | D1L | 0 | right | A | 1 | left | D |
| D | E0L | B1R | 0 | left | E | 1 | right | B |
| E | B0R | H1L | 0 | right | B | 1 | left | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-bck-macro machine.
Simulation is done as 2-bck-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)(00)A>
1 10 2 (00)(11)A>
2 58 4 (11)(11)A>
3 67 -1 <D(10)(00) 10
4 126 4 (11)(11)A> 10
5 139 -1 <D(10)(00) 01
6 198 4 (11)(11)A> 01
7 207 -1 <D(10)(00) 11
8 266 4 (11)(11)A> 11
9 268 6 11 (11)(11)A>
10 277 1 11 <D(10)(00) 10
11 283 -1 <D(10)(00) 00 10
12 342 4 (11)(11)A> 00 10
13 351 -1 <D(10)(00) 102
14 410 4 (11)(11)A> 102
15 423 -1 <D(10)(00) 01 10
16 482 4 (11)(11)A> 01 10
17 491 -1 <D(10)(00) 11 10
18 550 4 (11)(11)A> 11 10
19 552 6 11 (11)(11)A> 10
20 565 1 11 <D(10)(00) 01
21 571 -1 <D(10)(00) 00 01
22 630 4 (11)(11)A> 00 01
23 639 -1 <D(10)(00) 10 01
24 698 4 (11)(11)A> 10 01
25 711 -1 <D(10)(00) 012
26 770 4 (11)(11)A> 012
27 779 -1 <D(10)(00) 11 01
28 838 4 (11)(11)A> 11 01
29 840 6 11 (11)(11)A> 01
30 849 1 11 <D(10)(00) 11
31 855 -1 <D(10)(00) 00 11
32 914 4 (11)(11)A> 00 11
33 923 -1 <D(10)(00) 10 11
34 982 4 (11)(11)A> 10 11
35 995 -1 <D(10)(00) 01 11
36 1054 4 (11)(11)A> 01 11
37 1063 -1 <D(10)(00) 112
38 1122 4 (11)(11)A> 112
39 1126 8 112 (11)(11)A>
40 1135 3 112 <D(10)(00) 10
41 1147 -1 <D(10)(00) 002 10
42 1206 4 (11)(11)A> 002 10
43 1215 -1 <D(10)(00) 10 00 10
44 1274 4 (11)(11)A> 10 00 10
45 1287 -1 <D(10)(00) 01 00 10
46 1346 4 (11)(11)A> 01 00 10
47 1355 -1 <D(10)(00) 11 00 10
48 1414 4 (11)(11)A> 11 00 10
49 1416 6 11 (11)(11)A> 00 10
50 1425 1 11 <D(10)(00) 102
51 1431 -1 <D(10)(00) 00 102
52 1490 4 (11)(11)A> 00 102
53 1499 -1 <D(10)(00) 103
54 1558 4 (11)(11)A> 103
55 1571 -1 <D(10)(00) 01 102
56 1630 4 (11)(11)A> 01 102
57 1639 -1 <D(10)(00) 11 102
58 1698 4 (11)(11)A> 11 102
59 1700 6 11 (11)(11)A> 102
60 1713 1 11 <D(10)(00) 01 10
61 1719 -1 <D(10)(00) 00 01 10
62 1778 4 (11)(11)A> 00 01 10
63 1787 -1 <D(10)(00) 10 01 10
64 1846 4 (11)(11)A> 10 01 10
65 1859 -1 <D(10)(00) 012 10
66 1918 4 (11)(11)A> 012 10
67 1927 -1 <D(10)(00) 11 01 10
68 1986 4 (11)(11)A> 11 01 10
69 1988 6 11 (11)(11)A> 01 10
70 1997 1 11 <D(10)(00) 11 10
71 2003 -1 <D(10)(00) 00 11 10
72 2062 4 (11)(11)A> 00 11 10
73 2071 -1 <D(10)(00) 10 11 10
74 2130 4 (11)(11)A> 10 11 10
75 2143 -1 <D(10)(00) 01 11 10
76 2202 4 (11)(11)A> 01 11 10
77 2211 -1 <D(10)(00) 112 10
78 2270 4 (11)(11)A> 112 10
79 2274 8 112 (11)(11)A> 10
80 2287 3 112 <D(10)(00) 01
81 2299 -1 <D(10)(00) 002 01
82 2358 4 (11)(11)A> 002 01
83 2367 -1 <D(10)(00) 10 00 01
84 2426 4 (11)(11)A> 10 00 01
85 2439 -1 <D(10)(00) 01 00 01
86 2498 4 (11)(11)A> 01 00 01
87 2507 -1 <D(10)(00) 11 00 01
88 2566 4 (11)(11)A> 11 00 01
89 2568 6 11 (11)(11)A> 00 01
90 2577 1 11 <D(10)(00) 10 01
91 2583 -1 <D(10)(00) 00 10 01
92 2642 4 (11)(11)A> 00 10 01
93 2651 -1 <D(10)(00) 102 01
94 2710 4 (11)(11)A> 102 01
95 2723 -1 <D(10)(00) 01 10 01
96 2782 4 (11)(11)A> 01 10 01
97 2791 -1 <D(10)(00) 11 10 01
98 2850 4 (11)(11)A> 11 10 01
99 2852 6 11 (11)(11)A> 10 01
100 2865 1 11 <D(10)(00) 012
101 2871 -1 <D(10)(00) 00 012
102 2930 4 (11)(11)A> 00 012
103 2939 -1 <D(10)(00) 10 012
104 2998 4 (11)(11)A> 10 012
105 3011 -1 <D(10)(00) 013
106 3070 4 (11)(11)A> 013
107 3079 -1 <D(10)(00) 11 012
108 3138 4 (11)(11)A> 11 012
109 3140 6 11 (11)(11)A> 012
110 3149 1 11 <D(10)(00) 11 01
111 3155 -1 <D(10)(00) 00 11 01
112 3214 4 (11)(11)A> 00 11 01
113 3223 -1 <D(10)(00) 10 11 01
114 3282 4 (11)(11)A> 10 11 01
115 3295 -1 <D(10)(00) 01 11 01
116 3354 4 (11)(11)A> 01 11 01
117 3363 -1 <D(10)(00) 112 01
118 3422 4 (11)(11)A> 112 01
119 3426 8 112 (11)(11)A> 01
120 3435 3 112 <D(10)(00) 11
121 3447 -1 <D(10)(00) 002 11
122 3506 4 (11)(11)A> 002 11
123 3515 -1 <D(10)(00) 10 00 11
124 3574 4 (11)(11)A> 10 00 11
125 3587 -1 <D(10)(00) 01 00 11
126 3646 4 (11)(11)A> 01 00 11
127 3655 -1 <D(10)(00) 11 00 11
128 3714 4 (11)(11)A> 11 00 11
129 3716 6 11 (11)(11)A> 00 11
130 3725 1 11 <D(10)(00) 10 11
131 3731 -1 <D(10)(00) 00 10 11
132 3790 4 (11)(11)A> 00 10 11
133 3799 -1 <D(10)(00) 102 11
134 3858 4 (11)(11)A> 102 11
135 3871 -1 <D(10)(00) 01 10 11
136 3930 4 (11)(11)A> 01 10 11
137 3939 -1 <D(10)(00) 11 10 11
138 3998 4 (11)(11)A> 11 10 11
139 4000 6 11 (11)(11)A> 10 11
140 4013 1 11 <D(10)(00) 01 11
141 4019 -1 <D(10)(00) 00 01 11
142 4078 4 (11)(11)A> 00 01 11
143 4087 -1 <D(10)(00) 10 01 11
144 4146 4 (11)(11)A> 10 01 11
145 4159 -1 <D(10)(00) 012 11
146 4218 4 (11)(11)A> 012 11
147 4227 -1 <D(10)(00) 11 01 11
148 4286 4 (11)(11)A> 11 01 11
149 4288 6 11 (11)(11)A> 01 11
150 4297 1 11 <D(10)(00) 112
151 4303 -1 <D(10)(00) 00 112
152 4362 4 (11)(11)A> 00 112
153 4371 -1 <D(10)(00) 10 112
154 4430 4 (11)(11)A> 10 112
155 4443 -1 <D(10)(00) 01 112
156 4502 4 (11)(11)A> 01 112
157 4511 -1 <D(10)(00) 113
158 4570 4 (11)(11)A> 113
159 4576 10 113 (11)(11)A>
160 4585 5 113 <D(10)(00) 10
161 4603 -1 <D(10)(00) 003 10
162 4662 4 (11)(11)A> 003 10
163 4671 -1 <D(10)(00) 10 002 10
164 4730 4 (11)(11)A> 10 002 10
165 4743 -1 <D(10)(00) 01 002 10
166 4802 4 (11)(11)A> 01 002 10
167 4811 -1 <D(10)(00) 11 002 10
168 4870 4 (11)(11)A> 11 002 10
169 4872 6 11 (11)(11)A> 002 10
170 4881 1 11 <D(10)(00) 10 00 10
171 4887 -1 <D(10)(00) 00 10 00 10
172 4946 4 (11)(11)A> 00 10 00 10
173 4955 -1 <D(10)(00) 102 00 10
174 5014 4 (11)(11)A> 102 00 10
175 5027 -1 <D(10)(00) 01 10 00 10
176 5086 4 (11)(11)A> 01 10 00 10
177 5095 -1 <D(10)(00) 11 10 00 10
178 5154 4 (11)(11)A> 11 10 00 10
179 5156 6 11 (11)(11)A> 10 00 10
180 5169 1 11 <D(10)(00) 01 00 10
181 5175 -1 <D(10)(00) 00 01 00 10
182 5234 4 (11)(11)A> 00 01 00 10
183 5243 -1 <D(10)(00) 10 01 00 10
184 5302 4 (11)(11)A> 10 01 00 10
185 5315 -1 <D(10)(00) 012 00 10
186 5374 4 (11)(11)A> 012 00 10
187 5383 -1 <D(10)(00) 11 01 00 10
188 5442 4 (11)(11)A> 11 01 00 10
189 5444 6 11 (11)(11)A> 01 00 10
190 5453 1 11 <D(10)(00) 11 00 10
191 5459 -1 <D(10)(00) 00 11 00 10
192 5518 4 (11)(11)A> 00 11 00 10
193 5527 -1 <D(10)(00) 10 11 00 10
194 5586 4 (11)(11)A> 10 11 00 10
195 5599 -1 <D(10)(00) 01 11 00 10
196 5658 4 (11)(11)A> 01 11 00 10
197 5667 -1 <D(10)(00) 112 00 10
198 5726 4 (11)(11)A> 112 00 10
199 5730 8 112 (11)(11)A> 00 10
200 5739 3 112 <D(10)(00) 102
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 5739
Tape index: 3
ones: 7
log10(ones ): 0.845
log10(steps ): 3.759
Input to awk program:
gohalt 1
C simple counter
5T B1L A1R A0R C0L A0R D1L E0L B1R B0R H1L
T TM #5 from MaBu90-Paper
M 201
pref sim
machv mbP_5 just simple
machv mbP_5-r with repetitions reduced
machv mbP_5-1 with tape symbol exponents
machv mbP_5-m as 2-bck-bck-macro machine
machv mbP_5-a as 2-bck-bck-macro machine with pure additive config-TRs
iam mbP_5-a
mtype 2 0 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:08 CEST 2010
edate Tue Jul 6 22:10:09 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:10:08 CEST 2010