A238887 Cumulated number of leaves in computations trees induced by process trees of size n.

0, 1, 3, 12, 63, 418, 3460, 35309, 434879, 6296319, 104601742, 1956519181, 40622160668, 926192254412, 22993939511337, 617288387438399, 17815464892300869, 550018928405927892, 18086444341575141093, 631071177229005331170, 23286118567945953909224

Offset: 0

Author

Antoine Genitrini, Mar 06 2014

Keywords

• nonn

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.