일반 언어의 맥락에서 결정 가능한 질문은 올바른 출력이 보장된 알고리즘에 의해 답변될 수 있는 질문을 말합니다. 즉, 유한한 시간 안에 답을 결정할 수 있는 계산 절차가 존재하는 문제입니다. 의 개념을 이해하기 위해