Theoretical computer science 관련 문서
 이론 컴퓨터 과학의 한 분야인 오토마타 이론에서 사용되는 유한 상태 오토마톤]] 이론 컴퓨터 과학은 컴퓨터 과학과 수학의 하위 분야로, 계산의 추상적이고 수학적인 기초에 초점을 맞춘다.