Komponenta výukového serveru TI - Turingovy stroje

Abstract

Within this master's thesis, a web application was created for teaching Turing machines. The application can retrieve the definition of a particular TS, i.e. initial state, end states, tape alphabet and transition function. For a given initial tape content, the application then allows the simulation of the computation of the loaded TS.

This simulation is offered by the web-based user interface for several variants of TS, namely in addition to the basic TS for a machine with multiple tapes and for a machine operating on a two-dimensional tape (squared plane). It is also possible to view a simulation of a machine in one variant by a machine in another variant. Thus, on the created dynamic web pages, it is possible to simulate a two-tape machine with a single tape, a machine with a double-sided infinite tape machine with a single-sided infinite tape machine and a machine with an arbitrary alphabet with a binary alphabet machine.

The created application offers, in addition to dynamic web pages written in the ASP.NET Core 3.1 framework, also a console application interface for developers to test changes in TS processing implementations.