Abstract
We introduce a new bio-inspired operation called a site-directed deletion motivated from site-directed mutagenesis performed by enzymatic activity of DNA polymerase: Given two strings x and y, a site-directed deletion partially deletes a substring of x guided by the string y that specifies which part of a substring can be deleted. We study a few decision problems with respect to the new operation and examine the closure properties of the (iterated) site-directed deletion operations. We, then, define a site-directed deletion-closed (and -free) language L and investigate its decidability properties when L is regular or context-free.
Original language | English |
---|---|
Title of host publication | Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings |
Editors | Mizuho Hoshi, Shinnosuke Seki |
Publisher | Springer Verlag |
Pages | 219-230 |
Number of pages | 12 |
ISBN (Print) | 9783319986531 |
DOIs | |
Publication status | Published - 2018 |
Event | 22nd International Conference on Developments in Language Theory, DLT 2018 - Tokyo, Japan Duration: 2018 Sept 10 → 2018 Sept 14 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11088 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Other
Other | 22nd International Conference on Developments in Language Theory, DLT 2018 |
---|---|
Country/Territory | Japan |
City | Tokyo |
Period | 18/9/10 → 18/9/14 |
Bibliographical note
Funding Information:Cho was supported by Labex DigiCosme (ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program “Investissement d’Avenir” Idex Paris-Saclay (ANR-11-IDEX-0003-02). Han was supported by the Basic Science Research Program through NRF (2015R1D1A1A01060097) and the International Research & Development Program of NRF (2017K1A3A1A12024971). Kim was supported in part by the NIH grant R01 GM109459. Salomaa was supported by Natural Sciences and Engineering Research Council of Canada Grant OGP0147224.
Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)