C++ Simulator of a Nondeterministic Turing Machine has been added at :

*

http://alexvn.freeservers.com/s1/turing.html
*

http://sourceforge.net/projects/turing-machine/
Currently those sites contain C++ Simulators for both Deterministic and Nondeterministic Turing Machines.

The Simulators contain examples of Turing Machines as well.

1. A (Deterministic) Turing Machine example :

"Recognition of Palindromes"

from 'The Design and Analysis of Computer Algorithms [1976]' by A.V.Aho, J.E.Hopcroft, J.D.Ullman

(See examples 1.8, 1.9)

2. A Nondeterministic Turing Machine example :

"Partition Problem"

from 'The Design and Analysis of Computer Algorithms [1976]' by A.V.Aho, J.E.Hopcroft, J.D.Ullman

(See example 10.1)

--

=====================================

Alex Vinokur

(E-Mail Removed)

http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================