Return to search

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. Conclusion

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:88029
Date15 November 2023
CreatorsKramer, Patrick
ContributorsMaletti, Andreas, Universität Leipzig
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/acceptedVersion, doc-type:bachelorThesis, info:eu-repo/semantics/bachelorThesis, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0157 seconds