We present a graphical simulator of 1-Tape, k-Tapes, deterministic and non deterministic Turing machines. The simulator is written in Java and as such it runs on most platforms. During and after the computation it returns interesting features such as the amount of space visited/used and the number of steps. When simulating non-deterministic Turing machines it allows to browse the “tree” of non deterministic computations. It is developed purely for didactic purposes: it can be used in courses of Foundations of Computer Science, in courses of Computational Complexity, as well as in didactic projects with high schools
P. 77-92Due to the impact of the new technologies in our Society, special efforts to use them for te...
We describe an approach to teaching algorithmic thinking and programming and the first experiences t...
Graphical simulation is an attempt of predicting the aspects of behavior of some system by developin...
The diploma work presents the Turing machine, its use and functionality. The Turing machine is not a...
[[abstract]]The Turing machine can be used for rigorous study of the computation theory. In theory t...
In this thesis, the theory related to Turing machines and means of their description (with focus on ...
[[abstract]]The Turing machine can be used for rigorous study of the computation theory. In theory t...
In the early 90’s, mathematicians were tiresome to design an operative computation model headed for ...
Computer systems become more powerful and more popular. It is not easy for computer users to compreh...
AbstractThe standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one es...
The purpose of this paper is to outline an approach for the development of the Tape Machines model ...
The amount of storage needed to simulate a nondeterministic tape bounded Turingmachine on a determin...
AbstractThis paper introduces a Turing machine and pushdown automata simulators as a virtual environ...
Includes bibliographical references (pages 32-33)The subject of this paper is Turing machines. I hav...
A visual simulator has been developed for understanding computer structure and behavior. It is writt...
P. 77-92Due to the impact of the new technologies in our Society, special efforts to use them for te...
We describe an approach to teaching algorithmic thinking and programming and the first experiences t...
Graphical simulation is an attempt of predicting the aspects of behavior of some system by developin...
The diploma work presents the Turing machine, its use and functionality. The Turing machine is not a...
[[abstract]]The Turing machine can be used for rigorous study of the computation theory. In theory t...
In this thesis, the theory related to Turing machines and means of their description (with focus on ...
[[abstract]]The Turing machine can be used for rigorous study of the computation theory. In theory t...
In the early 90’s, mathematicians were tiresome to design an operative computation model headed for ...
Computer systems become more powerful and more popular. It is not easy for computer users to compreh...
AbstractThe standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one es...
The purpose of this paper is to outline an approach for the development of the Tape Machines model ...
The amount of storage needed to simulate a nondeterministic tape bounded Turingmachine on a determin...
AbstractThis paper introduces a Turing machine and pushdown automata simulators as a virtual environ...
Includes bibliographical references (pages 32-33)The subject of this paper is Turing machines. I hav...
A visual simulator has been developed for understanding computer structure and behavior. It is writt...
P. 77-92Due to the impact of the new technologies in our Society, special efforts to use them for te...
We describe an approach to teaching algorithmic thinking and programming and the first experiences t...
Graphical simulation is an attempt of predicting the aspects of behavior of some system by developin...