Comment: This TM produces 97'104 nonzeros in 7'543'673'517 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 | B2R | B3R | A4L | A3R | 1 | right | B | 2 | right | B | 3 | right | B | 4 | left | A | 3 | right | A |
| B | A0L | B4R | Z1R | B0R | B1L | 0 | left | A | 4 | right | B | 1 | right | Z | 0 | right | B | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 7 -1 <A(4)
3 11 1 4 (4)B>
4 14 2 4 3 (1)B>
5 20 0 4 3 <A(4)
6 21 -1 4 <A(4) 4
7 23 1 3 (3)A> 4
8 24 2 32 (3)A>
9 25 3 33 (1)B>
10 31 1 33 <A(4)
11 34 -2 <A(4) 43
12 38 0 4 (4)B> 43
13 40 -2 4 <B(1) 1 42
14 41 -3 <B(1) 12 42
15 42 -4 <A(0) 13 42
16 49 -5 <A(4) 0 13 42
17 53 -3 4 (4)B> 0 13 42
18 56 -2 4 3 (1)B> 13 42
19 57 -1 4 3 1 (4)B> 12 42
20 59 1 4 3 1 42 (4)B> 42
21 61 -1 4 3 1 42 <B(1) 1 4
22 63 -3 4 3 1 <B(1) 13 4
23 65 -1 4 3 4 (4)B> 13 4
24 68 2 4 3 44 (4)B> 4
25 70 0 4 3 44 <B(1) 1
26 74 -4 4 3 <B(1) 15
27 76 -2 4 0 (4)B> 15
28 81 3 4 0 45 (4)B>
29 84 4 4 0 45 3 (1)B>
30 90 2 4 0 45 3 <A(4)
31 91 1 4 0 45 <A(4) 4
32 93 3 4 0 44 3 (3)A> 4
33 94 4 4 0 44 32 (3)A>
34 95 5 4 0 44 33 (1)B>
35 101 3 4 0 44 33 <A(4)
36 104 0 4 0 44 <A(4) 43
37 106 2 4 0 43 3 (3)A> 43
38 109 5 4 0 43 34 (3)A>
39 110 6 4 0 43 35 (1)B>
40 116 4 4 0 43 35 <A(4)
41 121 -1 4 0 43 <A(4) 45
42 123 1 4 0 42 3 (3)A> 45
43 128 6 4 0 42 36 (3)A>
44 129 7 4 0 42 37 (1)B>
45 135 5 4 0 42 37 <A(4)
46 142 -2 4 0 42 <A(4) 47
47 144 0 4 0 4 3 (3)A> 47
48 151 7 4 0 4 38 (3)A>
49 152 8 4 0 4 39 (1)B>
50 158 6 4 0 4 39 <A(4)
51 167 -3 4 0 4 <A(4) 49
52 169 -1 4 0 3 (3)A> 49
53 178 8 4 0 310 (3)A>
54 179 9 4 0 311 (1)B>
55 185 7 4 0 311 <A(4)
56 196 -4 4 0 <A(4) 411
57 200 -2 42 (4)B> 411
58 202 -4 42 <B(1) 1 410
59 204 -6 <B(1) 13 410
60 205 -7 <A(0) 14 410
61 212 -8 <A(4) 0 14 410
62 216 -6 4 (4)B> 0 14 410
63 219 -5 4 3 (1)B> 14 410
64 220 -4 4 3 1 (4)B> 13 410
65 223 -1 4 3 1 43 (4)B> 410
66 225 -3 4 3 1 43 <B(1) 1 49
67 228 -6 4 3 1 <B(1) 14 49
68 230 -4 4 3 4 (4)B> 14 49
69 234 0 4 3 45 (4)B> 49
70 236 -2 4 3 45 <B(1) 1 48
71 241 -7 4 3 <B(1) 16 48
72 243 -5 4 0 (4)B> 16 48
73 249 1 4 0 46 (4)B> 48
74 251 -1 4 0 46 <B(1) 1 47
75 257 -7 4 0 <B(1) 17 47
76 258 -8 4 <A(0) 18 47
77 260 -6 3 (1)B> 18 47
78 261 -5 3 1 (4)B> 17 47
79 268 2 3 1 47 (4)B> 47
80 270 0 3 1 47 <B(1) 1 46
81 277 -7 3 1 <B(1) 18 46
82 279 -5 3 4 (4)B> 18 46
83 287 3 3 49 (4)B> 46
84 289 1 3 49 <B(1) 1 45
85 298 -8 3 <B(1) 110 45
86 300 -6 (4)B> 110 45
87 310 4 410 (4)B> 45
88 312 2 410 <B(1) 1 44
89 322 -8 <B(1) 111 44
90 323 -9 <A(0) 112 44
91 330 -10 <A(4) 0 112 44
92 334 -8 4 (4)B> 0 112 44
93 337 -7 4 3 (1)B> 112 44
94 338 -6 4 3 1 (4)B> 111 44
95 349 5 4 3 1 411 (4)B> 44
96 351 3 4 3 1 411 <B(1) 1 43
97 362 -8 4 3 1 <B(1) 112 43
98 364 -6 4 3 4 (4)B> 112 43
99 376 6 4 3 413 (4)B> 43
100 378 4 4 3 413 <B(1) 1 42
101 391 -9 4 3 <B(1) 114 42
102 393 -7 4 0 (4)B> 114 42
103 407 7 4 0 414 (4)B> 42
104 409 5 4 0 414 <B(1) 1 4
105 423 -9 4 0 <B(1) 115 4
106 424 -10 4 <A(0) 116 4
107 426 -8 3 (1)B> 116 4
108 427 -7 3 1 (4)B> 115 4
109 442 8 3 1 415 (4)B> 4
110 444 6 3 1 415 <B(1) 1
111 459 -9 3 1 <B(1) 116
112 461 -7 3 4 (4)B> 116
113 477 9 3 417 (4)B>
114 480 10 3 417 3 (1)B>
115 486 8 3 417 3 <A(4)
116 487 7 3 417 <A(4) 4
117 489 9 3 416 3 (3)A> 4
118 490 10 3 416 32 (3)A>
119 491 11 3 416 33 (1)B>
120 497 9 3 416 33 <A(4)
121 500 6 3 416 <A(4) 43
122 502 8 3 415 3 (3)A> 43
123 505 11 3 415 34 (3)A>
124 506 12 3 415 35 (1)B>
125 512 10 3 415 35 <A(4)
126 517 5 3 415 <A(4) 45
127 519 7 3 414 3 (3)A> 45
128 524 12 3 414 36 (3)A>
129 525 13 3 414 37 (1)B>
130 531 11 3 414 37 <A(4)
131 538 4 3 414 <A(4) 47
132 540 6 3 413 3 (3)A> 47
133 547 13 3 413 38 (3)A>
134 548 14 3 413 39 (1)B>
135 554 12 3 413 39 <A(4)
136 563 3 3 413 <A(4) 49
137 565 5 3 412 3 (3)A> 49
138 574 14 3 412 310 (3)A>
139 575 15 3 412 311 (1)B>
140 581 13 3 412 311 <A(4)
141 592 2 3 412 <A(4) 411
142 594 4 3 411 3 (3)A> 411
143 605 15 3 411 312 (3)A>
144 606 16 3 411 313 (1)B>
145 612 14 3 411 313 <A(4)
146 625 1 3 411 <A(4) 413
147 627 3 3 410 3 (3)A> 413
148 640 16 3 410 314 (3)A>
149 641 17 3 410 315 (1)B>
150 647 15 3 410 315 <A(4)
151 662 0 3 410 <A(4) 415
152 664 2 3 49 3 (3)A> 415
153 679 17 3 49 316 (3)A>
154 680 18 3 49 317 (1)B>
155 686 16 3 49 317 <A(4)
156 703 -1 3 49 <A(4) 417
157 705 1 3 48 3 (3)A> 417
158 722 18 3 48 318 (3)A>
159 723 19 3 48 319 (1)B>
160 729 17 3 48 319 <A(4)
161 748 -2 3 48 <A(4) 419
162 750 0 3 47 3 (3)A> 419
163 769 19 3 47 320 (3)A>
164 770 20 3 47 321 (1)B>
165 776 18 3 47 321 <A(4)
166 797 -3 3 47 <A(4) 421
167 799 -1 3 46 3 (3)A> 421
168 820 20 3 46 322 (3)A>
169 821 21 3 46 323 (1)B>
170 827 19 3 46 323 <A(4)
171 850 -4 3 46 <A(4) 423
172 852 -2 3 45 3 (3)A> 423
173 875 21 3 45 324 (3)A>
174 876 22 3 45 325 (1)B>
175 882 20 3 45 325 <A(4)
176 907 -5 3 45 <A(4) 425
177 909 -3 3 44 3 (3)A> 425
178 934 22 3 44 326 (3)A>
179 935 23 3 44 327 (1)B>
180 941 21 3 44 327 <A(4)
181 968 -6 3 44 <A(4) 427
182 970 -4 3 43 3 (3)A> 427
183 997 23 3 43 328 (3)A>
184 998 24 3 43 329 (1)B>
185 1004 22 3 43 329 <A(4)
186 1033 -7 3 43 <A(4) 429
187 1035 -5 3 42 3 (3)A> 429
188 1064 24 3 42 330 (3)A>
189 1065 25 3 42 331 (1)B>
190 1071 23 3 42 331 <A(4)
191 1102 -8 3 42 <A(4) 431
192 1104 -6 3 4 3 (3)A> 431
193 1135 25 3 4 332 (3)A>
194 1136 26 3 4 333 (1)B>
195 1142 24 3 4 333 <A(4)
196 1175 -9 3 4 <A(4) 433
197 1177 -7 32 (3)A> 433
198 1210 26 335 (3)A>
199 1211 27 336 (1)B>
200 1217 25 336 <A(4)
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1217
Tape index: 25
nonzeros: 37
log10(nonzeros): 1.568
log10(steps ): 3.085
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #c (G. Lafitte & C. Papazian)
5T B1R B2R B3R A4L A3R A0L B4R Z1R B0R B1L
: 97'104 7'543'673'517
L 10
M 201
pref sim
machv Laf25_c just simple
machv Laf25_c-r with repetitions reduced
machv Laf25_c-1 with tape symbol exponents
machv Laf25_c-m as 1-bck-macro machine
machv Laf25_c-a as 1-bck-macro machine with pure additive config-TRs
iam Laf25_c-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:56 CEST 2010
edate Tue Jul 6 22:11:56 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:56 CEST 2010