특정한 입력 프로그램이 주어졌을 때, 튜링머신이 끝날지(정지할지, come to a halt)에 대한
결정,determination.
4개 미만의
상태기계,state_machine에 대해선 풀 수 있다.
4개
상태,state에 대해선 아직.
5개 상태에 대해서도 아직. 거의 확실히 풀 수 없을 것으로 보임.
General TM이 정지할지 여부에 대한 문제는 undecidable. Alan_Turing이 증명.
(MathWorld)
AKA 중단문제, 멈춤문제
tmp
{
totality_problem
totality problem: does a given machine halt for all its imputs?
이거 정지문제의 동의어? chk
totality problem
}