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

Diplomová práce

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 …více
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ů …více
 
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 11. 1. 2011

Obhajoba závěrečné práce

  • Obhajoba proběhla 16. 2. 2011
  • Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
  • Oponent: doc. RNDr. Libor Polák, CSc.

Citační záznam

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

Masarykova univerzita

Přírodovědecká fakulta

Magisterský studijní program / obor:
Matematika / Algebra a diskrétní matematika