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

Tomáš Pastirčák, učo 324693
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
Cílem práce je podstatně rozšířit a intenzivně otestovat existující intenetovou 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.
Práce zkontrolována:
24. 5. 2011 16:35, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Jazyk práce
čeština čeština
Termín obhajoby
24. 6. 2011
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU

Oponent

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

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.

Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

 
Název
Vložil
Vloženo
Práva
  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.
  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.
  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.
  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.
  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.