Počet záznamů: 1
Základní řešitelné a neřešitelné problémy z teorie formálních jazyků
Údaje o názvu Základní řešitelné a neřešitelné problémy z teorie formálních jazyků [rukopis] / Tomáš Gorol Další variantní názvy Základní řešitelné a neřešitelné problémy z teorie formálních jazyků Osobní jméno Gorol, Tomáš (autor diplomové práce nebo disertace) Překl.náz Elementary solvable and unsovable formal languages problems Fyz.popis 41 s. : tab. + 1 CD Poznámka Ved. práce Pavel Martinek Dal.odpovědnost Martinek, Pavel (vedoucí diplomové práce nebo disertace) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova 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 Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 50163-517051131.zip 0 35.4 MB 31.12.2999
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ý.
Počet záznamů: 1