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

Keywords

monadic second--order logic infinite words infinite trees finite automata decidability
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2007
Identifier: https://is.muni.cz/th/y4l9q/

Thesis defence

  • Date of defence: 25. 6. 2007
  • Supervisor: doc. Mgr. Michal Kunc, Ph.D.
  • Reader: Ph.D. Marc Olschok

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, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Bachelor programme / field:
Mathematics / Mathematics

Theses on a related topic

List of theses with an identical keyword.