Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

automatic structures multi-dimensional interpretations equivalence structures polynomial growth
 
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.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Theoretical computer science / Principles of programming languages

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.