be25ace644319e66.tex
1: \begin{abstract}
2: We survey recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata.
3: In addition to the quotient complexity of the language -- which is the number of its (left) quotients, and is the same as its state complexity -- we also consider the size of its syntactic semigroup  and the quotient complexity of its atoms -- basic components of every regular language.
4: We then turn to the study of the quotient/state complexity of common operations on regular languages: reversal, (Kleene) star, product (concatenation) and boolean operations.
5: We examine relations among these complexity measures. 
6: We discuss several subclasses of regular languages defined by  convexity. 
7: In many, but not all,  cases there exist ``most complex'' languages, languages satisfying all these complexity measures. 
8: \medskip
9: 
10: \noin
11: {\bf Keywords:}
12: atom, boolean operation, complexity measure, concatenation, convex language, most complex language,  quotient complexity, regular language, reversal, star, state complexity,  syntactic semigroup, unrestricted complexity
13: \end{abstract}
14: