Outfix-guided insertion

Da Jung Cho, Yo Sub Han, Timothy Ng, Kai Salomaa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Motivated by work on bio-operations on DNA strings, we consider an outfix-guided insertion operation that can be viewed as a generalization of the overlap assembly operation on strings studied previously. As the main result we construct a finite language L such that the outfix-guided insertion closure of L is nonregular. We consider also the closure properties of regular and (deterministic) context-free languages under the outfix-guided insertion operation and decision problems related to outfix-guided insertion. Deciding whether a language recognized by a deterministic finite automaton is closed under outfix-guided insertion can be done in polynomial time.

Original languageEnglish
Title of host publicationDevelopments in Language Theory - 20th International Conference, DLT 2016, Proceedings
EditorsChristophe Reutenauer, Srecko Brlek
PublisherSpringer Verlag
Pages102-113
Number of pages12
ISBN (Print)9783662531310
DOIs
Publication statusPublished - 2016 Jan 1
Event20th International Conference on Developments in Language Theory, DLT 2016 - Montreal, Canada
Duration: 2016 Jul 252016 Jul 28

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9840
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other20th International Conference on Developments in Language Theory, DLT 2016
CountryCanada
CityMontreal
Period16/7/2516/7/28

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Outfix-guided insertion'. Together they form a unique fingerprint.

  • Cite this

    Cho, D. J., Han, Y. S., Ng, T., & Salomaa, K. (2016). Outfix-guided insertion. In C. Reutenauer, & S. Brlek (Eds.), Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings (pp. 102-113). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9840). Springer Verlag. https://doi.org/10.1007/978-3-662-53132-7_9