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.<br>
 
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.
 
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, 18 November 2008 (UTC))

Revision as of 23:05, 21 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, 18 November 2008 (UTC))

Alumni Liaison

Ph.D. on Applied Mathematics in Aug 2007. Involved on applications of image super-resolution to electron microscopy

Francisco Blanco-Silva