Mgr. Tomáš Pastirčák

Bachelor's thesis

Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků

Advanced internet service for solving decidable problems for regular languages
Abstract:
Cílem práce je podstatně rozšířit a intenzivně otestovat existující internetovou službu, která umí porovnávat regulární jazyky zadané v různých formalismech a také převádět popis jazyka mezi jednotlivými formalismy. Služba by měla být rozšířena zejména o detailnější analýzu rozdílů mezi jazyky (tj. detekce jazykové inkluze, příklady slov, kterými se jazyky liší atd.), detekci vlastností jazyka (prázdnost …more
Abstract:
The goal of this thesis is to extend and deeply test an existing internet service for comparing of regular languages entered in different formalisms as well as converting the description of the language between the formalisms. The service should be primarily extended by more detailed analysis of differences between languages(detection of language inclusion, examples of the words, in which the languages …more
 

Keywords

automat konečný automat gramatika regulární jazyk formální jazyk regulární výraz parser webová aplikace
 
Language used: Czech
Date on which the thesis was submitted / produced: 23. 5. 2011
Identifier: https://is.muni.cz/th/xcr6a/

Thesis defence

  • Date of defence: 24. 6. 2011
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Jiří Barnat, 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, Fakulta informatiky
Složka Reference to the local database directory of the institution