Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků – Bc. Daniel Pelíšek
Bc. Daniel Pelíšek
Bakalářská práce
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
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 20. 5. 2013
Identifikátor:
https://is.muni.cz/th/gzefg/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2013
- Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: prof. RNDr. Mojmír Křetínský, CSc.
Citační záznam
Citace dle ISO 690:
PELÍŠEK, Daniel. \textit{Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků}. Online. Bakalářská práce. Brno: Masarykova univerzita, Fakulta informatiky. 2013. Dostupné z: https://theses.cz/id/dvmub4/.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Počítačové systémy a zpracování dat
Práce na příbuzné téma
-
Příprava komponent pro e-kurz Konečné automaty a formální jazyky
Luděk HROCH -
Teorie automatů
Klára Stratílková -
Demonstrace a transformace formálních automatů a gramatik
Tomáš Petura -
Internetová služba pro transformace bezkontextových gramatik
Jonáš Ševčík -
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti formálních jazyků
Adrián Elgyütt -
Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků
Tomáš Pastirčák -
Příprava komponent pro e-kurz Konečné automaty a formální jazyky
Luděk HROCH -
Masivní otevřené online kurzy (MOOC) jako součást digitální transformace trhu vzdělávaní
Jan Vilimovský