A284116 - cp's OEIS frontend

A284116 a(n) = largest number of distinct words arising in Post's tag system {00, 1101} applied to a binary word w, over all starting words w of length n, or a(n) = -1 if there is a word w with an unbounded trajectory.

n	a(n)
1	4
2	7
3	6
4	7
5	22
6	23
7	24
8	25
9	30
10	31
11	34
12	421
13	422
14	423
15	422
16	423
17	424
18	2169
19	2170
20	2171
21	2170
22	2171
23	2172
24	2165
25	2166
26	2167
27	24566
28	24567
29	24568
30	24567
31	24568
32	24569
33	24568
34	24569
35	24570
36	253513
37	253514
38	342079
39	342080
40	342083
41	342084
42	342103
43	20858070

[4, 7, 6, 7, 22, 23, 24, 25, 30, 31, 34, 421, 422, 423, 422, 423, 424, 2169, 2170, 2171, 2170, 2171, 2172, 2165, 2166, 2167, 24566, 24567, 24568, 24567, 24568, 24569, 24568, 24569, 24570, 253513, 253514, 342079, 342080, 342083, 342084, 342103, 20858070]

cp's OEIS Frontend

A284116 a(n) = largest number of distinct words arising in Post's tag system {00, 1101} applied to a binary word w, over all starting words w of length n, or a(n) = -1 if there is a word w with an unbounded trajectory.

Table of values

List of values