Závěrečná práce: Tomáš Pastirčák, učo 324693: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků
Bakalářská práce
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
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 …více
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 …více
Zadání práce
24. 5. 2011 16:35, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Vedoucí
Literatura
- ČERNÁ, Ivana; Mojmír KŘETÍNSKÝ a Antonín KUČERA. Formální jazyky a automaty I. Elportál. Brno: Masarykova univerzita, 2006. ISSN 1802-128X.
Citace dle normy ČSN ISO 690
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Rozšíření nástroje JGAF
Mgr. Radek Gomola, učo 256769 -
Rozšiřitelný nástroj pro práci s formálními jazyky
Mgr. Jan Rychtář, učo 172967 -
Rozhraní pro práci s konečnými automaty
Bc. Viktor Sýkora, učo 172588 -
Operace s regulárními jazyky pomocí rozpoznávání monoidy
Mgr. Pavlína Vávrová -
Konsolidace nástroje JGAF
Mgr. Juraj Bielik -
LL analyzátory a jejich implementace v prostředí JGAF
Bc. Dominik Szalai -
Hvězdná výše regulárních jazyků
Mgr. Bc. Jana Novotná Škarková -
Vývojové prostředí pro webový šablonovací systém
Mgr. Martin Lazar, učo 99031




