Medium
튜링 머신과 정지 문제
튜링 머신의 형식적 정의와 알고리즘의 한계를 탐구합니다.
📝 提示内容
앨런 튜링이 제안한 튜링 머신의 구성 요소(무한 테이프, 헤드, 상태 레지스터 등)를 설명하고, 이 모델이 현대 컴퓨터의 이론적 기초가 되는 이유를 설명하십시오. 또한, 정지 문제(Halting Problem)가 결정 불가능(undecidable)함을 대각선 논법(diagonalization)을 사용하여 개념적으로 증명하는 과정을 서술하십시오.