[Pure S cases are at the beginning]
1
1
,
In[]:=
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],10000]]
Out[]=
In[]:=
ddx=SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],20000];
In[]:=
ListLinePlot[(LeafCount/@ddx)/Range[Length[ddx]]]
Out[]=
In[]:=
ListLinePlot[Differences[LeafCount/@ddx]]
Out[]=
In[]:=
Histogram[Differences[LeafCount/@ddx],{1}]
Out[]=
2
2
,
In[]:=
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],5000]]
Out[]=
In[]:=
ListLinePlot[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]]]
Out[]=
In[]:=
Histogram[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]],{1}]
Out[]=
3
3
,
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s]][s][s][s][s][s],2000]]
4
4
,
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s]][s][s][s][s]],2000]]
5
5
,
6
6
7
7
8
8
9
9
10
10
11
11
12
12
13
13
14
14
15
15
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
27
27
28
28
29
29
30
30
31
31
32
32
33
33
34
34
35
35
36
36
37
37
38
38
39
39
40
40
41
41
42
42
[ the first K case ... ]
43
43
44
44
45
45
46
46
47
47
48
48
49
49
50 [expected “halting”]
50 [expected “halting”]
51
51
52
52
53
53
54 [exponential grower]
54 [exponential grower]
55
55
56
56
57 [dies]
57 [dies]
58
58
59 [exponential grower]
59 [exponential grower]
60
60
61
61
62
62
63 [dies; 48 steps]
63 [dies; 48 steps]
64 [dies; 47 steps]
64 [dies; 47 steps]
65
65
66
66
67
67
68
68
69
69
70
70
71 [eventual repeat]
71 [eventual repeat]
72
72
73
73
74
74
75
75
76
76