Zpět na vyhledávání

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

Bachelor's thesis

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 …viac
 

Keywords

monadic second--order logic infinite words infinite trees finite automata decidability
 
Jazyk práce: English
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
  • Vedúci: 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

Masaryk University

Faculty of Science

Bachelor programme / odbor:
Mathematics / Mathematics

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

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