Hlavní částí bakalářské práce je program Simulátor KA, který umožňuje jednoduché zadávání konečných automatů přes grafické rozhraní, jejich editaci a simulaci jejich výpočtu. Součástí práce je text, který vysvětluje základní pojmy z oblasti teorie o konečných automatech a dále uživatelská příručka k programu a programátorská dokumentace.The main part of thesis is a program named Simulator KA, which allows simple entering finite state machines through graphic interface, their editing and simulation of their calculation. Text, which explain basic terms about theory of finite state machines, user's manual and programmer's documentation, are integral parts of thesis.