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/

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

Turing Machines
- Examples of Turing machines, the Church-Turing thesis and a discussion of uncomputability.
- http://cs.uhh.hawaii.edu/cs/courses/cs100/Turing/turing.htm

Turing Machine Languages
- This article shows the relation between recursively enumerable languages and Turing machines.
- http://www.mathsci.appstate.edu/~dap/classes/2490/chap23.html

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