Bc. Jana Bartoňová

Master's thesis

Straubingova-Thérienova hierarchie jazyků

Straubing-Thérien hierarchy of star-free languages
Abstract:
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.
 

Keywords

monoid uspořádaný monoid star-free jazyk predikátová logika hierarchie ordered monoid star-free language first-order logic hierarchy
 
Language used: Czech
Date on which the thesis was submitted / produced: 13. 5. 2015
Identifier: https://is.muni.cz/th/mv6cm/

Thesis defence

  • Date of defence: 16. 6. 2015
  • Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
  • Reader: doc. Mgr. Michal Kunc, Ph.D.

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