1 계산이론 개요 2 유한 오토마타 3 정규 언어와 정규 문법 4 정규 언어의 성질 5 문맥-자유 언어 6 문맥-자유 문법의 단순화와 정규형 7 푸시다운 오토마타 8 문맥-자유 언어의 성질 9 튜링 기계 10 튜링 기계의 다른 모델 11 형식 언어의 계층과 오토마타 12 알고리즘적인 계산의 한계 13 다른 계산 모델 14 계산 복잡도의 개관 부록 A 유한-상태 변환기 부록 B JFLAP : 추천의 글 해답 참고문헌
1 계산이론 개요 2 유한 오토마타 3 정규 언어와 정규 문법 4 정규 언어의 성질 5 문맥-자유 언어 6 문맥-자유 문법의 단순화와 정규형 7 푸시다운 오토마타 8 문맥-자유 언어의 성질 9 튜링 기계 10 튜링 기계의 다른 모델 11 형식 언어의 계층과 오토마타 12 알고리즘적인 계산의 한계 13 다른 계산 모델 14 계산 복잡도의 개관 부록 A 유한-상태 변환기 부록 B JFLAP : 추천의 글 해답 참고문헌 찾아보기