튜링 머신의 세계 - 튜링 머신, 계산 이론, 알고리즘, 결정 가능성, 비결정 문제, 복잡도, 기계 학습, 정보 이론, 형식 언어, 컴퓨터 과학, 자동화, 메모리, 상태 전이, 입력, 출력, 기계 모델, 수학적 논리, 컴퓨터 공학