Bc. Jan Křetínský, Ph.D.

Bakalářská práce

Monadická logika druhého řádu na nekonečných řetězcích a stromech

Monadic second order logic on infinite chains and trees
Abstract:
We present one of the fundamental results on the automata theory, namely the correspondence between finite automata recognizability and monadic second--order logic definability. The types of languages concerned are mainly those of infinite words and trees. As a corollary, we show the monadic second--order logics with one and two successors to be decidable. These results are due to Büchi (1962) and …více
 

Keywords

monadic second--order logic infinite words infinite trees finite automata decidability
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 25. 5. 2007
Identifikátor: https://is.muni.cz/th/y4l9q/

Obhajoba závěrečné práce

  • Obhajoba proběhla 25. 6. 2007
  • Vedoucí: doc. Mgr. Michal Kunc, Ph.D.
  • Oponent: Ph.D. Marc Olschok

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakulta
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Obecná matematika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.