Zpět na vyhledávání

Bc. Karolína Malá

Master's thesis

Algebraický přístup k lineární temporální logice

An algebraic approach to linear temporal logic
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

syntaktická pologrupa regulární jazyk lineární temporální logika formule C-varieta jazyků C-pseudovarieta homomorfismů syntactic semigroup regular language linear temporal logic formula C-variety of languages C-pseudovariety of homomorphisms
 
Language used: Czech
Date on which the thesis was submitted / produced: 9. 1. 2013
Identifier: https://is.muni.cz/th/rwhf9/

Thesis defence

  • Date of defence: 5. 2. 2013
  • Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
  • Reader: doc. RNDr. Libor Polák, CSc.

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