Animace automatů

Abstract

Cílem této práce je vytvoření grafického prostředí pro studování konečných automatů. Pro snazší tvorbu této aplikace byla vytvořena knihovna komponent vhodná pro tvorbu aplikací zobrazující konečné automaty. Součástí práce je také definice množiny operací nad konečnými automaty, ze kterých lze sestavit většinu konstruktivních důkazů tvrzení o konečných automatech, a jejich implementace v prostředí pomocí vestavěného skriptovacího jazyka. Práce navíc podává návody jak lze jednoduše knihovnu i skriptovací jazyk rozšiřovat.

The aim of this work is to create a graphic environment for studying finite automata and to build a Delphi component library, which contains components representing automata. Creating a set of automata operations, that can represent a mathematical proof of automata thesis, is also important part of work. Also the implementation of these operations inside the environment as a built-in script language. The work also contains a guide of how to extend the component library and the script language.