계산 이론의 기초 - 알고리즘, 오토마타, 형식 언어, 계산 가능성, Turing 기계, NP 완전성, 결정 문제, 비결정론적 오토마타, 복잡도 이론, 정규 언어, 문맥 자유 언어, 상태 전이, 언어의 생성, 계산 모델, P 대