Programová podpora výuky UTI (zaměřená na konečné automaty)

Abstract

Cílem této diplomové práce bylo vytvořit plnohodnotné výukové softwarové dílo pro předmět teoretická informatika. Aplikace navazuje na mou bakalářskou práci z roku 2006, ale přesunula se z platformy kapesních počítačů na operační systémy Microsoft Windows, které jsou součástí většiny osobních počítačů. Celý vývoj systému byl řízen moderními nástroji, konkrétně softwarovým procesem RUP. Jednotlivé fáze procesu využívají digramy jazyka UML. Samotný program vysvětluje a podrobně popisuje velkou část problematiky konečných automatů. Operace jako převod automatu do normovaného tvaru, minimalizace, sjednocení či průnik dvou automatů i převod NDKA na DKA je možné nasimulovat pro téměř libovolný vstup definovaný uživatelem. Každým tímto algoritmem lze procházet vpřed i vzad. Největší důraz byl přitom kladen hlavně na správnost, názornost a znovupoužitelnost.

The aim of this thesis was to create an undepreciated tutorial software product for Theoretical Computer Science. The application continues where my bachelor´s work from 2006 ended. It was redesigned for operating system Microsoft Windows and personal computers from handheld platform. Whole system workflow was managed by modern utilities such as software process RUP. Every phase of the process uses UML diagrams. The program itself demonstrates and fully describes an extensive part of theory of finite state machines. The operations like normalization, minimalization, union or intersection of two machines and NFSM to FSM conversion are possible to simulate any input defined by user. Every algorithm can be browsed both forwards and backwards. The biggest emphasis was placed on precision, clearness and reusability.