A 15-Year Retrospective on Insertion-Deletion Systems: Progress, Evolution, and Future Directions

This paper offers a comprehensive retrospective on the development and results in the field of insertion-deletion systems over the past 15 years, building upon an earlier foundational overview from 2010. We review key theoretical developments, new extensions, and variations that have emerged, examin...

Full description

Saved in:
Bibliographic Details
Published inComputer science journal of Moldova Vol. 32; no. 3(96); pp. 332 - 371
Main Authors Alhazov, Artiom, Ivanov, Sergiu, Verlan, Sergey
Format Journal Article
LanguageEnglish
Published Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 01.11.2024
Vladimir Andrunachievici Institute of Mathematics and Computer Science
Subjects
computational completeness
Computer Science
decidability
insertion-deletion systems
Modeling and Simulation
regulated rewriting
regulated rewriting
decidability
insertion-deletion systems
computational completeness
Online AccessGet full text
ISSN1561-4042
2587-4330
2587-4330
DOI10.56415/csjm.v32.18

Cover

Abstract This paper offers a comprehensive retrospective on the development and results in the field of insertion-deletion systems over the past 15 years, building upon an earlier foundational overview from 2010. We review key theoretical developments, new extensions, and variations that have emerged, examining their impact on the computational power of insertion-deletion systems. This retrospective aims to update the field’s understanding of the model, providing insights into the latest progress and identifying promising directions for future research.
AbstractList This paper offers a comprehensive retrospective on the development and results in the field of insertion-deletion systems over the past 15 years, building upon an earlier foundational overview from 2010. We review key theoretical developments, new extensions, and variations that have emerged, examining their impact on the computational power of insertion-deletion systems. This retrospective aims to update the field's understanding of the model, providing insights into the latest progress and identifying promising directions for future research.
Author Alhazov, Artiom
Ivanov, Sergiu
Verlan, Sergey
Author_xml – sequence: 1
  givenname: Artiom
  orcidid: 0000-0002-6184-3971
  surname: Alhazov
  fullname: Alhazov, Artiom
– sequence: 2
  givenname: Sergiu
  orcidid: 0000-0002-1537-6508
  surname: Ivanov
  fullname: Ivanov, Sergiu
– sequence: 3
  givenname: Sergey
  orcidid: 0000-0001-7800-1618
  surname: Verlan
  fullname: Verlan, Sergey
BackLink https://hal.science/hal-04839019$$DView record in HAL
BookMark eNp9kE1rGzEQhkVJoU6aW3-ArgGvI2lXWik3k0-DoaVJDj2JWXmUrFmvjLR28L-PNi6FXgIDM8y8PDPznpKTPvRIyA_OZlJVXF66tN7M9qWYcf2FTITUdVGVJTshEy4VLypWiW_kNKU1Y0pVWkwIzCmXxR-ESH_jEEPaohvaPdLQ00WfMA5t6Isb7HAs6OMhDbhJV_RXDC8RU5rS233oduNwSqFf0bvdsItIb9o4gkKfvpOvHrqE53_zGXm-u326fiiWP-8X1_Nl4fKFQ7ESBl0jhFPaCa-M8bXWIL2RTkmFjQDlPSrTcCFAO-e8aEppjPKMcQ1NeUYWR-4qwNpuY7uBeLABWvvRCPHFQv7GdWhrhiuURhowTVULCUrXjOWlLAcvdWYVR9au38LhDbruH5Az--G1Hb222WvLR_3FUf8K3X-rH-ZLO_ZYpcuMNnuetdOj1mW3U0T_OfodermRfA
Cites_doi 10.1007/978-3-030-62536-8_5
10.1007/s00236-003-0114-y
10.1016/j.tcs.2020.09.002
10.1007/978-3-319-45994-3_13
10.4204/EPTCS.386.9
10.1007/s11047-021-09861-3
10.1023/B:NACO.0000006769.27984.23
10.1007/s11047-013-9396-3
10.1007/978-3-642-74932-2
10.1007/s11047-019-09742-w
10.1007/978-3-642-12032-9_17
10.1016/j.tcs.2007.07.030
10.1145/335305.335341
10.1007/s11047-010-9208-y
10.1016/j.tcs.2010.08.025
10.1007/978-3-319-23111-2_6
10.1007/s11047-021-09866-y
10.1038/s41467-018-04252-2
10.3390/a14050131
10.1016/j.tcs.2012.07.002
10.1006/inco.1996.0091
10.1007/978-3-031-13502-6_2
10.1016/0020-0255(83)90023-3
10.1007/978-3-319-41312-9_4
10.1007/978-3-319-92435-9_7
10.3115/990403.990451
10.1007/978-3-642-59126-6
10.1016/0022-0000(86)90062-0
10.1007/s00236-018-0312-2
10.1007/3-540-60249-6_60
10.1007/978-3-540-70583-3_5
10.1007/s11047-017-9656-8
10.1038/nprot.2013.143
10.1007/978-3-662-03563-4
10.1016/j.tcs.2017.01.019
10.1080/00207169408804288
10.1051/ita/1991250504731
10.3233/COM-210345
10.3233/FI-2017-1580
10.1142/S0129054108006005
10.1016/j.tcs.2004.06.031
10.3233/FI-2015-1203
10.4204/EPTCS.31.0
ContentType Journal Article
Copyright Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID AAYXX
CITATION
1XC
ADTOC
UNPAY
DOA
DOI 10.56415/csjm.v32.18
DatabaseName CrossRef
Hyper Article en Ligne (HAL)
Unpaywall for CDI: Periodical Content
Unpaywall
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList

CrossRef
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
– sequence: 2
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2587-4330
EndPage 371
ExternalDocumentID oai_doaj_org_article_70ede5959a9b4725a68700f690690138
10.56415/csjm.v32.18
oai:HAL:hal-04839019v1
10_56415_csjm_v32_18
GroupedDBID 29F
2WC
5VS
AAKPC
AAYXX
ABDBF
ACIPV
ACUHS
ADBBV
AEGXH
ALMA_UNASSIGNED_HOLDINGS
AMVHM
BCNDV
C1A
CITATION
EOJEC
ESX
GROUPED_DOAJ
KQ8
MK~
ML~
OBODZ
OK1
OVT
RNS
TR2
TUS
1XC
ADTOC
UNPAY
ID FETCH-LOGICAL-c330t-d29ecb22c68c2f699f788a5f95c656eb2a6ffe69b122a8cccf2b35996f0018ab3
IEDL.DBID UNPAY
ISSN 1561-4042
2587-4330
IngestDate Fri Oct 03 12:44:52 EDT 2025
Mon Sep 15 10:05:54 EDT 2025
Tue Oct 14 20:10:08 EDT 2025
Wed Oct 01 05:52:14 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 3(96)
Keywords regulated rewriting
decidability
insertion-deletion systems
computational completeness
Language English
License Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
cc-by-nc-sa
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c330t-d29ecb22c68c2f699f788a5f95c656eb2a6ffe69b122a8cccf2b35996f0018ab3
ORCID 0000-0002-6184-3971
0000-0001-7800-1618
0000-0002-1537-6508
0000-0002-6286-0917
OpenAccessLink https://proxy.k.utb.cz/login?url=https://doi.org/10.56415/csjm.v32.18
PageCount 40
ParticipantIDs doaj_primary_oai_doaj_org_article_70ede5959a9b4725a68700f690690138
unpaywall_primary_10_56415_csjm_v32_18
hal_primary_oai_HAL_hal_04839019v1
crossref_primary_10_56415_csjm_v32_18
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2024-11
PublicationDateYYYYMMDD 2024-11-01
PublicationDate_xml – month: 11
  year: 2024
  text: 2024-11
PublicationDecade 2020
PublicationTitle Computer science journal of Moldova
PublicationYear 2024
Publisher Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
Vladimir Andrunachievici Institute of Mathematics and Computer Science
Publisher_xml – name: Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
– name: Vladimir Andrunachievici Institute of Mathematics and Computer Science
References ref13
ref57
ref12
ref56
ref15
ref59
ref14
ref58
ref53
ref52
ref11
ref55
ref10
ref54
ref17
ref16
ref19
ref18
ref51
ref50
ref46
ref45
ref48
ref47
ref42
ref41
ref44
ref43
ref49
ref8
ref7
ref9
ref4
ref3
ref6
ref5
ref40
ref35
ref34
ref37
ref36
ref31
ref30
ref33
ref32
ref0
ref2
ref1
ref39
ref38
ref24
ref23
ref26
ref25
ref20
ref63
ref22
ref21
ref28
ref27
ref29
ref60
ref62
ref61
References_xml – ident: ref62
– ident: ref23
  doi: 10.1007/978-3-030-62536-8_5
– ident: ref1
– ident: ref60
  doi: 10.1007/s00236-003-0114-y
– ident: ref22
  doi: 10.1016/j.tcs.2020.09.002
– ident: ref28
  doi: 10.1007/978-3-319-45994-3_13
– ident: ref51
  doi: 10.4204/EPTCS.386.9
– ident: ref55
  doi: 10.1007/s11047-021-09861-3
– ident: ref7
  doi: 10.1023/B:NACO.0000006769.27984.23
– ident: ref9
– ident: ref50
  doi: 10.1007/s11047-013-9396-3
– ident: ref47
  doi: 10.1007/978-3-642-74932-2
– ident: ref54
  doi: 10.1007/s11047-019-09742-w
– ident: ref57
– ident: ref34
– ident: ref40
  doi: 10.1007/978-3-642-12032-9_17
– ident: ref30
– ident: ref32
  doi: 10.1016/j.tcs.2007.07.030
– ident: ref4
  doi: 10.1145/335305.335341
– ident: ref36
  doi: 10.1007/s11047-010-9208-y
– ident: ref49
  doi: 10.1016/j.tcs.2010.08.025
– ident: ref37
  doi: 10.1007/978-3-319-23111-2_6
– ident: ref44
  doi: 10.1007/s11047-021-09866-y
– ident: ref14
  doi: 10.1038/s41467-018-04252-2
– ident: ref26
– ident: ref59
  doi: 10.3390/a14050131
– ident: ref21
  doi: 10.1016/j.tcs.2012.07.002
– ident: ref6
  doi: 10.1006/inco.1996.0091
– ident: ref16
– ident: ref61
  doi: 10.1007/978-3-031-13502-6_2
– ident: ref2
  doi: 10.1016/0020-0255(83)90023-3
– ident: ref42
  doi: 10.1007/978-3-319-41312-9_4
– ident: ref12
– ident: ref33
– ident: ref53
  doi: 10.1007/978-3-319-92435-9_7
– ident: ref0
  doi: 10.3115/990403.990451
– ident: ref3
– ident: ref17
  doi: 10.1007/978-3-642-59126-6
– ident: ref45
– ident: ref39
  doi: 10.1016/0022-0000(86)90062-0
– ident: ref48
– ident: ref52
  doi: 10.1007/s00236-018-0312-2
– ident: ref5
  doi: 10.1007/3-540-60249-6_60
– ident: ref29
  doi: 10.1007/978-3-540-70583-3_5
– ident: ref43
  doi: 10.1007/s11047-017-9656-8
– ident: ref13
  doi: 10.1038/nprot.2013.143
– ident: ref15
– ident: ref11
  doi: 10.1007/978-3-662-03563-4
– ident: ref46
  doi: 10.1016/j.tcs.2017.01.019
– ident: ref24
  doi: 10.1080/00207169408804288
– ident: ref63
– ident: ref18
  doi: 10.1051/ita/1991250504731
– ident: ref58
  doi: 10.3233/COM-210345
– ident: ref20
  doi: 10.3233/FI-2017-1580
– ident: ref27
  doi: 10.1142/S0129054108006005
– ident: ref25
  doi: 10.1016/j.tcs.2004.06.031
– ident: ref38
  doi: 10.3233/FI-2015-1203
– ident: ref8
– ident: ref56
– ident: ref19
  doi: 10.4204/EPTCS.31.0
– ident: ref10
– ident: ref35
– ident: ref31
– ident: ref41
  doi: 10.1145/335305.335341
SSID ssj0066482
Score 2.302367
Snippet This paper offers a comprehensive retrospective on the development and results in the field of insertion-deletion systems over the past 15 years, building upon...
SourceID doaj
unpaywall
hal
crossref
SourceType Open Website
Open Access Repository
Index Database
StartPage 332
SubjectTerms computational completeness
Computer Science
decidability
insertion-deletion systems
Modeling and Simulation
regulated rewriting
SummonAdditionalLinks – databaseName: DOAJ Directory of Open Access Journals
  dbid: DOA
  link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEA7Si158i_VFEPXUrbvZTTbxVh-lioiIgp6WJJsgolupbcV_78zuttSLXrzOhiV8M5kHmXxDyEGU-ziKfRjkQpogcamGI-VUALmsVD71OrEl2-eN6D0kV4_8cWbUF_aEVfTAFXDHaehyxxVXWpkkZVwLsLDQI7-uwls29L6hVJNiqvLBQiTlmCgoTrBCSljV8s4FhKtj-_Hy1h7HrI2DPmaCUcnZDyHmGTsi50fFu_761K-vM-Gmu0wW6zyRdqr9rZA5V6ySpckMBlofyTWiOzTiwRPYK71zw0F_8nKS9gt6WeBVOwAfnDvk2AZRTVB-Qm-xLwu8XItejGvra1Fd5LRbkozQ2hWCTa6Th-7F_VkvqMcmBDaOw2GQM-WsYcwKaRkABZBLqblX3ELyBpW0Ft47oUzEmJbWWs9MjCwtHif0aRNvkEbRL9wmoRayixA-RzLPkygHj-SUFjo1zEjPXdokhxP8sveKHSODqqLEOUOcM8A5i2STnCK40zXIaV0KQNNZrensL003yT6o5sc_ep3rDGXIiw9r1DhqkqOp5n7d0tZ_bGmbLDBIcqq3iTukMRyM3C4kKUOzV9rjN_Jo4dg
  priority: 102
  providerName: Directory of Open Access Journals
Title A 15-Year Retrospective on Insertion-Deletion Systems: Progress, Evolution, and Future Directions
URI https://hal.science/hal-04839019
https://doi.org/10.56415/csjm.v32.18
https://doaj.org/article/70ede5959a9b4725a68700f690690138
UnpaywallVersion publishedVersion
Volume 32
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAFT
  databaseName: Open Access Digital Library
  customDbUrl:
  eissn: 2587-4330
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0066482
  issn: 1561-4042
  databaseCode: KQ8
  dateStart: 19930101
  isFulltext: true
  titleUrlDefault: http://grweb.coalliance.org/oadl/oadl.html
  providerName: Colorado Alliance of Research Libraries
– providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2587-4330
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0066482
  issn: 1561-4042
  databaseCode: DOA
  dateStart: 20170101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVEBS
  databaseName: EBSCOhost Academic Search Ultimate
  customDbUrl: https://search.ebscohost.com/login.aspx?authtype=ip,shib&custid=s3936755&profile=ehost&defaultdb=asn
  eissn: 2587-4330
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0066482
  issn: 1561-4042
  databaseCode: ABDBF
  dateStart: 20090501
  isFulltext: true
  titleUrlDefault: https://search.ebscohost.com/direct.asp?db=asn
  providerName: EBSCOhost
– providerCode: PRVEBS
  databaseName: Mathematics Source
  customDbUrl:
  eissn: 2587-4330
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0066482
  issn: 1561-4042
  databaseCode: AMVHM
  dateStart: 20090501
  isFulltext: true
  titleUrlDefault: https://www.ebsco.com/products/research-databases/mathematics-source
  providerName: EBSCOhost
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LTxsxEB5BcigXoKVVAyWyKsqJTWPv2mtzCzRRWlUIVY0Ep5XttVXx2CDYBLW_vuN9IKBS26vjjax5fiOPvwHYo7mPaeyHUS6kiRKXanQppyLEslL51OvEVmyfJ2I6S76c8bMV2Gvfwjy6v-cCk8tHe3dxPVjGbEDlKnQFR8Tdge7s5HR0XlGhilACVTNyGEd_SbA-r_vb__j8SeapCPoxn_wI7Y8vFsWN_nmvr64e5ZbJBozbU9UtJZeDRWkG9tczwsZ_HXsT1htwSUa1NbyEFVe8go12cANp_HgL9IhQHp2jkZNvrrydt88tybwgn4twP4_aij65QMyNSw2r-SE5Dc1cGBoPyHjZmOwB0UVOJhUzCWniJxrya5hNxt-Pp1EzayGyKLEyyply1jBmhbTMC4V6klJzr7hFxIfltxbeO6EMZUxLa61nJg7ULj6M9dMmfgOdYl64t0AsQpIh_kxlnic0xzDmlBY6NcxIz13agw-tHrKbmlIjw1KkklsW5Jah3DIqe3AUlPSwJxBhVwso6KzxqywdutxxxZVWJkkZ1wID0NAH-mUVLmF78B5V_OQ_pqOvWVgLZPq4Ry1pD_YfLOCvR9r-3407sMYQ_dSPFt9Bp7xduF1EL6XpV1V_vzHh31R67BM
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LTxsxEB7RcKAXoIWq4VFZFeXEhti79trcAk0UUIVQRSQ4rWyvLVRgg2ATRH99x_tA0Eptr443sub5jTz-BmCH5j6mse9HuZAmSlyq0aWcihDLSuVTrxNbsX2eivEkObngFwuw076FeXF_zwUml3378OO2N49Zj8o3sCg4Iu4OLE5OzwaXFRWqCCVQNSOHcfSXBOvzur_9j89fZZ6KoB_zyVVof1yaFXf66VHf3LzILaMVGLanqltKrnuz0vTsz98IG_917FVYbsAlGdTW8A4WXPEeVtrBDaTx4zXQA0J5dIlGTr678n7aPrck04IcF-F-HrUVfXWBmBuXGlbzA3IWmrkwNO6R4bwx2T2ii5yMKmYS0sRPNOR1mIyG50fjqJm1EFmUWBnlTDlrGLNCWuaFQj1JqblX3CLiw_JbC--dUIYypqW11jMTB2oXH8b6aRN_gE4xLdxHIBYhSR9_pjLPE5pjGHNKC50aZqTnLu3Cl1YP2V1NqZFhKVLJLQtyy1BuGZVdOAxKet4TiLCrBRR01vhVlvZd7rjiSiuTpIxrgQGo7wP9sgqXsF34jCp-9R_jwbcsrAUyfdyj5rQLu88W8Ncjbfzvxk14yxD91I8Wt6BT3s_cNqKX0nxqjPcX0XnrHg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+15-Year+Retrospective+on+Insertion-Deletion+Systems%3A+Progress%2C+Evolution%2C+and+Future+Directions&rft.jtitle=Computer+science+journal+of+Moldova&rft.au=Alhazov%2C+Artiom&rft.au=Ivanov%2C+Sergiu&rft.au=Verlan%2C+Sergey&rft.date=2024-11-01&rft.issn=1561-4042&rft.eissn=2587-4330&rft.volume=32&rft.issue=3%2896%29&rft.spage=332&rft.epage=371&rft_id=info:doi/10.56415%2Fcsjm.v32.18&rft.externalDBID=n%2Fa&rft.externalDocID=10_56415_csjm_v32_18
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1561-4042&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1561-4042&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1561-4042&client=summon