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
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 …viac
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 …viac
 
 
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.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky