Comment: This TM produces >3.1x10^10566 ones in >3.8x10^21132 steps. Comment: This was the best 6x2 TM (May-2010..Jul-2010)
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | D0L | 1 | right | B | 0 | left | D |
| B | C1R | F0R | 1 | right | C | 0 | right | F |
| C | C1L | A1L | 1 | left | C | 1 | left | A |
| D | E0L | H1L | 0 | left | E | 1 | left | H |
| E | A1L | B0R | 1 | left | A | 0 | right | B |
| F | C0R | E0R | 0 | right | C | 0 | right | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 3-macro machine.
The same TM as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 5 -1 <D 011
2 10 0 100 C> 011
3 11 -1 100 <C 111
4 14 -4 <A 1112
5 15 -3 001 B> 1112
6 21 3 001 0002 B>
7 24 2 001 0002 <A 110
8 25 3 001 000 001 B> 110
9 30 6 001 000 001 010 F>
10 33 5 001 000 001 010 <C 110
11 38 6 001 000 001 100 E> 110
12 41 9 001 000 001 100 000 C>
13 42 8 001 000 001 100 000 <C 100
14 45 5 001 000 001 100 <C 111 100
15 48 2 001 000 001 <A 1112 100
16 51 -1 001 000 <A 100 1112 100
17 52 0 0012 B> 100 1112 100
18 57 -1 0012 <C 1113 100
19 60 0 001 010 F> 1113 100
20 69 9 001 010 0003 F> 100
21 74 12 001 010 0003 100 C>
22 75 11 001 010 0003 100 <C 100
23 78 8 001 010 0003 <A 111 100
24 79 9 001 010 0002 001 B> 111 100
25 82 12 001 010 0002 001 000 B> 100
26 87 11 001 010 0002 001 000 <C 111
27 90 8 001 010 0002 001 <C 1112
28 93 9 001 010 0002 010 F> 1112
29 99 15 001 010 0002 010 0002 F>
30 102 14 001 010 0002 010 0002 <C 110
31 108 8 001 010 0002 010 <C 1112 110
32 113 9 001 010 0002 100 E> 1112 110
33 119 15 001 010 0002 100 0002 E> 110
34 122 18 001 010 0002 100 0003 C>
35 123 17 001 010 0002 100 0003 <C 100
36 132 8 001 010 0002 100 <C 1113 100
37 135 5 001 010 0002 <A 1114 100
38 136 6 001 010 000 001 B> 1114 100
39 148 18 001 010 000 001 0004 B> 100
40 153 17 001 010 000 001 0004 <C 111
41 165 5 001 010 000 001 <C 1115
42 168 6 001 010 000 010 F> 1115
43 183 21 001 010 000 010 0005 F>
44 186 20 001 010 000 010 0005 <C 110
45 201 5 001 010 000 010 <C 1115 110
46 206 6 001 010 000 100 E> 1115 110
47 221 21 001 010 000 100 0005 E> 110
48 224 24 001 010 000 100 0006 C>
49 225 23 001 010 000 100 0006 <C 100
50 243 5 001 010 000 100 <C 1116 100
51 246 2 001 010 000 <A 1117 100
52 247 3 001 010 001 B> 1117 100
53 268 24 001 010 001 0007 B> 100
54 273 23 001 010 001 0007 <C 111
55 294 2 001 010 001 <C 1118
56 297 3 001 0102 F> 1118
57 321 27 001 0102 0008 F>
58 324 26 001 0102 0008 <C 110
59 348 2 001 0102 <C 1118 110
60 353 3 001 010 100 E> 1118 110
61 377 27 001 010 100 0008 E> 110
62 380 30 001 010 100 0009 C>
63 381 29 001 010 100 0009 <C 100
64 408 2 001 010 100 <C 1119 100
65 411 -1 001 010 <A 11110 100
66 412 0 001 011 B> 11110 100
67 442 30 001 011 00010 B> 100
68 447 29 001 011 00010 <C 111
69 477 -1 001 011 <C 11111
70 480 -4 001 <E 001 11111
71 481 -3 B> 001 11111
72 484 -4 <A 11112
73 485 -3 001 B> 11112
74 521 33 001 00012 B>
75 524 32 001 00012 <A 110
76 525 33 001 00011 001 B> 110
77 530 36 001 00011 001 010 F>
78 533 35 001 00011 001 010 <C 110
79 538 36 001 00011 001 100 E> 110
80 541 39 001 00011 001 100 000 C>
81 542 38 001 00011 001 100 000 <C 100
82 545 35 001 00011 001 100 <C 111 100
83 548 32 001 00011 001 <A 1112 100
84 551 29 001 00011 <A 100 1112 100
85 552 30 001 00010 001 B> 100 1112 100
86 557 29 001 00010 001 <C 1113 100
87 560 30 001 00010 010 F> 1113 100
88 569 39 001 00010 010 0003 F> 100
89 574 42 001 00010 010 0003 100 C>
90 575 41 001 00010 010 0003 100 <C 100
91 578 38 001 00010 010 0003 <A 111 100
92 579 39 001 00010 010 0002 001 B> 111 100
93 582 42 001 00010 010 0002 001 000 B> 100
94 587 41 001 00010 010 0002 001 000 <C 111
95 590 38 001 00010 010 0002 001 <C 1112
96 593 39 001 00010 010 0002 010 F> 1112
97 599 45 001 00010 010 0002 010 0002 F>
98 602 44 001 00010 010 0002 010 0002 <C 110
99 608 38 001 00010 010 0002 010 <C 1112 110
100 613 39 001 00010 010 0002 100 E> 1112 110
101 619 45 001 00010 010 0002 100 0002 E> 110
102 622 48 001 00010 010 0002 100 0003 C>
103 623 47 001 00010 010 0002 100 0003 <C 100
104 632 38 001 00010 010 0002 100 <C 1113 100
105 635 35 001 00010 010 0002 <A 1114 100
106 636 36 001 00010 010 000 001 B> 1114 100
107 648 48 001 00010 010 000 001 0004 B> 100
108 653 47 001 00010 010 000 001 0004 <C 111
109 665 35 001 00010 010 000 001 <C 1115
110 668 36 001 00010 010 000 010 F> 1115
111 683 51 001 00010 010 000 010 0005 F>
112 686 50 001 00010 010 000 010 0005 <C 110
113 701 35 001 00010 010 000 010 <C 1115 110
114 706 36 001 00010 010 000 100 E> 1115 110
115 721 51 001 00010 010 000 100 0005 E> 110
116 724 54 001 00010 010 000 100 0006 C>
117 725 53 001 00010 010 000 100 0006 <C 100
118 743 35 001 00010 010 000 100 <C 1116 100
119 746 32 001 00010 010 000 <A 1117 100
120 747 33 001 00010 010 001 B> 1117 100
121 768 54 001 00010 010 001 0007 B> 100
122 773 53 001 00010 010 001 0007 <C 111
123 794 32 001 00010 010 001 <C 1118
124 797 33 001 00010 0102 F> 1118
125 821 57 001 00010 0102 0008 F>
126 824 56 001 00010 0102 0008 <C 110
127 848 32 001 00010 0102 <C 1118 110
128 853 33 001 00010 010 100 E> 1118 110
129 877 57 001 00010 010 100 0008 E> 110
130 880 60 001 00010 010 100 0009 C>
131 881 59 001 00010 010 100 0009 <C 100
132 908 32 001 00010 010 100 <C 1119 100
133 911 29 001 00010 010 <A 11110 100
134 912 30 001 00010 011 B> 11110 100
135 942 60 001 00010 011 00010 B> 100
136 947 59 001 00010 011 00010 <C 111
137 977 29 001 00010 011 <C 11111
138 980 26 001 00010 <E 001 11111
139 983 27 001 0009 010 F> 001 11111
140 986 26 001 0009 010 <C 11112
141 991 27 001 0009 100 E> 11112
142 1027 63 001 0009 100 00012 E>
143 1028 62 001 0009 100 00012 <A 100
144 1029 63 001 0009 100 00011 001 B> 100
145 1034 62 001 0009 100 00011 001 <C 111
146 1037 63 001 0009 100 00011 010 F> 111
147 1040 66 001 0009 100 00011 010 000 F>
148 1043 65 001 0009 100 00011 010 000 <C 110
149 1046 62 001 0009 100 00011 010 <C 111 110
150 1051 63 001 0009 100 00011 100 E> 111 110
151 1054 66 001 0009 100 00011 100 000 E> 110
152 1057 69 001 0009 100 00011 100 0002 C>
153 1058 68 001 0009 100 00011 100 0002 <C 100
154 1064 62 001 0009 100 00011 100 <C 1112 100
155 1067 59 001 0009 100 00011 <A 1113 100
156 1068 60 001 0009 100 00010 001 B> 1113 100
157 1077 69 001 0009 100 00010 001 0003 B> 100
158 1082 68 001 0009 100 00010 001 0003 <C 111
159 1091 59 001 0009 100 00010 001 <C 1114
160 1094 60 001 0009 100 00010 010 F> 1114
161 1106 72 001 0009 100 00010 010 0004 F>
162 1109 71 001 0009 100 00010 010 0004 <C 110
163 1121 59 001 0009 100 00010 010 <C 1114 110
164 1126 60 001 0009 100 00010 100 E> 1114 110
165 1138 72 001 0009 100 00010 100 0004 E> 110
166 1141 75 001 0009 100 00010 100 0005 C>
167 1142 74 001 0009 100 00010 100 0005 <C 100
168 1157 59 001 0009 100 00010 100 <C 1115 100
169 1160 56 001 0009 100 00010 <A 1116 100
170 1161 57 001 0009 100 0009 001 B> 1116 100
171 1179 75 001 0009 100 0009 001 0006 B> 100
172 1184 74 001 0009 100 0009 001 0006 <C 111
173 1202 56 001 0009 100 0009 001 <C 1117
174 1205 57 001 0009 100 0009 010 F> 1117
175 1226 78 001 0009 100 0009 010 0007 F>
176 1229 77 001 0009 100 0009 010 0007 <C 110
177 1250 56 001 0009 100 0009 010 <C 1117 110
178 1255 57 001 0009 100 0009 100 E> 1117 110
179 1276 78 001 0009 100 0009 100 0007 E> 110
180 1279 81 001 0009 100 0009 100 0008 C>
181 1280 80 001 0009 100 0009 100 0008 <C 100
182 1304 56 001 0009 100 0009 100 <C 1118 100
183 1307 53 001 0009 100 0009 <A 1119 100
184 1308 54 001 0009 100 0008 001 B> 1119 100
185 1335 81 001 0009 100 0008 001 0009 B> 100
186 1340 80 001 0009 100 0008 001 0009 <C 111
187 1367 53 001 0009 100 0008 001 <C 11110
188 1370 54 001 0009 100 0008 010 F> 11110
189 1400 84 001 0009 100 0008 010 00010 F>
190 1403 83 001 0009 100 0008 010 00010 <C 110
191 1433 53 001 0009 100 0008 010 <C 11110 110
192 1438 54 001 0009 100 0008 100 E> 11110 110
193 1468 84 001 0009 100 0008 100 00010 E> 110
194 1471 87 001 0009 100 0008 100 00011 C>
195 1472 86 001 0009 100 0008 100 00011 <C 100
196 1505 53 001 0009 100 0008 100 <C 11111 100
197 1508 50 001 0009 100 0008 <A 11112 100
198 1509 51 001 0009 100 0007 001 B> 11112 100
199 1545 87 001 0009 100 0007 001 00012 B> 100
200 1550 86 001 0009 100 0007 001 00012 <C 111
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1550
Tape index: 86
ones: 6
log10(ones ): 0.778
log10(steps ): 3.190
Input to awk program:
gohalt 1
T 6-state 2-symbol #a (Pavel Kropitz)
: >3.1x10^10566 >3.8x10^21132
C This was the best 6x2 TM (May-2010..Jul-2010)
5T B1R D0L C1R F0R C1L A1L E0L H1L A1L B0R C0R E0R
L 4
M 201
pref sim
machv Kro62_a just simple
machv Kro62_a-r with repetitions reduced
machv Kro62_a-1 with tape symbol exponents
machv Kro62_a-m as 3-macro machine
machv Kro62_a-a as 3-macro machine with pure additive config-TRs
iam Kro62_a-m
mtype 3
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:25 CEST 2010
edate Tue Jul 6 22:14:25 CEST 2010
bnspeed 1
short 7
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:14:25 CEST 2010