Preface | v | ||||
Part I: Strings and Languages | 1 | (36) | |||
|
3 | (10) | |||
|
3 | (5) | |||
|
3 | (2) | |||
|
5 | (1) | |||
|
6 | (1) | |||
|
7 | (1) | |||
|
7 | (1) | |||
|
8 | (5) | |||
|
8 | (1) | |||
|
8 | (1) | |||
|
9 | (4) | |||
|
13 | (24) | |||
|
14 | (1) | |||
|
15 | (6) | |||
|
15 | (2) | |||
|
17 | (2) | |||
|
19 | (2) | |||
|
21 | (5) | |||
|
21 | (2) | |||
|
23 | (2) | |||
|
25 | (1) | |||
|
26 | (7) | |||
|
27 | (2) | |||
|
29 | (4) | |||
|
33 | (4) | |||
Part II: Grammatical Complexity of Unimodal Maps | 37 | (142) | |||
|
39 | (24) | |||
|
39 | (4) | |||
|
39 | (2) | |||
|
41 | (1) | |||
|
42 | (1) | |||
|
43 | (7) | |||
|
43 | (1) | |||
|
44 | (1) | |||
|
45 | (2) | |||
|
47 | (3) | |||
|
50 | (5) | |||
|
50 | (1) | |||
|
51 | (1) | |||
|
51 | (3) | |||
|
54 | (1) | |||
|
55 | (3) | |||
|
55 | (1) | |||
|
56 | (1) | |||
|
57 | (1) | |||
|
57 | (1) | |||
|
58 | (5) | |||
|
58 | (2) | |||
|
60 | (3) | |||
|
63 | (34) | |||
|
63 | (5) | |||
|
63 | (3) | |||
|
66 | (2) | |||
|
68 | (9) | |||
|
68 | (2) | |||
|
70 | (1) | |||
|
70 | (3) | |||
|
73 | (2) | |||
|
75 | (2) | |||
|
77 | (6) | |||
|
78 | (2) | |||
|
80 | (1) | |||
|
81 | (2) | |||
|
83 | (8) | |||
|
83 | (1) | |||
|
84 | (3) | |||
|
87 | (1) | |||
|
88 | (3) | |||
|
91 | (6) | |||
|
91 | (1) | |||
|
92 | (2) | |||
|
94 | (3) | |||
|
97 | (14) | |||
|
97 | (6) | |||
|
98 | (1) | |||
|
99 | (1) | |||
|
100 | (3) | |||
|
103 | (3) | |||
|
103 | (1) | |||
|
104 | (2) | |||
|
106 | (2) | |||
|
106 | (1) | |||
|
107 | (1) | |||
|
108 | (3) | |||
|
108 | (1) | |||
|
109 | (1) | |||
|
110 | (1) | |||
|
111 | (34) | |||
|
111 | (9) | |||
|
112 | (4) | |||
|
116 | (2) | |||
|
118 | (1) | |||
|
118 | (2) | |||
|
120 | (6) | |||
|
120 | (2) | |||
|
122 | (1) | |||
|
123 | (3) | |||
|
126 | (10) | |||
|
126 | (3) | |||
|
129 | (5) | |||
|
134 | (2) | |||
|
136 | (9) | |||
|
136 | (3) | |||
|
139 | (6) | |||
|
145 | (16) | |||
|
145 | (2) | |||
|
145 | (1) | |||
|
146 | (1) | |||
|
147 | (4) | |||
|
147 | (1) | |||
|
148 | (1) | |||
|
149 | (2) | |||
|
151 | (3) | |||
|
154 | (7) | |||
|
154 | (1) | |||
|
155 | (1) | |||
|
156 | (3) | |||
|
159 | (2) | |||
|
161 | (18) | |||
|
161 | (4) | |||
|
161 | (1) | |||
|
162 | (1) | |||
|
163 | (1) | |||
|
163 | (2) | |||
|
165 | (5) | |||
|
166 | (2) | |||
|
168 | (1) | |||
|
169 | (1) | |||
|
170 | (2) | |||
|
172 | (7) | |||
|
172 | (2) | |||
|
174 | (1) | |||
|
175 | (1) | |||
|
176 | (3) | |||
Part III: Grammatical Complexity of Circle Homeomorphisms | 179 | (48) | |||
|
181 | (16) | |||
|
182 | (3) | |||
|
185 | (3) | |||
|
185 | (2) | |||
|
187 | (1) | |||
|
188 | (9) | |||
|
188 | (3) | |||
|
191 | (3) | |||
|
194 | (3) | |||
|
197 | (12) | |||
|
197 | (4) | |||
|
198 | (1) | |||
|
199 | (2) | |||
|
201 | (4) | |||
|
205 | (4) | |||
|
209 | (18) | |||
|
209 | (4) | |||
|
213 | (2) | |||
|
215 | (12) | |||
|
216 | (1) | |||
|
217 | (1) | |||
|
218 | (1) | |||
|
219 | (2) | |||
|
221 | (1) | |||
|
222 | (2) | |||
|
224 | (3) | |||
Appendices | 227 | (32) | |||
A Finite Automata and Regular Languages | 227 | (14) | |||
A.1 Finite Automata | 227 | (4) | |||
A.1.1 Deterministic Finite Automata | 227 | (2) | |||
A.1.2 Extensions of DFA | 229 | (1) | |||
A.1.3 Transition Diagrams of FA | 230 | (1) | |||
A.2 Grammars and Expressions | 231 | (2) | |||
A.2.1 Right-Linear Grammars | 231 | (1) | |||
A.2.2 Regular Expressions | 232 | (1) | |||
A.3 Minimum States DFA | 233 | (5) | |||
A.3.1 A Natural Equivalence Relation RL | 234 | (1) | |||
A.3.2 The Role of RL | 234 | (1) | |||
A.3.3 The Myhill-Nerode Theorem | 235 | (2) | |||
A.3.4 Applications | 237 | (1) | |||
A.4 Properties of Regular Languages | 238 | (3) | |||
A.4.1 Pumping Lemma of Regular Languages | 239 | (1) | |||
A.4.2 Closure Properties | 239 | (2) | |||
B Non-Regular Languages | 241 | (12) | |||
B.1 Turing Machines | 241 | (6) | |||
B.1.1 Definitions | 241 | (1) | |||
B.1.2 Recursively Enumerable Languages | 242 | (2) | |||
B.1.3 Recursive Languages | 244 | (1) | |||
B.1.4 Linear Bounded Automata | 245 | (1) | |||
B.1.5 Pushdown Automata | 246 | (1) | |||
B.2 Languages Generated by Grammars | 247 | (6) | |||
B.2.1 The Chomsky Hierarchy | 247 | (1) | |||
B.2.2 Context-Free Languages | 248 | (1) | |||
B.2.3 Pumping Lemma of Context-Free Languages | 249 | (1) | |||
B.2.4 The Ogden Lemma | 250 | (1) | |||
B.2.5 Two Theorems related CFL and RGL | 250 | (1) | |||
B.2.6 Context-Sensitive Languages | 251 | (2) | |||
C L Systems and Languages | 253 | (6) | |||
C.1 Definitions of Some L Systems and Languages | 253 | (4) | |||
C.1.1 DOL Languages | 253 | (2) | |||
C.1.2 OL Languages | 255 | (1) | |||
C.1.3 TOL Languages | 256 | (1) | |||
C.1.4 ETOL Languages | 256 | (1) | |||
C.2 Relations with Chomsky Hierarchy | 257 | (2) | |||
C.2.1 Languages between CFL and CSL | 257 | (1) | |||
C.2.2 Full Abstract Family of Languages | 257 | (2) | |||
References | 259 | (10) | |||
Symbols Index | 269 | (2) | |||
Subject Index | 271 |