State complexity of insertion

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

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

It is well known that the resulting language obtained by inserting a regular language to a regular language is regular. We study the nondeterministic and deterministic state complexity of the insertion operation. Given two incomplete DFAs of sizes m and n, we give an upper bound (m+2)·2mn-m-1·3m and find a lower bound for an asymp-totically tight bound. We also present the tight nondeterministic state complexity by a fooling set technique. The deterministic state complexity of insertion is 2Θ(mn) and the nondeterministic state complexity of insertion is precisely mn+2m, where m and n are the size of input finite automata. We also consider the state complexity of insertion in the case where the inserted language is bifix-free or non-returning.

Original languageEnglish
Pages (from-to)863-878
Number of pages16
JournalInternational Journal of Foundations of Computer Science
Volume27
Issue number7
DOIs
Publication statusPublished - 2016 Nov 1

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)

Fingerprint Dive into the research topics of 'State complexity of insertion'. Together they form a unique fingerprint.

  • Cite this