Syntactic Complexity of Suffix-Free Languages
Abstract
We solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a suffix-free language with $n$ left quotients (that is, with state complexity $n$) is at most $(n-1)^{n-2}+n-2$ for $n\ge 6$. Since this bound is known to be reachable, this settles the problem. We also reduce the alphabet of the witness languages reaching this bound to five letters instead of $n+2$, and show that it cannot be any smaller. Finally, we prove that the transition semigroup of a minimal deterministic automaton accepting a witness language is unique for each $n$.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2014
- DOI:
- 10.48550/arXiv.1412.2281
- arXiv:
- arXiv:1412.2281
- Bibcode:
- 2014arXiv1412.2281B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 22 pages, 12 figures