제1장 기호열과 언어 = 1
1.1 기호열과 기호열의 연산 = 3
1.2 언어에서 연산 = 7
제2장 형식문법 = 15
2.1 문법의 정의와 언어 = 17
2.2 문법의 형태 = 23
2.3 언어로부터 문법 만들기 = 30
2.4 유도 및 유도수형도 = 34
2.5 문맥자유문법의 두 가지 모호성 = 41
제3장 유한상태 머신 = 45
3.1 밀리머신 = 47
3.2 무어머신 = 55
3.3 상태열 = 60
제4장 밀리머신과 무어머신의 유사성과 전환 = 65
4.1 머신의 유사성 = 67
4.2 무어머신 Ms ⇒ 밀리머신 Mt 로의 전환 = 68
4.3 밀리머신 Mt ⇒ 무어머신 Ms 로의 전환 = 70
제5장 상태집합의 분할과 축소머신 = 81
5.1 상태집합의 분할 = 83
5.2 유한상태머신의 동치 = 88
5.3 동치상태 = 90
5.4 축소머신 = 98
5.5 머신의 직합과 동치 = 100
제6장 유한상태 수용기 = 105
6.1 수용기의 정의와 예제 = 107
6.2 유한상태 수용기의 변환 = 110
6.3 머신디자인에 대한 응용 = 115
6.4 유한상태 수용기와 정규문법 = 119
6.5 유한상태 수용기⇒ 우선형문법 = 122
6.6 우선형문법⇒ 유한상태 수용기 = 127
6.7 우선형문법⇒ 좌선형문법의 전환 = 131
제7장 정규표현과 정규집합 = 135
7.1 정의와 예제 = 137
7.2 알덴규칙 = 141
7.3 유한상태수용기⇒ 정규표현 = 143
제8장 정규표현과 유한상태 수용기 = 149
8.1 λ-전이와 λ-수용기 = 151
8.2 λ-전이의 제거 = 156
8.3 λ-수용기와 유한상태 수용기와의 관계 = 159
8.4 정규표현에서 λ-수용기 = 165
8.5 정규표현에서 유한상태 수용기 = 170
연습문제 해답 = 181
찾아보기 = 189