1: \begin{abstract}

2: We study the syntactic complexity of finite/cofinite, definite and reverse definite languages.

3: The syntactic complexity of a class of languages is defined as the maximal size of  syntactic semigroups of languages from the class, taken as a function of the state complexity $n$ of the languages. 

4: We prove that $(n-1)!$ is a tight upper bound for finite/cofinite languages and that it can be reached only if the alphabet size is greater than or equal to 

5: $(n-1)!-(n-2)!$. We prove that the bound is also $(n-1)!$ for reverse definite languages, but the alphabet size is $(n-1)!-2(n-2)!$.

6: We show that $\lfloor e\cdot (n-1)!\rfloor$ is a lower bound on the syntactic complexity of definite languages, and  conjecture that this is also an upper bound, and  that the alphabet size required to meet this bound is $\floor{e \cdot (n-1)!} - \floor{e \cdot (n-2)!}$.

7: We prove the conjecture for $n\le 4$.

8: \medskip

9: 

10: \noin

11: {\bf Keywords:}

12: definite, finite automaton, finite/cofinite, regular language, reverse definite, syntactic complexity, syntactic semigroup

13: \end{abstract}

14: