Theory of Computation

이 과정은 계산 가능성과 계산 복잡성 이론에 중점을 두고 있습니다. 학습자는 정규 언어, 문맥 자유 언어, 결정 가능 및 비결정 가능 문제, 재귀 함수 이론 등을 다루게 됩니다.