Bc. et Bc. Mária Svoreňová, Ph.D.

Master's thesis

Hierarchie regulárních jazyků

Concatenation hierarchies
Abstract:
The main goal of this thesis is to provide an overview of main results in algebraic theory of regular languages. Every regular language is associated with finite semigroup or monoid. We introduce a notion of pseudovarieties of finite (ordered) semigroups and monoids, which are in one-to-one correspondence with (positive) varieties of regular languages. Regular languages can also be characterized by …more
Abstract:
Hlavním cílem práce je přehled hlavních výsledků algebraické teorie regulárních jazyků. Regulární jazyky umíme popsat konečnými pologrupami či monoidmi. Tyto tvoří tzv. pseudovariety (uspořádaných) konečných pologrup a monoidů, které jsou v jednoznačné korespondenci s varietami regulárních jazyků. Dalším nástrojem pro popis regulárních jazyků jsou konečné automaty. Definujeme pojem C-variety automatů …more
 
 
Language used: Slovak
Date on which the thesis was submitted / produced: 11. 1. 2011

Thesis defence

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

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á fakulta

Masaryk University

Faculty of Science

Master programme / field:
Mathematics / Algebra and Discrete Mathematics