The problem that the diploma thesis is trying to solve is poor understanding of Turing machines, noticed among my schoolmates. It is caused by poor simulators that don't show exact execution, and have an unintuitive way of programming them. The problem of unintuitive programming interfaces was solved by creating a graphic interface that functions in a similar manner to tools from debugging code like Visual Studio, NetBeans IDE and others. Last part of simulator is nondeterministic TS interpreter, which enables execution of nondeterministic TP. Simulator displays only the step, which was ,,guessed" by the nondeterministic TS and displays idealistic execution of nondeterminism.
|