Comment: This TM produces 458,357 nonzeros in 233,431,192,481 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | B3R | B3R | A1L | B3L | 1 | right | B | 3 | right | B | 3 | right | B | 1 | left | A | 3 | left | B |
| B | A2L | A3R | B4L | A2R | Z1R | 2 | left | A | 3 | right | A | 4 | left | B | 2 | right | A | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 8 -2 <A(2) 43
2 16 0 03 (3)A> 43
3 24 -2 03 <A(1) 11
4 28 0 13 (3)B> 11
5 30 2 13 33 (3)B>
6 32 0 13 33 <A(1) 20
7 34 -2 13 <A(1) 11 20
8 38 0 33 (3)B> 11 20
9 40 2 332 (3)B> 20
10 44 0 332 <B(4) 30
11 56 -4 <B(4) 332 30
12 70 -2 33 (3)A> 332 30
13 72 -4 33 <A(1) 13 33 30
14 74 -6 <A(1) 11 13 33 30
15 76 -4 01 (3)A> 11 13 33 30
16 78 -2 01 33 (3)A> 13 33 30
17 80 0 01 332 (2)A> 33 30
18 86 -2 01 332 <A(1) 11 30
19 90 -6 01 <A(1) 113 30
20 92 -4 03 (3)A> 113 30
21 98 2 03 333 (3)A> 30
22 100 0 03 333 <A(1) 10
23 106 -6 03 <A(1) 113 10
24 110 -4 13 (3)B> 113 10
25 116 2 13 333 (3)B> 10
26 118 4 13 334 (1)B>
27 124 2 13 334 <B(4) 30
28 148 -6 13 <B(4) 334 30
29 160 -8 <A(1) 11 334 30
30 162 -6 01 (3)A> 11 334 30
31 164 -4 01 33 (3)A> 334 30
32 166 -6 01 33 <A(1) 13 333 30
33 168 -8 01 <A(1) 11 13 333 30
34 170 -6 03 (3)A> 11 13 333 30
35 172 -4 03 33 (3)A> 13 333 30
36 174 -2 03 332 (2)A> 333 30
37 180 -4 03 332 <A(1) 11 332 30
38 184 -8 03 <A(1) 113 332 30
39 188 -6 13 (3)B> 113 332 30
40 194 0 13 333 (3)B> 332 30
41 198 2 13 334 (3)A> 33 30
42 200 0 13 334 <A(1) 13 30
43 208 -8 13 <A(1) 114 13 30
44 212 -6 33 (3)B> 114 13 30
45 220 2 335 (3)B> 13 30
46 224 0 335 <A(1) 11 30
47 234 -10 <A(1) 116 30
48 236 -8 01 (3)A> 116 30
49 248 4 01 336 (3)A> 30
50 250 2 01 336 <A(1) 10
51 262 -10 01 <A(1) 116 10
52 264 -8 03 (3)A> 116 10
53 276 4 03 336 (3)A> 10
54 280 2 03 336 <A(1) 12
55 292 -10 03 <A(1) 116 12
56 296 -8 13 (3)B> 116 12
57 308 4 13 336 (3)B> 12
58 310 6 13 337 (3)B>
59 312 4 13 337 <A(1) 20
60 326 -10 13 <A(1) 117 20
61 330 -8 33 (3)B> 117 20
62 344 6 338 (3)B> 20
63 348 4 338 <B(4) 30
64 396 -12 <B(4) 338 30
65 410 -10 33 (3)A> 338 30
66 412 -12 33 <A(1) 13 337 30
67 414 -14 <A(1) 11 13 337 30
68 416 -12 01 (3)A> 11 13 337 30
69 418 -10 01 33 (3)A> 13 337 30
70 420 -8 01 332 (2)A> 337 30
71 426 -10 01 332 <A(1) 11 336 30
72 430 -14 01 <A(1) 113 336 30
73 432 -12 03 (3)A> 113 336 30
74 438 -6 03 333 (3)A> 336 30
75 440 -8 03 333 <A(1) 13 335 30
76 446 -14 03 <A(1) 113 13 335 30
77 450 -12 13 (3)B> 113 13 335 30
78 456 -6 13 333 (3)B> 13 335 30
79 460 -8 13 333 <A(1) 11 335 30
80 466 -14 13 <A(1) 114 335 30
81 470 -12 33 (3)B> 114 335 30
82 478 -4 335 (3)B> 335 30
83 482 -2 336 (3)A> 334 30
84 484 -4 336 <A(1) 13 333 30
85 496 -16 <A(1) 116 13 333 30
86 498 -14 01 (3)A> 116 13 333 30
87 510 -2 01 336 (3)A> 13 333 30
88 512 0 01 337 (2)A> 333 30
89 518 -2 01 337 <A(1) 11 332 30
90 532 -16 01 <A(1) 118 332 30
91 534 -14 03 (3)A> 118 332 30
92 550 2 03 338 (3)A> 332 30
93 552 0 03 338 <A(1) 13 33 30
94 568 -16 03 <A(1) 118 13 33 30
95 572 -14 13 (3)B> 118 13 33 30
96 588 2 13 338 (3)B> 13 33 30
97 592 0 13 338 <A(1) 11 33 30
98 608 -16 13 <A(1) 119 33 30
99 612 -14 33 (3)B> 119 33 30
100 630 4 3310 (3)B> 33 30
101 634 6 3311 (3)A> 30
102 636 4 3311 <A(1) 10
103 658 -18 <A(1) 1111 10
104 660 -16 01 (3)A> 1111 10
105 682 6 01 3311 (3)A> 10
106 686 4 01 3311 <A(1) 12
107 708 -18 01 <A(1) 1111 12
108 710 -16 03 (3)A> 1111 12
109 732 6 03 3311 (3)A> 12
110 740 4 03 3311 <B(4) 33
111 806 -18 03 <B(4) 3312
112 810 -20 <A(2) 43 3312
113 818 -18 03 (3)A> 43 3312
114 826 -20 03 <A(1) 11 3312
115 830 -18 13 (3)B> 11 3312
116 832 -16 13 33 (3)B> 3312
117 836 -14 13 332 (3)A> 3311
118 838 -16 13 332 <A(1) 13 3310
119 842 -20 13 <A(1) 112 13 3310
120 846 -18 33 (3)B> 112 13 3310
121 850 -14 333 (3)B> 13 3310
122 854 -16 333 <A(1) 11 3310
123 860 -22 <A(1) 114 3310
124 862 -20 01 (3)A> 114 3310
125 870 -12 01 334 (3)A> 3310
126 872 -14 01 334 <A(1) 13 339
127 880 -22 01 <A(1) 114 13 339
128 882 -20 03 (3)A> 114 13 339
129 890 -12 03 334 (3)A> 13 339
130 892 -10 03 335 (2)A> 339
131 898 -12 03 335 <A(1) 11 338
132 908 -22 03 <A(1) 116 338
133 912 -20 13 (3)B> 116 338
134 924 -8 13 336 (3)B> 338
135 928 -6 13 337 (3)A> 337
136 930 -8 13 337 <A(1) 13 336
137 944 -22 13 <A(1) 117 13 336
138 948 -20 33 (3)B> 117 13 336
139 962 -6 338 (3)B> 13 336
140 966 -8 338 <A(1) 11 336
141 982 -24 <A(1) 119 336
142 984 -22 01 (3)A> 119 336
143 1002 -4 01 339 (3)A> 336
144 1004 -6 01 339 <A(1) 13 335
145 1022 -24 01 <A(1) 119 13 335
146 1024 -22 03 (3)A> 119 13 335
147 1042 -4 03 339 (3)A> 13 335
148 1044 -2 03 3310 (2)A> 335
149 1050 -4 03 3310 <A(1) 11 334
150 1070 -24 03 <A(1) 1111 334
151 1074 -22 13 (3)B> 1111 334
152 1096 0 13 3311 (3)B> 334
153 1100 2 13 3312 (3)A> 333
154 1102 0 13 3312 <A(1) 13 332
155 1126 -24 13 <A(1) 1112 13 332
156 1130 -22 33 (3)B> 1112 13 332
157 1154 2 3313 (3)B> 13 332
158 1158 0 3313 <A(1) 11 332
159 1184 -26 <A(1) 1114 332
160 1186 -24 01 (3)A> 1114 332
161 1214 4 01 3314 (3)A> 332
162 1216 2 01 3314 <A(1) 13 33
163 1244 -26 01 <A(1) 1114 13 33
164 1246 -24 03 (3)A> 1114 13 33
165 1274 4 03 3314 (3)A> 13 33
166 1276 6 03 3315 (2)A> 33
167 1282 4 03 3315 <A(1) 11
168 1312 -26 03 <A(1) 1116
169 1316 -24 13 (3)B> 1116
170 1348 8 13 3316 (3)B>
171 1350 6 13 3316 <A(1) 20
172 1382 -26 13 <A(1) 1116 20
173 1386 -24 33 (3)B> 1116 20
174 1418 8 3317 (3)B> 20
175 1422 6 3317 <B(4) 30
176 1524 -28 <B(4) 3317 30
177 1538 -26 33 (3)A> 3317 30
178 1540 -28 33 <A(1) 13 3316 30
179 1542 -30 <A(1) 11 13 3316 30
180 1544 -28 01 (3)A> 11 13 3316 30
181 1546 -26 01 33 (3)A> 13 3316 30
182 1548 -24 01 332 (2)A> 3316 30
183 1554 -26 01 332 <A(1) 11 3315 30
184 1558 -30 01 <A(1) 113 3315 30
185 1560 -28 03 (3)A> 113 3315 30
186 1566 -22 03 333 (3)A> 3315 30
187 1568 -24 03 333 <A(1) 13 3314 30
188 1574 -30 03 <A(1) 113 13 3314 30
189 1578 -28 13 (3)B> 113 13 3314 30
190 1584 -22 13 333 (3)B> 13 3314 30
191 1588 -24 13 333 <A(1) 11 3314 30
192 1594 -30 13 <A(1) 114 3314 30
193 1598 -28 33 (3)B> 114 3314 30
194 1606 -20 335 (3)B> 3314 30
195 1610 -18 336 (3)A> 3313 30
196 1612 -20 336 <A(1) 13 3312 30
197 1624 -32 <A(1) 116 13 3312 30
198 1626 -30 01 (3)A> 116 13 3312 30
199 1638 -18 01 336 (3)A> 13 3312 30
200 1640 -16 01 337 (2)A> 3312 30
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1640
Tape index: -16
nonzeros: 41
log10(nonzeros): 1.613
log10(steps ): 3.215
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #d (G. Lafitte & C. Papazian)
5T B1R B3R B3R A1L B3L A2L A3R B4L A2R Z1R
: 458,357 233,431,192,481
L 10
M 201
pref sim
machv Laf25_d just simple
machv Laf25_d-r with repetitions reduced
machv Laf25_d-1 with tape symbol exponents
machv Laf25_d-m as bck-2-macro machine
machv Laf25_d-a as bck-2-macro machine with pure additive config-TRs
iam Laf25_d-m
mtype 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:57 CEST 2010
edate Tue Jul 6 22:11:57 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:11:57 CEST 2010