Algebraický přístup k lineární temporální logice – Bc. Karolína Malá
Bc. Karolína Malá
Master's thesis
Algebraický přístup k lineární temporální logice
An algebraic approach to linear temporal logic
Anotácia:
Tématem diplomové práce je algebraický přístup k regulárním jazykům definovaným formulemi lineární temporální logiky. Každý regulární jazyk umíme popsat konečným automatem a konečnou pologrupou. V naší práci ukážeme, jak lze některé regulární jazyky popsat pomocí formulí lineární temporální logiky. Podrobněji se pak budeme zabývat formulemi s určitým počtem překrývání operátoru Until, konkrétně formulemi …viacAbstract:
The main topic of this thesis is an algebraic approach to regular languages defined by formulas of linear temporal logic. Every regular language can be described by a finite automaton and a finite semigroup. In this thesis we show how we can describe some regular languages by formulas of linear temporal logic. We deal in detail with formulas with a certain number of overlaps of operator Until, specifically …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 9. 1. 2013
Identifikátor:
https://is.muni.cz/th/rwhf9/
Obhajoba závěrečné práce
- Obhajoba proběhla 5. 2. 2013
- Vedúci: doc. Mgr. Ondřej Klíma, Ph.D.
- Oponent: doc. RNDr. Libor Polák, CSc.
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á fakultaMasaryk University
Faculty of ScienceMaster programme / odbor:
Mathematics / Algebra and Discrete Mathematics
Práce na příbuzné téma
-
Rule-Based Parsing of Morphologically Rich Languages
Miloš Jakubíček -
Rule-Based Parsing of Morphologically Rich Languages
Miloš Jakubíček -
The various roles of fictional languages – Newspeak, Nadsat and Klingon
Miroslav Tichý -
Syntactic analysis of natural languages based on context free grammar backbone
Vladimír Kadlec -
Hierarchie regulárních jazyků
Mária Svoreňová -
Marketingový plán studentské formule: eForce FEE Prague Formula
Anna Faltysová -
Formula student - Koncept stínění z pohledu elektromagnetické kompatibility
Lukáš PIXA -
Materiálový návrh prvků zavěšení kol na studentské formuli týmu CULS Prague Formula Racing
Radek Drda