Comment: This TM produces 164 ones in 23197 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| 1 | 21 | 7< | 1 | stay | 2 | 1 | left | 7 |
| 2 | 71 | 3> | 1 | stay | 7 | 1 | right | 3 |
| 3 | 6> | 40 | 0 | right | 6 | 0 | stay | 4 |
| 4 | 2> | 4> | 0 | right | 2 | 1 | right | 4 |
| 5 | 11 | 3< | 1 | stay | 1 | 1 | left | 3 |
| 6 | 50 | *= | 0 | stay | 5 | 1 | stay | * |
| 7 | 4> | 5< | 0 | right | 4 | 1 | left | 5 |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 1>
1 3 2 10 6>
2 6 1 10 <7 10
3 7 2 10 4> 10
4 9 4 102 2>
5 11 3 102 <5 10
6 17 -1 <5 112 10
7 21 0 01 4> 112 10
8 25 4 01 112 4> 10
9 27 6 01 112 10 2>
10 29 5 01 112 10 <5 10
11 32 3 01 112 <5 11 10
12 36 4 01 11 01 3> 11 10
13 39 6 01 11 012 3> 10
14 45 5 01 11 012 <7 11
15 51 1 01 11 <7 113
16 53 -1 01 <3 114
17 55 0 2> 114
18 67 8 104 2>
19 69 7 104 <5 10
20 81 -1 <5 114 10
21 85 0 01 4> 114 10
22 93 8 01 114 4> 10
23 95 10 01 114 10 2>
24 97 9 01 114 10 <5 10
25 100 7 01 114 <5 11 10
26 104 8 01 113 01 3> 11 10
27 107 10 01 113 012 3> 10
28 113 9 01 113 012 <7 11
29 119 5 01 113 <7 113
30 121 3 01 112 <3 114
31 123 4 01 11 10 2> 114
32 135 12 01 11 105 2>
33 137 11 01 11 105 <5 10
34 152 1 01 11 <5 115 10
35 156 2 012 3> 115 10
36 171 12 017 3> 10
37 177 11 017 <7 11
38 198 -3 <7 118
39 199 -2 4> 118
40 215 14 118 4>
41 220 13 118 <7 11
42 222 11 117 <3 112
43 224 12 116 10 2> 112
44 230 16 116 103 2>
45 232 15 116 103 <5 10
46 241 9 116 <5 113 10
47 245 10 115 01 3> 113 10
48 254 16 115 014 3> 10
49 260 15 115 014 <7 11
50 272 7 115 <7 115
51 274 5 114 <3 116
52 276 6 113 10 2> 116
53 294 18 113 107 2>
54 296 17 113 107 <5 10
55 317 3 113 <5 117 10
56 321 4 112 01 3> 117 10
57 342 18 112 018 3> 10
58 348 17 112 018 <7 11
59 372 1 112 <7 119
60 374 -1 11 <3 1110
61 376 0 10 2> 1110
62 406 20 1011 2>
63 408 19 1011 <5 10
64 441 -3 <5 1111 10
65 445 -2 01 4> 1111 10
66 467 20 01 1111 4> 10
67 469 22 01 1111 10 2>
68 471 21 01 1111 10 <5 10
69 474 19 01 1111 <5 11 10
70 478 20 01 1110 01 3> 11 10
71 481 22 01 1110 012 3> 10
72 487 21 01 1110 012 <7 11
73 493 17 01 1110 <7 113
74 495 15 01 119 <3 114
75 497 16 01 118 10 2> 114
76 509 24 01 118 105 2>
77 511 23 01 118 105 <5 10
78 526 13 01 118 <5 115 10
79 530 14 01 117 01 3> 115 10
80 545 24 01 117 016 3> 10
81 551 23 01 117 016 <7 11
82 569 11 01 117 <7 117
83 571 9 01 116 <3 118
84 573 10 01 115 10 2> 118
85 597 26 01 115 109 2>
86 599 25 01 115 109 <5 10
87 626 7 01 115 <5 119 10
88 630 8 01 114 01 3> 119 10
89 657 26 01 114 0110 3> 10
90 663 25 01 114 0110 <7 11
91 693 5 01 114 <7 1111
92 695 3 01 113 <3 1112
93 697 4 01 112 10 2> 1112
94 733 28 01 112 1013 2>
95 735 27 01 112 1013 <5 10
96 774 1 01 112 <5 1113 10
97 778 2 01 11 01 3> 1113 10
98 817 28 01 11 0114 3> 10
99 823 27 01 11 0114 <7 11
100 865 -1 01 11 <7 1115
101 867 -3 01 <3 1116
102 869 -2 2> 1116
103 917 30 1016 2>
104 919 29 1016 <5 10
105 967 -3 <5 1116 10
106 971 -2 01 4> 1116 10
107 1003 30 01 1116 4> 10
108 1005 32 01 1116 10 2>
109 1007 31 01 1116 10 <5 10
110 1010 29 01 1116 <5 11 10
111 1014 30 01 1115 01 3> 11 10
112 1017 32 01 1115 012 3> 10
113 1023 31 01 1115 012 <7 11
114 1029 27 01 1115 <7 113
115 1031 25 01 1114 <3 114
116 1033 26 01 1113 10 2> 114
117 1045 34 01 1113 105 2>
118 1047 33 01 1113 105 <5 10
119 1062 23 01 1113 <5 115 10
...
655 22948 158 11 0180 3> 10
656 22954 157 11 0180 <7 11
657 23194 -3 11 <7 1181
658 23196 -5 <3 1182
659 23197 -4 6> 1182
660 23197 -4 6> 1182 [would halt]
Lines: 126
Top steps: 660
Macro steps: 660
Basic steps: 23197
Tape index: -4
ones: 164
log10(ones ): 2.215
log10(steps ): 4.365
Run state: would halt
Input to awk program:
gohalt 1
T 4-Tuple BB7 #3 of Machado/Pereira
4T 21 7< 71 3> 6> 40 2> 4> 11 3< 50 *= 4> 5<
: 164 23197
gohalt 0
L 6
m 25000
show 1 1050 0 22900 1
M 400
pref sim
machv 4BB7_3 just simple
machv 4BB7_3-r with repetitions reduced
machv 4BB7_3-1 with tape symbol exponents
machv 4BB7_3-m as 2-macro machine
machv 4BB7_3-a as 2-macro machine with pure additive config-TRs
iam 4BB7_3-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:28 CEST 2010
edate Tue Jul 6 22:11:29 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:28 CEST 2010