| Structure 1 | |
| Name | A simple regular expression |
| Specification | [S, {S = Sequence(Prod(Sequence(Union(Z,Z,Z)),Union(Z,Z)))}, unlabelled] |
| First terms in the sequence | [1, 2, 10, 50, 250, 1250, 6250, 31250, 156250, 781250, 3906250, 19531250, 97656250, 488281250, 2441406250, 12207031250, 61035156250, 305175781250, 1525878906250, 7629394531250, 38146972656250] |
| Generating function | (-1 +3 *x)/(-1 +5 *x) |
| Recurrence | {f(0) = 1, f(1) = 2, 5 *f(n)-f(n +1)} |
| Closed form | 2 *5^(n-1) +PIECEWISE([3/5, n = 0],[0, otherwise]) |
| Asymptotics of the coefficients | 2/5 *exp(-n)^(-ln(5)) |
| References | EIS A020699 (up to a possible factor of n!) |
| ECS number | 1037 |
Last modified on August 6, 1999.
For problems involving this web page, please contact encyclopedia@inria.fr.