Hlavním cílem práce je prostudovat dvoucestné konečné automaty, jejich základní vlastnosti a operace, jako například sjednocení, průnik a další. V praktické části je vytvořena knihovna pro práci s těmito automaty, která je pak využita v ukázkové aplikaci vytvořené pro potřeby této práce.The main goal of the thesis is to study two-way finite automata, their properties and operations, such as union, intersection, etc. The practical part consists of a library to work with such automata and of a sample application created for the purpose of this work.