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

Bc. Daniel Pelíšek

Bachelor's thesis

Advanced internet service for solving decidable problems for context-free languages

Anotácia:

Cílem této práce je podstatně rozšířit existující internetovou službu pro převod bezkontextových gramatik do různých kanonických forem a zjištění izomorfismu dvou gramatik. Práce zahrnuje odstranění chyb aktuální aplikace, přidání nové funkcionality pro analýzu zadané bezkontextové gramatiky, převod gramatiky na zásobníkový automat prostřednictvím nedeterministické syntaktické analýzy a implementaci deterministické analýzy pomocí CYK algoritmu. Dále pak vytvoření administračního prostředí pro správu internetové služby.

Abstract:

The thesis deals with creation an internet service for analysing context-free grammars and transformation into various canonical forms. The final application is able to detect whether given grammar is in any canonical form (and name reasons), is self-embedded, generates empty, final or infinite language and find examples of words generated by the grammar. The service has also implemented functionality for converting given grammar into required canonical form, transformation to pushdown automaton and decision according C-Y-K algorithm whether specific word is or is not generated by the grammar. Furthermore the application is able to compare two grammars without considering naming of their nonterminal variables and thereby could be used as external evaluator of computer based examinations. Essential part of the thesis is to design algorithm for detection isomorphism between two grammar and proof its validity. The internet service has also an administration interface which provides functionality for maintaining the logs and temporary shutting down the application or its parts. The last part of thesis is to perform measurements, testing and optimization of application for fast response.

Kľúčové slová

Formální jazyk, Formální gramatika, Bezkontextová gramatika, Konečný automat, Zásobníkový automat, Transformace, Analýza, Kanonické formy, Rozhodnutelné problémy, Izomorfismus gramatik, E-learning, Internetová služba, Java, JSTL

Jazyk práce: Czech

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

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

• Obhajoba proběhla 20. 6. 2013
• Vedúci: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Computer Systems and Data Processing