The thesis offers an investigation into the analysis of so-called iterated generating functions and the schemes that produce them. Beginning with the study of some ad hoc scheme formulations, the notion of an iterated generating function is introduced and a mechanism to produce arbitrary finite sequences established. The development of schemes to accommodate infinite sequences leads – in the case of the Catalan sequence – to the discovery of what are termed Catalan polynomials whose properties are examined. Results are formulated for these polynomials through the algebraic adaptation of classical root-finding algorithms, serving as a basis for the synthesis of new generalised results for other infinite sequences and their associated polynomials.

<p>This thesis is a survey of the field of languages over infinite sequences. There is active research going on in this field, during the last year several new results where published. </p><p>We investigate the language containment problem for infinite sequences, with focus on complementation of Büchi automata. Our main focus is on the approach with alternating automata by Kupferman&Vardi. The language containment problem has been proved to be in EXPSPACE. We identify some cases when we can avoid the exponential blow-up by taking advantage of properties of the input automaton. </p><p>Some of the algorithms we explain are also implemented in a Sicstus Prolog library.</p>

This thesis is a survey of the field of languages over infinite sequences. There is active research going on in this field, during the last year several new results where published. We investigate the language containment problem for infinite sequences, with focus on complementation of Büchi automata. Our main focus is on the approach with alternating automata by Kupferman&amp;Vardi. The language containment problem has been proved to be in EXPSPACE. We identify some cases when we can avoid the exponential blow-up by taking advantage of properties of the input automaton. Some of the algorithms we explain are also implemented in a Sicstus Prolog library.