S. Deque, S. , S. , S. Iii-algebraic-analysis, and >. Algebraic-analyzer, Generating functions are ordinary Counting generating functions: ro_deque(z)=q(z), )+x(z) q(z)=z s(z)=z x(z)=1 y(z)=1 S1(z)=q(z)*A1(z)*x(z)*S1(z), p.1

B. J. Beauquier, B. , and L. Thimonnier, On a concurrency measure, 1986.

C. C. Choppy, S. Kaplan, and M. Soria, Algorithmic complexity of term rewriting systems, Proc. of the 2nd R.T.A. Conf., Lecture Notes in Comp. Sc. 256, 1987.
DOI : 10.1007/3-540-17220-3_22

P. Doubilet, G. C. Rota, and R. Stanley, On the foundations of combinatorial theory (VI): the idea of generating function, Sixth Berkeley Symp, pp.267-318, 1972.

]. P. Fla81 and . Flajolet, Analyse d'algorithmes de manipulation d'arbres et de chiers, Cahiers du B.U.R.O, pp.34-351, 1981.

]. P. Fla85 and . Flajolet, Elements of a general theory of combinatorial structures, Proc. FCT Conf., Lecture Notes in Comp. Sc 199, pp.112-127, 1985.

P. Flajolet and A. M. Odlyzko, Singularity analysis of generating functions, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075725

]. D. Foa74, F. P. Foata, J. Flajolet, and . Steyaert, La s erie g en eratrice exponentielle dans les probl emes d' enum eration A complexity calculus for classes of recursive search programs over tree structures, Proc. 22nd I.E.E.E Symp. on F.O.C.S., pages 386{393, 1981. FS89] P. Flajolet and M. Soria. Gaussian limiting distributions for the number of components in combinatorial structures. J. Combinatorial Theory, 1974.

P. Flajolet, B. Salvy, and P. Zimmermann, Lambda-Upsilon-Omega: An assistant algorithms analyzer, Proceedings AAECC'6, pp.201-212, 1988.
DOI : 10.1007/3-540-51083-4_60
URL : https://hal.archives-ouvertes.fr/hal-00917731

]. D. Gen89 and . Geniet, Automaf, un syst eme de construction d'automates synchronis es et de mesure de parall elisme, 1989.

G. , I. P. Goulden, and D. M. Jackson, Combinatorial Enumeration, 1983.

]. D. Gre83, H. T. Greene, J. Hickey, and . Cohen, Labelled formal languages and their uses Automating program analysis, JACM, vol.35, pp.185-220, 1983.

]. A. Joy81, Une th eorie combinatoire des s eries formelles, Advances in Mathematics, vol.42, issue.1, pp.1-82, 1981.

]. D. Knu68 and . Knuth, The Art of Computer Programming, v olume 1: Fundamental Algorithms, 1968.

]. D. Knu73 and . Knuth, The Art of Computer Programming, v olume 3: Sorting and Searching, 1973.

]. D. Knu81 and . Knuth, The Art of Computer Programming, v olume 2: Seminumerical Algorithms, 1981.

]. D. Knu84 and . Knuth, The toilet paper problem, American Mathematical Monthly, issue.8, pp.91465-470, 1984.

]. D. Koz81 and . Kozen, Semantics of probabilistic programs, J. Comput. Syst. Sci, vol.22, pp.328-350, 1981.

]. D. Met88 and . Metayer, Ace: An automatic complexity e v aluator, ACM Transactions on Programming Languages and Systems, vol.10, issue.2, pp.248-266, 1988.

M. , F. Morain, and J. Olivos, Speeding up the computations on an elliptic curve using additionsubstraction chains, 1989.

]. V. Pra73 and . Pratt, Computing permutations with double-ended queues, parallel stacks and parallel queues, Proceedings of the fth annual ACM symposium on theory of computing, pp.268-277, 1973.

]. L. Ram79 and . Ramshaw, Formalizing the analysis of algorithms, Also available as Tech. Rep. SL-79-5, Xerox P alo Alto Research C e n ter, 1979.

]. B. Sal88 and . Salvy, F onctions g en eratrices et asymptotique automatique, 1988.

S. Stanley, Generating functions, Studies in Mathematics, vol.17, pp.100-141, 1978.

J. Vitter and P. Flajolet, Avera g e C a s e A nalysis of Algorithms and Data Structures. N o r t h Holland Pub, Chapter, p.96, 1987.

]. F. Viv88 and . Vivares, Prol egom enes a un langage de, 1988.

]. B. Weg75 and . Wegbreit, Mechanical program analysis, Communications of the ACM, vol.18, issue.9, pp.528-539, 1975.

]. E. Wri61 and . Wright, Partitions into k parts, Math. Annalen, vol.142, pp.311-316, 1961.

]. P. Zim88a and . Zimmermann, Alas : un syst eme d'analyse alg ebrique, 1988.

]. W. Zim88b and . Zimmermann, How t o m e c hanize complexity analysis Contents I Introduction, 1988.

I. Session, :3 II.1 Problem speciication : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :3 II, Source Program (Adl), p.4

A. Iv-the and |. Analyzer, 10 IV.1 Translation of data type declarations : : 11 IV.2 Translation of procedure declarations : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 IV.3 The Solver : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 13 V The Analytic (Asymptotic) Analyzer |ANANAS : : : : : : : : : : : : : : : : : : : : : : : : : 13 V.1 Analytic Principles, 13 V.2 Algorithm : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 14 V.3 Some Applications, p.15

V. A. Collection and . Examples, 16 VII Concluding Remarks : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 17 A Regular Languages and Finite Automata 19

V. Asymptotic, 26 VI Algebraic analysis of the second algorithm : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 VII Solving equations, :, p.26