The consensus string (or centre string, closest string) of a set S of strings is defined as a string which is within a radius r from all strings in S. We study the consensus string problem for multiple languages recognized by finite automata (FAs). We define the consensus string of languages to be within distance at most r to some string in each of the languages. We also study the decidability and computational complexity of the consensus string problem for multiple formal language instances. We show that the consensus string problem for multiple regular languages is PSPACE-complete even when the radius r is fixed. We prove that the problem can be solved in polynomial time when the number of languages is fixed. Finally, we study that the consensus string problem for the class of input-driven languages and show that the problem is decidable.
Bibliographical noteFunding Information:
Han was supported by the Institute for Information & communications Technology Promotion (IITP) grant funded by the Korea government (MSIP) ( 2018-0-00276 ) and Salomaa was supported by the Natural Sciences and Engineering Research Council of Canada (NSERC) ( OGP0147224 ).
© 2020 Elsevier Inc.
All Science Journal Classification (ASJC) codes
- Information Systems
- Computational Theory and Mathematics
- Theoretical Computer Science
- Computer Science Applications