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

Martin Šurányi
Anotace

Práca sa zaoberá rozšírením vyhodnocovacej služby pre regulárne gramatiky. Táto služba bola vytvorená pre riešenie vybraných rozhodnuteľných problémov z oblasti regulárnych jazykov, ako je napríklad ekvivalencia jazykov, konečných automatov alebo regulárnych výrazov, určenie minimálneho automatu apod. Služba je rozšírená o analýzu jazykov, detekciu ich vlastností, syntaktickú analýzu vstupu v reálnom čase, logovanie atď.

Abstract

This thesis deals with extension of evaluation service for regular grammars. This service was created for solving decidable problems for regular languages such as language, definite automata and regular expressions equivalence, making minimal automaton and such. Service is extended by language analysis, language feature detection, real time input parsing, logging etc.

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:
6. 1. 2010 10:40, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
1,3 MB / soubor PDF
Jazyk práce
slovenština slovenština
Termín obhajoby
2. 2. 2010
Práce nebyla obhájena

Vedoucí

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

Oponent

RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
abs 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.

 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Martin Šurányi FI B-AP BcAP mqqul/6
Šurányi, M.
5. 1. 2010
  • 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.