(New page: Based on mathworld, The determination of whether a Turing machine will come to a halt given a particular input program. <br> The halting problem is solvable for machines with less than fou...)
 
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
Based on mathworld, The determination of whether a Turing machine will come to a halt given a particular input program. <br> The halting problem is solvable for machines with less than four states.
+
Based on mathworld, The determination of whether a Turing machine will come to a halt given a particular input program. <br> The halting problem is solvable for machines with less than four states.<br>
 +
moreover, This is also one of the most interesting non-programming parts of computer science study of what can (and cannot) be computed.
 +
 
 +
 
 +
-Jungil([[User:lee462|lee462]] 03:38, 21 November 2008 (UTC))

Latest revision as of 06:53, 22 November 2008

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.
moreover, This is also one of the most interesting non-programming parts of computer science study of what can (and cannot) be computed.


-Jungil(lee462 03:38, 21 November 2008 (UTC))

Alumni Liaison

Abstract algebra continues the conceptual developments of linear algebra, on an even grander scale.

Dr. Paul Garrett