Comment: This TM produces 1471 ones in 2358064 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | D1L | 1 | left | B | 1 | left | D |
| B | C1R | E0R | 1 | right | C | 0 | right | E |
| C | A0L | B0R | 0 | left | A | 0 | right | B |
| D | E1L | H1L | 1 | left | E | 1 | left | H |
| E | C1R | C1L | 1 | right | C | 1 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-2-macro machine.
The same TM as 2-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 9 -3 <A(01) 1100
2 14 0 0010 (10)B> 1100
3 21 -3 0010 <A(01) 0100
4 32 0 1010 (10)B> 0100
5 41 -3 1010 <D(10) 1110
6 45 -7 <D(10) 11102
7 50 -4 0010 (01)C> 11102
8 59 -7 0010 <B(10) 1010 1110
9 62 -4 0011 (01)C> 1010 1110
10 66 0 0011 0101 (01)C> 1110
11 75 -3 0011 0101 <B(10) 1010
12 83 -7 0011 <B(10) 10102
13 94 -4 1001 (01)C> 10102
14 102 4 1001 01012 (01)C>
15 105 1 1001 01012 <E(11)
16 113 -7 1001 <E(11) 01112
17 119 -11 <A(01) 01113
18 124 -8 0010 (10)B> 01113
19 137 -11 0010 <A(01) 0101 01112
20 148 -8 1010 (10)B> 0101 01112
21 152 -4 10102 (10)B> 01112
22 165 -7 10102 <A(01) 0101 0111
23 181 -15 <A(01) 01013 0111
24 186 -12 0010 (10)B> 01013 0111
25 198 0 0010 10103 (10)B> 0111
26 211 -3 0010 10103 <A(01) 0101
27 235 -15 0010 <A(01) 01014
28 246 -12 1010 (10)B> 01014
29 262 4 10105 (10)B>
30 267 1 10105 <C(11) 1000
31 287 -19 <C(11) 10115 1000
32 294 -16 0101 (00)E> 10115 1000
33 297 -19 0101 <B(10) 10115 1000
34 305 -23 <B(10) 1010 10115 1000
35 308 -20 0001 (01)C> 1010 10115 1000
36 312 -16 0001 0101 (01)C> 10115 1000
37 316 -12 0001 01012 (00)E> 10114 1000
38 319 -15 0001 01012 <B(10) 10114 1000
39 335 -23 0001 <B(10) 10102 10114 1000
40 344 -20 0101 (01)C> 10102 10114 1000
41 352 -12 01013 (01)C> 10114 1000
42 356 -8 01014 (00)E> 10113 1000
43 359 -11 01014 <B(10) 10113 1000
44 391 -27 <B(10) 10104 10113 1000
45 394 -24 0001 (01)C> 10104 10113 1000
46 410 -8 0001 01014 (01)C> 10113 1000
47 414 -4 0001 01015 (00)E> 10112 1000
48 417 -7 0001 01015 <B(10) 10112 1000
49 457 -27 0001 <B(10) 10105 10112 1000
50 466 -24 0101 (01)C> 10105 10112 1000
51 486 -4 01016 (01)C> 10112 1000
52 490 0 01017 (00)E> 1011 1000
53 493 -3 01017 <B(10) 1011 1000
54 549 -31 <B(10) 10107 1011 1000
55 552 -28 0001 (01)C> 10107 1011 1000
56 580 0 0001 01017 (01)C> 1011 1000
57 584 4 0001 01018 (00)E> 1000
58 587 1 0001 01018 <B(10) 1000
59 651 -31 0001 <B(10) 10108 1000
60 660 -28 0101 (01)C> 10108 1000
61 692 4 01019 (01)C> 1000
62 699 1 01019 <A(01) 1100
63 735 -35 <A(01) 11019 1100
64 740 -32 0010 (10)B> 11019 1100
65 747 -35 0010 <A(01) 0101 11018 1100
66 758 -32 1010 (10)B> 0101 11018 1100
67 762 -28 10102 (10)B> 11018 1100
68 769 -31 10102 <A(01) 0101 11017 1100
69 785 -39 <A(01) 01013 11017 1100
70 790 -36 0010 (10)B> 01013 11017 1100
71 802 -24 0010 10103 (10)B> 11017 1100
72 809 -27 0010 10103 <A(01) 0101 11016 1100
73 833 -39 0010 <A(01) 01014 11016 1100
74 844 -36 1010 (10)B> 01014 11016 1100
75 860 -20 10105 (10)B> 11016 1100
76 867 -23 10105 <A(01) 0101 11015 1100
77 907 -43 <A(01) 01016 11015 1100
78 912 -40 0010 (10)B> 01016 11015 1100
79 936 -16 0010 10106 (10)B> 11015 1100
80 943 -19 0010 10106 <A(01) 0101 11014 1100
81 991 -43 0010 <A(01) 01017 11014 1100
82 1002 -40 1010 (10)B> 01017 11014 1100
83 1030 -12 10108 (10)B> 11014 1100
84 1037 -15 10108 <A(01) 0101 11013 1100
85 1101 -47 <A(01) 01019 11013 1100
86 1106 -44 0010 (10)B> 01019 11013 1100
87 1142 -8 0010 10109 (10)B> 11013 1100
88 1149 -11 0010 10109 <A(01) 0101 11012 1100
89 1221 -47 0010 <A(01) 010110 11012 1100
90 1232 -44 1010 (10)B> 010110 11012 1100
91 1272 -4 101011 (10)B> 11012 1100
92 1279 -7 101011 <A(01) 0101 1101 1100
93 1367 -51 <A(01) 010112 1101 1100
94 1372 -48 0010 (10)B> 010112 1101 1100
95 1420 0 0010 101012 (10)B> 1101 1100
96 1427 -3 0010 101012 <A(01) 0101 1100
97 1523 -51 0010 <A(01) 010113 1100
98 1534 -48 1010 (10)B> 010113 1100
99 1586 4 101014 (10)B> 1100
100 1593 1 101014 <A(01) 0100
101 1705 -55 <A(01) 010114 0100
102 1710 -52 0010 (10)B> 010114 0100
103 1766 4 0010 101014 (10)B> 0100
104 1775 1 0010 101014 <D(10) 1110
105 1831 -55 0010 <D(10) 111015
106 1835 -59 <B(10) 111016
107 1838 -56 0001 (01)C> 111016
108 1847 -59 0001 <B(10) 1010 111015
109 1856 -56 0101 (01)C> 1010 111015
110 1860 -52 01012 (01)C> 111015
111 1869 -55 01012 <B(10) 1010 111014
112 1885 -63 <B(10) 10103 111014
113 1888 -60 0001 (01)C> 10103 111014
114 1900 -48 0001 01013 (01)C> 111014
115 1909 -51 0001 01013 <B(10) 1010 111013
116 1933 -63 0001 <B(10) 10104 111013
117 1942 -60 0101 (01)C> 10104 111013
118 1958 -44 01015 (01)C> 111013
119 1967 -47 01015 <B(10) 1010 111012
120 2007 -67 <B(10) 10106 111012
121 2010 -64 0001 (01)C> 10106 111012
122 2034 -40 0001 01016 (01)C> 111012
123 2043 -43 0001 01016 <B(10) 1010 111011
124 2091 -67 0001 <B(10) 10107 111011
125 2100 -64 0101 (01)C> 10107 111011
126 2128 -36 01018 (01)C> 111011
127 2137 -39 01018 <B(10) 1010 111010
128 2201 -71 <B(10) 10109 111010
129 2204 -68 0001 (01)C> 10109 111010
130 2240 -32 0001 01019 (01)C> 111010
131 2249 -35 0001 01019 <B(10) 1010 11109
132 2321 -71 0001 <B(10) 101010 11109
133 2330 -68 0101 (01)C> 101010 11109
134 2370 -28 010111 (01)C> 11109
135 2379 -31 010111 <B(10) 1010 11108
136 2467 -75 <B(10) 101012 11108
137 2470 -72 0001 (01)C> 101012 11108
138 2518 -24 0001 010112 (01)C> 11108
139 2527 -27 0001 010112 <B(10) 1010 11107
140 2623 -75 0001 <B(10) 101013 11107
141 2632 -72 0101 (01)C> 101013 11107
142 2684 -20 010114 (01)C> 11107
143 2693 -23 010114 <B(10) 1010 11106
144 2805 -79 <B(10) 101015 11106
145 2808 -76 0001 (01)C> 101015 11106
146 2868 -16 0001 010115 (01)C> 11106
147 2877 -19 0001 010115 <B(10) 1010 11105
148 2997 -79 0001 <B(10) 101016 11105
149 3006 -76 0101 (01)C> 101016 11105
150 3070 -12 010117 (01)C> 11105
151 3079 -15 010117 <B(10) 1010 11104
152 3215 -83 <B(10) 101018 11104
153 3218 -80 0001 (01)C> 101018 11104
154 3290 -8 0001 010118 (01)C> 11104
155 3299 -11 0001 010118 <B(10) 1010 11103
156 3443 -83 0001 <B(10) 101019 11103
157 3452 -80 0101 (01)C> 101019 11103
158 3528 -4 010120 (01)C> 11103
159 3537 -7 010120 <B(10) 1010 11102
160 3697 -87 <B(10) 101021 11102
161 3700 -84 0001 (01)C> 101021 11102
162 3784 0 0001 010121 (01)C> 11102
163 3793 -3 0001 010121 <B(10) 1010 1110
164 3961 -87 0001 <B(10) 101022 1110
165 3970 -84 0101 (01)C> 101022 1110
166 4058 4 010123 (01)C> 1110
167 4067 1 010123 <B(10) 1010
168 4251 -91 <B(10) 101024
169 4254 -88 0001 (01)C> 101024
170 4350 8 0001 010124 (01)C>
171 4353 5 0001 010124 <E(11)
172 4449 -91 0001 <E(11) 011124
173 4467 -95 <A(01) 0101 011124
174 4472 -92 0010 (10)B> 0101 011124
175 4476 -88 0010 1010 (10)B> 011124
176 4489 -91 0010 1010 <A(01) 0101 011123
177 4497 -95 0010 <A(01) 01012 011123
178 4508 -92 1010 (10)B> 01012 011123
179 4516 -84 10103 (10)B> 011123
180 4529 -87 10103 <A(01) 0101 011122
181 4553 -99 <A(01) 01014 011122
182 4558 -96 0010 (10)B> 01014 011122
183 4574 -80 0010 10104 (10)B> 011122
184 4587 -83 0010 10104 <A(01) 0101 011121
185 4619 -99 0010 <A(01) 01015 011121
186 4630 -96 1010 (10)B> 01015 011121
187 4650 -76 10106 (10)B> 011121
188 4663 -79 10106 <A(01) 0101 011120
189 4711 -103 <A(01) 01017 011120
190 4716 -100 0010 (10)B> 01017 011120
191 4744 -72 0010 10107 (10)B> 011120
192 4757 -75 0010 10107 <A(01) 0101 011119
193 4813 -103 0010 <A(01) 01018 011119
194 4824 -100 1010 (10)B> 01018 011119
195 4856 -68 10109 (10)B> 011119
196 4869 -71 10109 <A(01) 0101 011118
197 4941 -107 <A(01) 010110 011118
198 4946 -104 0010 (10)B> 010110 011118
199 4986 -64 0010 101010 (10)B> 011118
200 4999 -67 0010 101010 <A(01) 0101 011117
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 4999
Tape index: -67
ones: 75
log10(ones ): 1.875
log10(steps ): 3.699
Input to awk program:
gohalt 1
5T B1L D1L C1R E0R A0L B0R E1L H1L C1R C1L : 1471 2358064
T 5-state TM #7 from MaBu-List
M 201
pref sim
machv mbL5_7 just simple
machv mbL5_7-r with repetitions reduced
machv mbL5_7-1 with tape symbol exponents
machv mbL5_7-m as 2-bck-2-macro machine
machv mbL5_7-a as 2-bck-2-macro machine with pure additive config-TRs
iam mbL5_7-m
mtype 2 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:24 CEST 2010
edate Tue Jul 6 22:10:24 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:24 CEST 2010