A Generalization of the Iteration Theorem for Recognizable Formal Power Series on Trees

Berstel and Reutenauer stated the iteration theorem for recognizable formal power series on trees over fields and vector spaces. The key idea of its proof is the existence of pseudo-regular matrices in matrix-products. This theorem is generalized to integral domains and modules over integral domains in this thesis. It only requires the reader to have basic knowledge in linear algebra. Concepts from the advanced linear algebra and abstract algebra are introduced in the preliminary chapter.:1. Introduction 2. Preliminaries 3. Long products of matrices 4. Formal power series on trees 5. The generalized iteration theorem 6. Conclusio