Training simulator for algorithm theory

Context and relevance. In the work programs of the disciplines «Theory of Algorithms», «Compilation Methods», «Discrete Mathematics» and others included in the educational programs of specialties in information technology, the concepts of algorithm, finite automata and formal languages occupy an important place. Mastering these concepts requires abstract thinking abilities from students and often cause significant difficulties. Purpose. Improve the quality of assimilation of educational material in disciplines related to the concept of an algorithm using special software tools for visualization and modeling of various finite state machines. Hypothesis. The use of training simulators to demonstrate algorithm models allows the teacher to present the material as clearly as possible, and it is better for students to master the material and gain skills in solving problems in algorithm theory. Methods and materials. The study examined existing software tools for constructing graphs, diagrams of automata, Turing machines. The analysis revealed the shortcomings of individual tools, namely: limited capabilities, inconvenient interface, the need to comply with licensing. Results. A web application «FSM-Desiner» has been developed, which plays the role of a training simulator in algorithm theory. The application has a simple interface, the ability to build and simulate finite state machines, store memory machines and Turing machines. The experience of using the simulator showed that students began to cope with tasks better. In addition, it turned out that students had difficulty using artificial intelligence when solving problems, and this was easily detected. Conclusions. The use of the training simulator confirmed the importance of using special software tools for mastering the material on the theory of algorithms.