cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A154476 Number of e's in each iteration of Wolfram's e[x_][y_] -> x[x[y]] symbolic rewriting system, starting from the initial state e[e[e][e]][e][e].

Original entry on oeis.org

6, 8, 8, 9, 9, 15, 20, 25, 29, 32, 37, 43, 46, 48, 50, 51, 51, 51, 52, 52, 52, 55, 56, 56, 56, 57, 57, 57, 59, 61, 62, 62, 62, 63, 63, 63, 66, 67, 67, 67, 68, 68, 68, 71, 73, 75, 76, 76, 76, 77, 77, 77, 80, 81, 81, 81, 82, 82, 82, 84, 86, 87, 87, 87, 88, 88, 88, 93, 94, 94
Offset: 0

Views

Author

Antti Karttunen, Jan 11 2009

Keywords

Examples

			The iteration starts from the initial term e[e[e][e]][e][e], which contains 6 e's, thus a(0)=6.
		

Crossrefs

a(n) = A154475(n)+1.

Formula

a(n) = A072643(A154471(n)) - A072643(A154472(n)).