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

Mgr. Tomáš Pastirčák

Bakalářská práce

Advanced internet service for solving decidable problems for regular languages

Anotace:

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, konečnost), syntaktickou kontrolu vstupů v reálném čase, logování přístupů a jejich analýzu, administrátorskou stránku apod. Nedílnou součástí práce je zátěžový test této služby (nalezení limitů) a její optimalizace pro rychlou odezvu.

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 differ etc.), detection of language properties (emptiness, finaliness), real-time syntax checking of the entries, access logging and analysis, admin page etc. Obligatory part of the thesis is a performance test of this service (finding limits) and its optimisation for quick reply.

Klíčová slova

automat, konečný automat, gramatika, regulární jazyk, formální jazyk, regulární výraz, parser, webová aplikace

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 23. 5. 2011

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

• Obhajoba proběhla 24. 6. 2011
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika