X-Nico

3 unusual facts about turing machine


Non-recursive function

Computable function, or total recursive function, a function computable by a Turing machine

Tim van Gelder

For example, that a Watt governor is a better metaphorical description of the way humans think than a Turing machine style computer.

Turing machine

Genetix a virtual machine created by Bernard Hodson containing only 34 executable instructions


Darwin machine

A Darwin machine (a 1987 coinage by William H. Calvin, by analogy to a Turing machine) is a machine that, like a Turing machine, involves an iteration process that yields a high-quality result, but, whereas a Turing machine uses logic, the Darwin machine uses rounds of variation, selection, and inheritance.


see also

Context-sensitive language

The class LINSPACE (or DSPACE(O(n))) is defined the same, except using a deterministic Turing machine.

Occam's razor

Marcus Hutter has used this consistency to define a "natural" Turing machine of small size as the proper basis for excluding arbitrarily complex instruction sets in the formulation of razors.

Quantum Turing machine

Iriyama, Ohya, and Volovich have developed a model of a Linear Quantum Turing Machine (LQTM).

Turing equivalence

Turing completeness, having computational power equivalent to a universal Turing machine

Universal Turing machine

Von Neumann universal constructor – an attempt to build a self-replicating Turing machine