A
Alex Vinokur
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
mailto:[email protected]
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================
* 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
mailto:[email protected]
http://mathforum.org/library/view/10978.html
news://news.gmane.org/gmane.comp.lang.c++.perfometer
=====================================