Consensus string problem for multiple regular languages

Yo Sub Han, Sang Ki Ko, Timothy Ng, Kai Salomaa

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Article number104615
JournalInformation and Computation
Volume279
DOIs
Publication statusAccepted/In press - 2020

Bibliographical note

Funding 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 ).

Publisher Copyright:
© 2020 Elsevier Inc.

All Science Journal Classification (ASJC) codes

  • Information Systems
  • Computational Theory and Mathematics
  • Theoretical Computer Science
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Consensus string problem for multiple regular languages'. Together they form a unique fingerprint.

Cite this