login
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
OFFSET
0,3
LINKS
Olivier Bodini, Antoine Genitrini and Frédéric Peschanski, The Combinatorics of Non-determinism, In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 24, pp. 425-436, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013).
CROSSREFS
Cf. A007852.
Sequence in context: A186186 A355164 A373770 * A375394 A351778 A135889
KEYWORD
nonn
AUTHOR
Antoine Genitrini, Mar 06 2014
STATUS
approved