References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Syntactic complexity of bifix-free languages
(Submitted on 23 Apr 2016 (v1), last revised 6 Oct 2018 (this version, v3))
Abstract: We study the properties of syntactic monoids of bifix-free regular languages. In particular, we solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a bifix-free language with state complexity $n$ is at most $(n-1)^{n-3}+(n-2)^{n-3}+(n-3)2^{n-3}$ for $n\ge 6$. The main proof uses a large construction with the method of injective function. Since this bound is known to be reachable, and the values for $n \le 5$ are known, this completely settles the problem. We also prove that $(n-2)^{n-3} + (n-3)2^{n-3} - 1$ is the minimal size of the alphabet required to meet the bound for $n \ge 6$. Finally, we show that the largest transition semigroups of minimal DFAs which recognize bifix-free languages are unique up to renaming the states.
Submission history
From: Marek Szykuła [view email][v1] Sat, 23 Apr 2016 19:05:47 GMT (27kb)
[v2] Mon, 6 Mar 2017 11:34:38 GMT (28kb)
[v3] Sat, 6 Oct 2018 17:18:30 GMT (32kb)
Link back to: arXiv, form interface, contact.