Author: subrosas (---.qwest.net)
Date: 07-21-2004 19:56
In the article "Speaking In Tongues," a distinction is made between computer/computational languages and mathematical languages. Turing Machines are then grouped as a mathematical language.
On what basis is this distinction made? Turing Machines define the limits of computability - the same limits which define a computer language. In general, problems that can be solved by a Turing Machine can be solved by computational languages. Problems which are not solvable (or recognizable, or whatever) by a TM cannot be solved by a computational language. Turing Machines _are_ the archetypal computer language.
|
|
