Monadická logika druhého řádu na nekonečných řetězcích a stromech – Bc. Jan Křetínský, Ph.D.
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
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
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á fakultaMasaryk University
Faculty of ScienceBachelor programme / field:
Mathematics / Mathematics