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.
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.
Terms
- a(0) =4a(1) =7a(2) =6a(3) =7a(4) =22a(5) =23a(6) =24a(7) =25a(8) =30a(9) =31a(10) =34a(11) =421a(12) =422a(13) =423a(14) =422a(15) =423a(16) =424a(17) =2169a(18) =2170a(19) =2171a(20) =2170a(21) =2171a(22) =2172a(23) =2165a(24) =2166a(25) =2167a(26) =24566a(27) =24567a(28) =24568a(29) =24567
External references
- oeis: A284116