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