Based on mathworld, "The determination of whether a Turing machine will come to a halt given a particular input program. The halting problem is solvable for machines with less than four states".
--lee462 03:48, 22 November 2008 (UTC)
