Number of the records: 1
Algoritmy pro po částech testovatelné jazyky
Title statement Algoritmy pro po částech testovatelné jazyky [rukopis] / Eliška Foltasová Additional Variant Titles Algoritmy pro po částech testovatelné jazyky Personal name Foltasová, Eliška, (dissertant) Issue data 2021 Phys.des. 54 s. : grafy + 1 CD Note Ved. práce Tomáš Masopust Oponent Jiří Balun Another responsib. Masopust, Tomáš, (thesis advisor) Balun, Jiří, (opponent) Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor) Keywords 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 Form, Genre bakalářské práce bachelor's theses UDC (043)378.22 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Bc. Degree program Bakalářský Degree program Informatika Degreee discipline Aplikovaná informatika book
Kvalifikační práce Downloaded Size 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 Size 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.
Number of the records: 1