A Lower Bound for Primality of Finite Languages
Abstract
A regular language $L$ is said to be prime, if it is not the product of two non-trivial languages. Martens et al. settled the exact complexity of deciding primality for deterministic finite automata in 2010. For finite languages, Mateescu et al. and Wieczorek suspect the $\mathrm{NP}\text{ - }completeness$ of primality, but no actual bounds are given. Using techniques of Martens et al., we prove the $\mathrm{NP}$ lower bound and give a $\Pi_{2}^{\mathrm{P}}$ upper bound for deciding primality of finite languages given as deterministic finite automata.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2019
- DOI:
- 10.48550/arXiv.1902.06253
- arXiv:
- arXiv:1902.06253
- Bibcode:
- 2019arXiv190206253S
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- 18 pages