|
|
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
|
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).
|
|
FORMULA
|
See the paper by Bodini et al. in order to obtain the P-recurrence of order 9 satisfied by a(n).
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|