{"id":"https://openalex.org/W2754066816","doi":"https://doi.org/10.3233/fi-2017-1580","title":"Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems","display_name":"Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems","publication_year":2017,"publication_date":"2017-09-12","ids":{"openalex":"https://openalex.org/W2754066816","doi":"https://doi.org/10.3233/fi-2017-1580","mag":"2754066816"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2017-1580","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1580","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107516711","display_name":"Sergiu Ivanov","orcid":null},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sergiu Ivanov","raw_affiliation_strings":["Universit\u00e9 Paris Est, LACL (EA 4219), UPEC, F-94010, Cr\u00e9teil, France. sergiu.ivanov@u-pec.fr, verlan@u-pec.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Est, LACL (EA 4219), UPEC, F-94010, Cr\u00e9teil, France. sergiu.ivanov@u-pec.fr, verlan@u-pec.fr","institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067423102","display_name":"Sergey Verlan","orcid":"https://orcid.org/0000-0001-7800-1618"},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Sergey Verlan","raw_affiliation_strings":["Universit\u00e9 Paris Est, LACL (EA 4219), UPEC, F-94010, Cr\u00e9teil, France. sergiu.ivanov@u-pec.fr, verlan@u-pec.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Est, LACL (EA 4219), UPEC, F-94010, Cr\u00e9teil, France. sergiu.ivanov@u-pec.fr, verlan@u-pec.fr","institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5067423102"],"corresponding_institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"],"apc_list":{"value":4150,"currency":"USD","value_usd":4150},"apc_paid":null,"fwci":0.1017,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.47631056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"155","issue":"1-2","first_page":"163","last_page":"185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/universality","display_name":"Universality (dynamical systems)","score":0.7478675842285156},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.6761660575866699},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5316731333732605},{"id":"https://openalex.org/keywords/legendre-symbol","display_name":"Legendre symbol","score":0.48843351006507874},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44371598958969116},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4374798834323883},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4272615909576416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40557727217674255},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3736807405948639},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3399754762649536},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3306976556777954},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.27722281217575073},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0727415382862091}],"concepts":[{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.7478675842285156},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.6761660575866699},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5316731333732605},{"id":"https://openalex.org/C165656649","wikidata":"https://www.wikidata.org/wiki/Q748339","display_name":"Legendre symbol","level":5,"score":0.48843351006507874},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44371598958969116},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4374798834323883},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4272615909576416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40557727217674255},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3736807405948639},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3399754762649536},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3306976556777954},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.27722281217575073},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0727415382862091},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C166437778","wikidata":"https://www.wikidata.org/wiki/Q50695","display_name":"Quadratic function","level":3,"score":0.0},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.0},{"id":"https://openalex.org/C95136341","wikidata":"https://www.wikidata.org/wiki/Q625519","display_name":"Quadratic field","level":4,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2017-1580","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1580","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01638789v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01638789","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta Informaticae, 2017, 155 (1-2), pp.163 - 185. ⟨10.3233/FI-2017-1580⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.699999988079071,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W148204481","https://openalex.org/W159131513","https://openalex.org/W1547402515","https://openalex.org/W1561605958","https://openalex.org/W1601325472","https://openalex.org/W1614696623","https://openalex.org/W1892760407","https://openalex.org/W1940239034","https://openalex.org/W1974556260","https://openalex.org/W1990695447","https://openalex.org/W1994351002","https://openalex.org/W2011023206","https://openalex.org/W2053756189","https://openalex.org/W2075622371","https://openalex.org/W2151892345","https://openalex.org/W2179912206","https://openalex.org/W2243176591","https://openalex.org/W2261275499","https://openalex.org/W2497947560","https://openalex.org/W2626834468","https://openalex.org/W2914418066","https://openalex.org/W2914627413","https://openalex.org/W3013369976"],"related_works":["https://openalex.org/W2369315869","https://openalex.org/W3114458836","https://openalex.org/W3088751298","https://openalex.org/W2350075806","https://openalex.org/W2797531017","https://openalex.org/W2150453321","https://openalex.org/W1978735373","https://openalex.org/W2402315702","https://openalex.org/W2065095781","https://openalex.org/W2383760711"],"abstract_inverted_index":{"In":[0],"this":[1,56],"article,":[2],"we":[3,124],"consider":[4],"leftist":[5],"insertion-deletion":[6],"systems":[7,154],"(LIDS),":[8],"in":[9,37,55,118,141],"which":[10,38,137,149],"all":[11],"rules":[12,86,95,135,145],"have":[13],"contexts":[14,40,89,101,109],"on":[15],"the":[16,39,58,119,152],"same":[17],"(left)":[18],"side,":[19],"and":[20,79,104,136],"may":[21,41],"only":[22],"insert":[23],"or":[24],"delete":[25],"one":[26],"symbol":[27],"at":[28],"a":[29,126],"time.":[30],"We":[31,52,82],"start":[32],"by":[33,93],"introducing":[34],"extended":[35,134],"rules,":[36],"be":[42,91,139],"specified":[43],"as":[44],"regular":[45,88],"expressions,":[46],"instead":[47],"of":[48,143,146],"fix":[49],"ed":[50],"words.":[51],"prove":[53],"that":[54,151],"case":[57],"computational":[59],"completeness":[60],"is":[61],"achieved":[62],"when":[63],"additional":[64],"control":[65,70,75],"mechanisms":[66],"are":[67,155],"used":[68],"(graph":[69],"with":[71,76,87],"two":[72],"states,":[73],"matrix":[74],"binary":[77],"matrices":[78],"random-context":[80],"control).":[81],"then":[83],"show":[84],"how":[85],"can":[90,138],"simulated":[92],"conventional":[94,144],"checking":[96],"one-symbol":[97],"(resp.":[98,106],"two-symbol)":[99],"left":[100,108],"for":[102,110],"insertion":[103],"two-symbol":[105],"one-symbol)":[107],"deletion.":[111],"This":[112],"simulation":[113],"does":[114],"not":[115],"generally":[116],"hold":[117],"controlled":[120],"case,":[121],"however.":[122],"Hence,":[123],"provide":[125],"construction":[127],"simulating":[128],"an":[129],"arbitrary":[130],"2-tag":[131],"system":[132],"using":[133],"rewritten":[140],"terms":[142],"types":[147],"above,":[148],"implies":[150],"latter":[153],"universal.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}