1: \begin{abstract}

2: The atoms of a regular language are non-empty intersections of complemented and uncomplemented quotients of the language.

3: Tight upper bounds on the number of atoms of a language and on the quotient complexities of atoms are known.

4: We introduce a new class of regular languages, called the \emph{maximally atomic languages}, consisting of all languages meeting these bounds.

5: We prove the following result:

6: If $L$ is a regular language of quotient complexity $n$ and $G$ is the subgroup of permutations in the transition semigroup $T$ of the minimal DFA of $L$, then 

7: $L$ is maximally atomic if and only if $G$ is transitive on $k$-subsets of $\{1,\dotsc,n\}$ for $0 \le k \le n$ and $T$ contains a transformation of rank $n-1$.

8: \medskip

9: 

10: \noin

11: {\bf Keywords:}

12: atom, \'atomaton, finite automaton, quotient complexity, regular language, set-transitive group, state complexity, transition semigroup

13: 

14: \end{abstract}

15: