自动机理论、语言和计算导论(英文版·第3版)

.　1.5 the central concepts of automata theory
　　1.5.1 alphabets
　　1.5.2 , strings
　　1.5.3 languages
　　1.5.4 problems
　1.6 summary of chapter 1
　1.7 gradiance problems for chapter 1
　1.8 references for chapter 1
2 finite automata
　2.1 an informal picture of finite automata
2.1.1 the ground rules
　　2.1.2 the protocol
　　2.1.3 enabling the automata to ignore actions
　　2.1.4 the entire system as an automaton
　　2.1.5 using the product automaton to validate the protocol
　2.2 deterministic finite automata
　　2.2.1 definition of a deterministic finite automaton
　　2.2.2 how a dfa processes strings
　　2.2.3 simpler notations for dfa's
　　2.2.4 extending the transition function to strings
　　2.2.5 the language of a dfa
　　2.2.6 exercises for section 2.2
　2.3 nondeterministic finite automata
　　2.3.1 an informal view of nondeterministic finite automata
　　2.3.2 definition of nondeterministic finite automata
　　2.3.3 the extended transition function
　　2.3.4 the language of an nfa
　　2.3.5 equivalence of deterministic and nondeterministic finite automata
　　2.3.6 a bad case for the subset construction
　　2.3.7 exercises for section 2.3
2.4 an application: text search
　　2.4.1 finding strings in text
　　2.4.2 nondeterministic finite automata for text search
　　2.4.3 a dfa to recognize a set of keywords
　　2.4.4 exercises for section 2.4
2.5 finite automata with epsilon-transitions
　　2.5.1 uses of e-transitions
　　2.5.2 the formal notation for an c-nfa
　　2.5.3 epsilon-closures
　　2.5.4 extended transitions and languages for c-nfa's
　　2.5.5 eliminating e-transitions
　　2.5.6 exercises for section 2.5
　2.6 summary of chapter 2
　2.7 gradiance problems for chapter 2
　2.8 references for chapter 2
3 regular expressions and languages
　3.1 regular expressions
　　3.1.1 the operators of regular expressions
　　3.1.2 building regular expressions
　　3.1.3 precedence of regular-expression operators
　　3.1.4 exercises for section 3.1
　3.2 finite automata and regular expressions
　　3.2.1 from dfa's to regular expressions
　　3.2.2 converting dfa's to regular expressions by eliminating states
……
4 properties kf regular languages
5 context-free grammars and languages
6 pushdown automata
7 properties of context-free languages
8 introduction to turing machines
9 undecidability
10 intractable problems
11 additional classes of problems
index