Consensus string problem for multiple regular languages

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

Research output: Contribution to journalArticle

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
DOIs
Publication statusAccepted/In press - 2020

All Science Journal Classification (ASJC) codes

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

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

  • Cite this