계산 이론

튜링 머신과 계산 가능성 이론: 앨런 튜링의 사고 실험과 '정지 문제'