계산 이론의 형식언어인 오토마타, 계산가능성과 관련한 내용을 소개한 책. 수학적 개요와 표기법을 비롯해 유한 오토마타, 정규 언어와 정규 문법, 정규 언어의 특성, 문백-자유 문법의 단순화와 정규형 및 자유 언어의 성질들, 튜링 기계, 튜링 기계의 다른 모델들, 형식 언어 계층과 오토마타, 알고리즘적인 계산의 한계, 다른 계산 모델 등을 자세하게 수록했다.

제1장 계산 이론 개요
제2장 유한 오토마타
제3장 정규 언어와 정규 문법
제4장 정규 언어의 특성
제5장 문맥-자유 언어
제6장 문맥-자유 문법의 단순화와 정규형
제7장 푸시다운 오토마타
제8장 문맥-자유 언어의 성질들
제9장 튜링 기계
제10장 튜링 기계의 다른 모델들
제11장 형식 언어 계층과 오토마타
제12장 알고리즘적인 계산의 한계
제13장 다른 계산 모델
제14장 계산 복잡도 입문