Bc. Daniel Pelíšek

Bachelor's thesis

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

Advanced internet service for solving decidable problems for context-free languages
Abstract:
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 …more
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 …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 20. 5. 2013
Identifier: https://is.muni.cz/th/gzefg/

Thesis defence

  • Date of defence: 20. 6. 2013
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Mojmír Křetínský, CSc.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution