Comment: complex 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 | C0R | D1L | 0 | right | C | 1 | left | D |
| D | E1L | A0R | 1 | left | E | 0 | right | A |
| E | B0L | H1L | 0 | left | B | 1 | left | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 3-bck-bck-macro machine.
The same TM as 3-bck-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Pushing BCK machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000)(000)A>
1 35 3 (001)(111)A>
2 78 -4 <B(011)(001) 110
3 131 3 (111)(111)A> 110
4 158 -4 <D(100)(110) 111
5 281 3 011 (111)(111)A> 111
6 284 6 011 111 (111)(111)A>
7 307 -1 011 111 <B(011)(011) 100
8 318 -4 011 <B(011)(011) 011 100
9 321 -7 <E(110)(011) 0112 100
10 376 0 001 (111)(111)A> 0112 100
11 399 -7 001 <B(011)(011) 111 011 100
12 442 0 001 (111)(111)A> 111 011 100
13 445 3 001 111 (111)(111)A> 011 100
14 468 -4 001 111 <B(011)(011) 111 100
15 479 -7 001 <B(011)(011) 011 111 100
16 522 0 001 (111)(111)A> 011 111 100
17 545 -7 001 <B(011)(011) 1112 100
18 588 0 001 (111)(111)A> 1112 100
19 594 6 001 1112 (111)(111)A> 100
20 619 -1 001 1112 <C(001)(101) 110
21 641 -7 001 <C(001)(101) 1012 110
22 644 -10 <B(011)(001) 1013 110
23 697 -3 (111)(111)A> 1013 110
24 722 -10 <C(001)(101) 111 1012 110
25 763 -3 (111)(111)A> 111 1012 110
26 766 0 111 (111)(111)A> 1012 110
27 791 -7 111 <C(001)(101) 111 101 110
28 802 -10 <C(001)(101) 101 111 101 110
29 843 -3 (111)(111)A> 101 111 101 110
30 868 -10 <C(001)(101) 1112 101 110
31 909 -3 (111)(111)A> 1112 101 110
32 915 3 1112 (111)(111)A> 101 110
33 940 -4 1112 <C(001)(101) 111 110
34 962 -10 <C(001)(101) 1012 111 110
35 1003 -3 (111)(111)A> 1012 111 110
36 1028 -10 <C(001)(101) 111 101 111 110
37 1069 -3 (111)(111)A> 111 101 111 110
38 1072 0 111 (111)(111)A> 101 111 110
39 1097 -7 111 <C(001)(101) 1112 110
40 1108 -10 <C(001)(101) 101 1112 110
41 1149 -3 (111)(111)A> 101 1112 110
42 1174 -10 <C(001)(101) 1113 110
43 1215 -3 (111)(111)A> 1113 110
44 1224 6 1113 (111)(111)A> 110
45 1251 -1 1113 <D(100)(110) 111
46 1284 -10 <D(100)(110) 1103 111
47 1407 -3 011 (111)(111)A> 1103 111
48 1434 -10 011 <D(100)(110) 111 1102 111
49 1553 -3 011 (111)(111)A> 111 1102 111
50 1556 0 011 111 (111)(111)A> 1102 111
51 1583 -7 011 111 <D(100)(110) 111 110 111
52 1594 -10 011 <D(100)(110) 110 111 110 111
53 1713 -3 011 (111)(111)A> 110 111 110 111
54 1740 -10 011 <D(100)(110) 1112 110 111
55 1859 -3 011 (111)(111)A> 1112 110 111
56 1865 3 011 1112 (111)(111)A> 110 111
57 1892 -4 011 1112 <D(100)(110) 1112
58 1914 -10 011 <D(100)(110) 1102 1112
59 2033 -3 011 (111)(111)A> 1102 1112
60 2060 -10 011 <D(100)(110) 111 110 1112
61 2179 -3 011 (111)(111)A> 111 110 1112
62 2182 0 011 111 (111)(111)A> 110 1112
63 2209 -7 011 111 <D(100)(110) 1113
64 2220 -10 011 <D(100)(110) 110 1113
65 2339 -3 011 (111)(111)A> 110 1113
66 2366 -10 011 <D(100)(110) 1114
67 2485 -3 011 (111)(111)A> 1114
68 2497 9 011 1114 (111)(111)A>
69 2520 2 011 1114 <B(011)(011) 100
70 2564 -10 011 <B(011)(011) 0114 100
71 2567 -13 <E(110)(011) 0115 100
72 2622 -6 001 (111)(111)A> 0115 100
73 2645 -13 001 <B(011)(011) 111 0114 100
74 2688 -6 001 (111)(111)A> 111 0114 100
75 2691 -3 001 111 (111)(111)A> 0114 100
76 2714 -10 001 111 <B(011)(011) 111 0113 100
77 2725 -13 001 <B(011)(011) 011 111 0113 100
78 2768 -6 001 (111)(111)A> 011 111 0113 100
79 2791 -13 001 <B(011)(011) 1112 0113 100
80 2834 -6 001 (111)(111)A> 1112 0113 100
81 2840 0 001 1112 (111)(111)A> 0113 100
82 2863 -7 001 1112 <B(011)(011) 111 0112 100
83 2885 -13 001 <B(011)(011) 0112 111 0112 100
84 2928 -6 001 (111)(111)A> 0112 111 0112 100
85 2951 -13 001 <B(011)(011) 111 011 111 0112 100
86 2994 -6 001 (111)(111)A> 111 011 111 0112 100
87 2997 -3 001 111 (111)(111)A> 011 111 0112 100
88 3020 -10 001 111 <B(011)(011) 1112 0112 100
89 3031 -13 001 <B(011)(011) 011 1112 0112 100
90 3074 -6 001 (111)(111)A> 011 1112 0112 100
91 3097 -13 001 <B(011)(011) 1113 0112 100
92 3140 -6 001 (111)(111)A> 1113 0112 100
93 3149 3 001 1113 (111)(111)A> 0112 100
94 3172 -4 001 1113 <B(011)(011) 111 011 100
95 3205 -13 001 <B(011)(011) 0113 111 011 100
96 3248 -6 001 (111)(111)A> 0113 111 011 100
97 3271 -13 001 <B(011)(011) 111 0112 111 011 100
98 3314 -6 001 (111)(111)A> 111 0112 111 011 100
99 3317 -3 001 111 (111)(111)A> 0112 111 011 100
100 3340 -10 001 111 <B(011)(011) 111 011 111 011 100
101 3351 -13 001 <B(011)(011) 011 111 011 111 011 100
102 3394 -6 001 (111)(111)A> 011 111 011 111 011 100
103 3417 -13 001 <B(011)(011) 1112 011 111 011 100
104 3460 -6 001 (111)(111)A> 1112 011 111 011 100
105 3466 0 001 1112 (111)(111)A> 011 111 011 100
106 3489 -7 001 1112 <B(011)(011) 1112 011 100
107 3511 -13 001 <B(011)(011) 0112 1112 011 100
108 3554 -6 001 (111)(111)A> 0112 1112 011 100
109 3577 -13 001 <B(011)(011) 111 011 1112 011 100
110 3620 -6 001 (111)(111)A> 111 011 1112 011 100
111 3623 -3 001 111 (111)(111)A> 011 1112 011 100
112 3646 -10 001 111 <B(011)(011) 1113 011 100
113 3657 -13 001 <B(011)(011) 011 1113 011 100
114 3700 -6 001 (111)(111)A> 011 1113 011 100
115 3723 -13 001 <B(011)(011) 1114 011 100
116 3766 -6 001 (111)(111)A> 1114 011 100
117 3778 6 001 1114 (111)(111)A> 011 100
118 3801 -1 001 1114 <B(011)(011) 111 100
119 3845 -13 001 <B(011)(011) 0114 111 100
120 3888 -6 001 (111)(111)A> 0114 111 100
121 3911 -13 001 <B(011)(011) 111 0113 111 100
122 3954 -6 001 (111)(111)A> 111 0113 111 100
123 3957 -3 001 111 (111)(111)A> 0113 111 100
124 3980 -10 001 111 <B(011)(011) 111 0112 111 100
125 3991 -13 001 <B(011)(011) 011 111 0112 111 100
126 4034 -6 001 (111)(111)A> 011 111 0112 111 100
127 4057 -13 001 <B(011)(011) 1112 0112 111 100
128 4100 -6 001 (111)(111)A> 1112 0112 111 100
129 4106 0 001 1112 (111)(111)A> 0112 111 100
130 4129 -7 001 1112 <B(011)(011) 111 011 111 100
131 4151 -13 001 <B(011)(011) 0112 111 011 111 100
132 4194 -6 001 (111)(111)A> 0112 111 011 111 100
133 4217 -13 001 <B(011)(011) 111 011 111 011 111 100
134 4260 -6 001 (111)(111)A> 111 011 111 011 111 100
135 4263 -3 001 111 (111)(111)A> 011 111 011 111 100
136 4286 -10 001 111 <B(011)(011) 1112 011 111 100
137 4297 -13 001 <B(011)(011) 011 1112 011 111 100
138 4340 -6 001 (111)(111)A> 011 1112 011 111 100
139 4363 -13 001 <B(011)(011) 1113 011 111 100
140 4406 -6 001 (111)(111)A> 1113 011 111 100
141 4415 3 001 1113 (111)(111)A> 011 111 100
142 4438 -4 001 1113 <B(011)(011) 1112 100
143 4471 -13 001 <B(011)(011) 0113 1112 100
144 4514 -6 001 (111)(111)A> 0113 1112 100
145 4537 -13 001 <B(011)(011) 111 0112 1112 100
146 4580 -6 001 (111)(111)A> 111 0112 1112 100
147 4583 -3 001 111 (111)(111)A> 0112 1112 100
148 4606 -10 001 111 <B(011)(011) 111 011 1112 100
149 4617 -13 001 <B(011)(011) 011 111 011 1112 100
150 4660 -6 001 (111)(111)A> 011 111 011 1112 100
151 4683 -13 001 <B(011)(011) 1112 011 1112 100
152 4726 -6 001 (111)(111)A> 1112 011 1112 100
153 4732 0 001 1112 (111)(111)A> 011 1112 100
154 4755 -7 001 1112 <B(011)(011) 1113 100
155 4777 -13 001 <B(011)(011) 0112 1113 100
156 4820 -6 001 (111)(111)A> 0112 1113 100
157 4843 -13 001 <B(011)(011) 111 011 1113 100
158 4886 -6 001 (111)(111)A> 111 011 1113 100
159 4889 -3 001 111 (111)(111)A> 011 1113 100
160 4912 -10 001 111 <B(011)(011) 1114 100
161 4923 -13 001 <B(011)(011) 011 1114 100
162 4966 -6 001 (111)(111)A> 011 1114 100
163 4989 -13 001 <B(011)(011) 1115 100
164 5032 -6 001 (111)(111)A> 1115 100
165 5047 9 001 1115 (111)(111)A> 100
166 5072 2 001 1115 <C(001)(101) 110
167 5127 -13 001 <C(001)(101) 1015 110
168 5130 -16 <B(011)(001) 1016 110
169 5183 -9 (111)(111)A> 1016 110
170 5208 -16 <C(001)(101) 111 1015 110
171 5249 -9 (111)(111)A> 111 1015 110
172 5252 -6 111 (111)(111)A> 1015 110
173 5277 -13 111 <C(001)(101) 111 1014 110
174 5288 -16 <C(001)(101) 101 111 1014 110
175 5329 -9 (111)(111)A> 101 111 1014 110
176 5354 -16 <C(001)(101) 1112 1014 110
177 5395 -9 (111)(111)A> 1112 1014 110
178 5401 -3 1112 (111)(111)A> 1014 110
179 5426 -10 1112 <C(001)(101) 111 1013 110
180 5448 -16 <C(001)(101) 1012 111 1013 110
181 5489 -9 (111)(111)A> 1012 111 1013 110
182 5514 -16 <C(001)(101) 111 101 111 1013 110
183 5555 -9 (111)(111)A> 111 101 111 1013 110
184 5558 -6 111 (111)(111)A> 101 111 1013 110
185 5583 -13 111 <C(001)(101) 1112 1013 110
186 5594 -16 <C(001)(101) 101 1112 1013 110
187 5635 -9 (111)(111)A> 101 1112 1013 110
188 5660 -16 <C(001)(101) 1113 1013 110
189 5701 -9 (111)(111)A> 1113 1013 110
190 5710 0 1113 (111)(111)A> 1013 110
191 5735 -7 1113 <C(001)(101) 111 1012 110
192 5768 -16 <C(001)(101) 1013 111 1012 110
193 5809 -9 (111)(111)A> 1013 111 1012 110
194 5834 -16 <C(001)(101) 111 1012 111 1012 110
195 5875 -9 (111)(111)A> 111 1012 111 1012 110
196 5878 -6 111 (111)(111)A> 1012 111 1012 110
197 5903 -13 111 <C(001)(101) 111 101 111 1012 110
198 5914 -16 <C(001)(101) 101 111 101 111 1012 110
199 5955 -9 (111)(111)A> 101 111 101 111 1012 110
200 5980 -16 <C(001)(101) 1112 101 111 1012 110
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 5980
Tape index: -16
ones: 20
log10(ones ): 1.301
log10(steps ): 3.777
Input to awk program:
gohalt 1
C complex counter
5T B1L A1R A0R C0L C0R D1L E1L A0R B0L H1L
T TM #6 from MaBu90-Paper
M 201
pref sim
machv mbP_6 just simple
machv mbP_6-r with repetitions reduced
machv mbP_6-1 with tape symbol exponents
machv mbP_6-m as 3-bck-bck-macro machine
machv mbP_6-a as 3-bck-bck-macro machine with pure additive config-TRs
iam mbP_6-m
mtype 3 0 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:09 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:09 CEST 2010