login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A238887 Cumulated number of leaves in computations trees induced by process trees of size n. 0
0, 1, 3, 12, 63, 418, 3460, 35309, 434879, 6296319, 104601742, 1956519181, 40622160668, 926192254412, 22993939511337, 617288387438399, 17815464892300869, 550018928405927892, 18086444341575141093, 631071177229005331170, 23286118567945953909224 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,3

LINKS

Table of n, a(n) for n=0..20.

O. Bodini, A. Genitrini and F. Peschanski, The Combinatorics of Non-determinism, In proc. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Leibniz International Proceedings in Informatics, pp 425-436, 2013.

FORMULA

See the paper by Bodini et al. in order to obtain the P-recurrence of order 9 satisfied by a(n).

CROSSREFS

Cf. A007852.

Sequence in context: A308206 A264151 A186186 * A135889 A124562 A172450

Adjacent sequences:  A238884 A238885 A238886 * A238888 A238889 A238890

KEYWORD

nonn,easy

AUTHOR

Antoine Genitrini, Mar 06 2014

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified July 31 15:01 EDT 2021. Contains 346374 sequences. (Running on oeis4.)