1: \begin{abstract}

2: We relate two measures of complexity of regular languages.

3: The first is syntactic complexity, that is, the cardinality of the syntactic semigroup of the language.

4: That semigroup is isomorphic to the semigroup of transformations of states induced by non-empty words in the minimal deterministic finite automaton accepting the language. If the language has $n$ left quotients (its minimal automaton has $n$ 

5: states), then its syntactic complexity is at most $n^n$ and this bound is tight.

6: The second measure consists of the  quotient (state) complexities of the atoms of the language, where atoms  

7:  are non-empty intersections of complemented and uncomplemented quotients.

8: A regular language has at most $2^n$ atoms and this bound is tight. 

9: The maximal quotient complexity of any atom  with $r$ complemented 

10: quotients is $2^n-1$, if $r=0$ or $r=n$, and 

11: $1+\sum_{k=1}^{r} \sum_{h=k+1}^{k+n-r} \binom{h}{n} \binom{k}{h}$,

12: otherwise. 

13: We prove that if a language has maximal syntactic complexity, then it has $2^n$ atoms

14: and each atom has maximal quotient complexity, but the converse is false.

15: %We also show that maximal atom complexities imply maximal quotient (state) complexity of reversal (which is $2^n$), but the converse is false.

16: \medskip

17: 

18: \noin

19: {\bf Keywords:}

20: atom, finite automaton, quotient complexity, regular language, reversal, semigroup, state complexity, syntactic complexity

21: 

22: \end{abstract}

23: