Automata Theory

추상적인 계산 기계와 이를 통해 해결할 수 있는 문제를 연구하는 이론이다. 컴퓨터의 동작 원리를 수학적으로 모델링하여 계산 가능성과 효율성을 분석하며, 이는 현대 컴퓨터 과학의 모든 알고리즘과 하드웨어 설계의 핵심적인 기초가 된다.