Gorol, Tomáš
Základní řešitelné a neřešitelné problémy z teorie formálních jazyků [rukopis] / Tomáš Gorol. -- 41 s. : tab. + 1 CD. -- Ved. práce Pavel Martinek. -- Abstrakt: 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é gramatiky. Na základě toho je tedy např. aplikace schopna rozhodnout, zda zadané slovo náleží do příslušného jazyka nebo zda jazyk generovaný danou gramatikou je prázdný.
Martinek, Pavel. Univerzita Palackého. Katedra informatiky
problém. řešitelnost. neřešitelnost. důkaz. algoritmus. gramatika. jazyk. aplikace. příslušnost. prázdnost. konečnost. univerzalita. ekvivalence. inkluze. průnik. regularita. nejednoznačnost. uzavřenost. literatura. bakalářské práce
(043)378.22