GUI k automatové knihovně ALIB

Abstract

Tato práce se zaměřuje na návrh a implementaci grafického uživatelského rozhraní pro automatovou knihovnu ALIB. Text obsahuje popis knihovnou nabízených funkcí a analýzu podmnožiny funkcí, které budou nabízeny grafickým rozhraním. Dále obsahuje rešerši existujících aplikací pracujících s automaty a jejich porovnání, návrh vlastního grafického rozhraní a architektury aplikace. Cílem práce bylo vytvořit pro uživatele zajímavé grafické rozhraní k ovládání automatové knihovny ALIB. Hlavní myšlenkou navrženého rozhraní je poskytnout uživateli stavební bloky, funkce knihovny, a nechat jej seskládat řešení jeho problému. Původně bylo možné využít funkce knihovny pouze z příkazové řádky. Při implementaci byl využit programovací jazyk C++ a framework Qt. Výstupem práce je vlastní program s grafickým rozhraním zpřístupňující funkce knihovny ALIB. Vzniklý kód je pod opensource licencí.

This bachelor's thesis describes the design and implementation of application providing grafical user interface for automata library ALIB. The text contains overview of ALIB functions and analysis of functions subset working with finite automata. Research on existing applications focusing on finite automata, design of GUI and application's architecture. Application's goal is to provide intuitive grafical interface for functions from automata library. Main idea behind the GUI is provide algorithms as pieces and let the users build their solution. Originally interface of project ALIB was on the command line. The implementation uses C++ and framework Qt. The product of this thesis is an application providing GUI to subset of ALIB functions. Created code is licenced as opensource.