Popis regulárních jazyků pomocí predikátové logiky – Bc. Martin Jonáš
Bc. Martin Jonáš
Master's thesis
Popis regulárních jazyků pomocí predikátové logiky
Description of regular languages using predicate logic
Abstract:
Tato diplomová práce se zabývá souvislostí formálních jazyků a predikátové logiky. Je v ní nejprve představen způsob, jakým popisovat formální jazyky pomocí predikátové logiky. Poté je dokázán Büchiho slavný výsledek, podle kterého je libovolný jazyk regulární právě tehdy, když je možné ho popsat monadickou logikou druhého řádu s relacemi „následuje“ a „bezprostředně následuje.“ Dále je dokázán podobný …moreAbstract:
The thesis deals with connection between formal languages and predicate logic. First, the way to define a formal language using predicate logic is described. Then the famous result of Büchi, which states that the class of regular languages is equal to the class of languages definable by monadic second order logic with "greater than" and "successor" relations, is proven. Then we prove similar theorem …more
Language used: Czech
Date on which the thesis was submitted / produced: 26. 5. 2014
Identifier:
https://is.muni.cz/th/kfobw/
Thesis defence
- Date of defence: 24. 6. 2014
- Supervisor: doc. Mgr. Michal Kunc, Ph.D.
- Reader: RNDr. Petr Novotný
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, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Theoretical Informatics