Základní řešitelné a neřešitelné problémy z teorie formálních jazyků – Tomáš Gorol
Tomáš Gorol
Bakalářská práce
Základní řešitelné a neřešitelné problémy z teorie formálních jazyků
Elementary solvable and unsovable formal languages problems
Anotace:
Práce je rozdělena do dvou částí. V první části se snaží podat souhrnný přehled důkazů řešitelnosti, resp. neřešitelnosti nejznámějších problémů z teorie formálních jazyků a automatů. Druhá část se zabývá vytvořením aplikace, která implementuje algoritmy vybraných řešitelných problémů. Jedná se např. o problém příslušnosti pro bezkontextové a regulární gramatiky nebo problém prázdnosti pro bezkontextové …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 10. 2007
Obhajoba závěrečné práce
- Obhajoba proběhla 9. 6. 2009
- Vedoucí: Pavel Martinek
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Univerzita Palackého
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Hodnocení kvality hesel v počítačových systémech
Kamil Páral -
Cheegerův variační problém a jeho aplikace v teorii strun
Petr Vlachopulos -
Jazyk básníka jako jazyk divadla. Potenciální scéničnost v textu Lorcovy Krvavé svatby
Eliška Houserová -
Jazyk Python jako skriptovací jazyk pro Blender
Ondřej Kraus -
Jazyk Python jako skriptovací jazyk pro Autodesk Maya
Lucie Scholzová -
Duna: jazyk literatury a jazyk filmu
Matyáš DUFEK -
Textový editor - předmět rozšiřující Český jazyk, Anglický jazyk a Informatiku
Emil HORKÝ -
Význam zahraničních výjezdů žáků základních škol pro rozvoj klíčových kompetencí v předmětu Německý jazyk jako další cizí jazyk.
Štěpánka Fráňová