Počet záznamů: 1
Algoritmy pro po částech testovatelné jazyky
Údaje o názvu Algoritmy pro po částech testovatelné jazyky [rukopis] / Eliška Foltasová Další variantní názvy Algoritmy pro po částech testovatelné jazyky Osobní jméno Foltasová, Eliška, (autor diplomové práce nebo disertace) Vyd.údaje 2021 Fyz.popis 54 s. : grafy + 1 CD Poznámka Ved. práce Tomáš Masopust Oponent Jiří Balun Dal.odpovědnost Masopust, Tomáš, (vedoucí diplomové práce nebo disertace) Balun, Jiří, (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova automat * regulární jazyk * po částech testovatelný jazyk * diskrétní událost * formální jazyk * testovatelnost po částech * automaton * regular language * piecewise-testable language * discrete event * formal language * piecewise testability 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 Aplikovaná informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00261828-856437930.pdf 25 1.7 MB 01.08.2021 Posudek Typ posudku 00261828-ved-177267182.pdf Posudek vedoucího 00261828-opon-497181439.pdf Posudek oponenta Ostatní přílohy Velikost Popis 00261828-other-392535800.zip 188.9 KB
Cílem této bakalářské práce je seznámit čtenáře s tématem jazyků testovatelných po částech a představit algoritmy ověřující tuto vlastnost regulárních jazyků. Praktická část práce se věnuje implementaci tří z popsaných algoritmů a jejich vzájemnému porovnání.The aim of this bachelor's thesis is to introduce the topic of piecewise testable languages to the reader and to present algorithms verifying this property of regular languages. The practical part of the thesis focuses on the implementation of three of the algorithms described, as well as on their mutual comparison.
Počet záznamů: 1