Enter Domain Name:

Top / Computers / Computer_Science / Theoretical / Automata_Theory / Turing_Machines /

Recursively Enumerable Language
A Wikipedia article which defines Turing machines, gives examples and describes equivalent models and the universal Turing machine.
http://en.wikipedia.org/wiki/Turing_machine
Wikipedia.org  ~   Site Info   Whois   Trace Route   RBL Check  
Turing Machines
Article in Stanford Encyclopedia of Philosophy.
http://plato.stanford.edu/entries/turing-machine/
Stanford.edu  ~   Site Info   Whois   Trace Route   RBL Check  
Turing Machines and Computability
A discussion of decision problems, Turing machines, noncomputable problems, Goedel numbering and the halting problem.
http://www.augustana.ab.ca/~mohrj/courses/1998.fall/csc110/lecture_notes/turing_machines.html
Augustana.ab.ca  ~   Site Info   Whois   Trace Route   RBL Check  
Turing Machine Simulator
A simulator which runs included programs such as a palindrome detector and also allows writing of programs.
http://ironphoenix.org/tril/tm/
Ironphoenix.org  ~   Site Info   Whois   Trace Route   RBL Check  
Turing Machines
Basic introduction Turing machines, the Church-Turing thesis and a discussion of computability. Part of the course taught at the University of Hawaii at Hilo.
http://cs.uhh.hawaii.edu/cs/courses/cs100/Turing/turing_machines.htm
Hawaii.edu  ~   Site Info   Whois   Trace Route   RBL Check  
Multiplatform Turing Machine Simulator
An implementation of Turing Machine in C++ prepared for the Wroclaw University of Technology for the Mathematical Complexity of Algorithms course.
http://tms.pierreq.com/
Pierreq.com  ~   Site Info   Whois   Trace Route   RBL Check