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.