Bc. Jana Bartoňová

Diplomová práce

Straubingova-Thérienova hierarchie jazyků

Straubing-Thérien hierarchy of star-free languages
Anotace:
Tato diplomová práce se zabývá jednou z tzv. zřetězovacích hierarchií star-free jazyků - Straubingovou-Thérienovou hierarchií. Je zaměřena především na seznámení s prostředky, které byly použity při charakterizaci stupňů 5/2, 2 a 7/2 této hierarchie. Hlavním zkoumaným nástrojem je speciální typ Ehrenfeuchtových-Fraissého her.
Abstract:
In this thesis we study one of so-called concatenation hierarchies of star-free languages - Straubing-Thérien hierarchy. The thesis is aimed primarily at investigating tools which were used to obtain decidable characterizations of levels 5/2, 2, and 7/2 of this hierarchy. The main examined tool is a special type of Ehrenfeucht-Fraissé games.
 

Klíčová slova

monoid uspořádaný monoid star-free jazyk predikátová logika hierarchie ordered monoid star-free language first-order logic hierarchy
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 13. 5. 2015
Identifikátor: https://is.muni.cz/th/mv6cm/

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

  • Obhajoba proběhla 16. 6. 2015
  • Vedoucí: doc. Mgr. Ondřej Klíma, Ph.D.
  • Oponent: doc. Mgr. Michal Kunc, Ph.D.

Citační záznam

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce