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

Abstract

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.