Bc. Matěj Žáček
Master's thesis
Automatic Structures of Polynomial Growth
Automatic Structures of Polynomial Growth
Abstract:
Automatická struktura je struktura, která může být reprezentována regulárními jazyky. Přirozenou podtřídou jsou automatické struktury s polynomiálním růstem. Regulární jazyky reprezentující tyto struktury mají polynomiální růst. V této práci se zaměřujeme na automatické struktury ekvivalencí s polynomiálním růstem. Dokazujeme klasifikaci speciálního případu a poté načrtneme možné zobecnění tohoto důkazu …moreAbstract:
An automatic structure is a structure that can be represented by regular languages. A natural subclass are poly-growth automatic structures. The regular languages representing these structures have polynomial growth. In this thesis we focus on poly-growth automatic equivalence structures. We prove a classification of a special case, and then we sketch a possible generalisation of this proof to get …more
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2023
Identifier:
https://is.muni.cz/th/gs6v0/
Thesis defence
- Date of defence: 14. 2. 2024
- Supervisor: Dr. rer. nat. Achim Blumensath
- Reader: prof. RNDr. Jan Strejček, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Principles of programming languages
Theses on a related topic
- No theses on a related topic available.