{"id":"https://openalex.org/W3206287727","doi":"https://doi.org/10.3233/com-210345","title":"Insertion-deletion systems with substitutions I","display_name":"Insertion-deletion systems with substitutions I","publication_year":2021,"publication_date":"2021-10-11","ids":{"openalex":"https://openalex.org/W3206287727","doi":"https://doi.org/10.3233/com-210345","mag":"3206287727"},"language":"en","primary_location":{"id":"doi:10.3233/com-210345","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-210345","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"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":"Computability","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/A5040837593","display_name":"Martin Vu","orcid":"https://orcid.org/0000-0002-3581-7227"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin Vu","raw_affiliation_strings":["Fachbereich 3 \u2013 Informatik, Universit\u00e4t Bremen, Germany","Fachbereich 3 \u2013 Informatik, Universit\u00e4t Bremen, Germany. martin.vu@uni-bremen.de"],"affiliations":[{"raw_affiliation_string":"Fachbereich 3 \u2013 Informatik, Universit\u00e4t Bremen, Germany","institution_ids":[]},{"raw_affiliation_string":"Fachbereich 3 \u2013 Informatik, Universit\u00e4t Bremen, Germany. martin.vu@uni-bremen.de","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015688812","display_name":"Henning Fernau","orcid":"https://orcid.org/0000-0002-4444-3220"},"institutions":[{"id":"https://openalex.org/I89864525","display_name":"Universit\u00e4t Trier","ror":"https://ror.org/02778hg05","country_code":"DE","type":"education","lineage":["https://openalex.org/I89864525"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Henning Fernau","raw_affiliation_strings":["Fachbereich 4 \u2013 Abteilung Informatikwissenschaften, Universit\u00e4t Trier, Germany","Fachbereich 4 \u2013 Abteilung Informatikwissenschaften, Universit\u00e4t Trier, Germany. fernau@uni-trier.de"],"affiliations":[{"raw_affiliation_string":"Fachbereich 4 \u2013 Abteilung Informatikwissenschaften, Universit\u00e4t Trier, Germany","institution_ids":[]},{"raw_affiliation_string":"Fachbereich 4 \u2013 Abteilung Informatikwissenschaften, Universit\u00e4t Trier, Germany. fernau@uni-trier.de","institution_ids":["https://openalex.org/I89864525"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040837593"],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":0.0804,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.44345475,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"11","issue":"1","first_page":"57","last_page":"83"},"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9907000064849854,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.8110582828521729},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.7056275606155396},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6448670029640198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6156090497970581},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35287684202194214},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28254055976867676},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.1588449776172638}],"concepts":[{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.8110582828521729},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.7056275606155396},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6448670029640198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6156090497970581},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35287684202194214},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28254055976867676},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.1588449776172638},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/com-210345","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-210345","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"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":"Computability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W159131513","https://openalex.org/W1503767004","https://openalex.org/W1547402515","https://openalex.org/W1601325472","https://openalex.org/W1970026646","https://openalex.org/W1977312644","https://openalex.org/W1981689204","https://openalex.org/W1994351002","https://openalex.org/W2010644121","https://openalex.org/W2011023206","https://openalex.org/W2022943108","https://openalex.org/W2036801473","https://openalex.org/W2051419196","https://openalex.org/W2055711682","https://openalex.org/W2058302256","https://openalex.org/W2078808192","https://openalex.org/W2154396853","https://openalex.org/W2186219695","https://openalex.org/W2482075273","https://openalex.org/W2724149306","https://openalex.org/W2914418066","https://openalex.org/W2914627413","https://openalex.org/W3013369976","https://openalex.org/W3037192171","https://openalex.org/W3104806481","https://openalex.org/W3121708398","https://openalex.org/W3192794283","https://openalex.org/W4231980886","https://openalex.org/W4248165980"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2072965782","https://openalex.org/W2140918173","https://openalex.org/W2379444625","https://openalex.org/W1992460182","https://openalex.org/W2135152748","https://openalex.org/W2132951762","https://openalex.org/W2393147081","https://openalex.org/W2174940886"],"abstract_inverted_index":{"In":[0],"this":[1,88,179],"paper,":[2],"we":[3,28,76,131],"discuss":[4],"the":[5,37,40,46,101,104,124,127,176],"addition":[6,23,41],"of":[7,13,39,42,49,57,96,103,126,146,171,178,182],"substitutions":[8,166],"as":[9],"a":[10,85,115,120,168],"further":[11],"type":[12,181],"operations":[14],"to":[15,24,33,123,150],"(in":[16],"particular,":[17],"context-free)":[18],"insertion-deletion":[19],"systems,":[20,51],"i.e.,":[21],"in":[22,139,165],"insertions":[25,143,157],"and":[26,58,65,70,93,135,144,161],"deletions":[27,145],"allow":[29,132],"single":[30,121,147],"letter":[31],"replacements":[32],"occur.":[34],"We":[35],"investigate":[36],"effect":[38],"substitution":[43,116,128],"rules":[44],"on":[45],"context":[47,102,138,164],"dependency":[48],"such":[50],"thereby":[52],"also":[53],"obtaining":[54],"new":[55,169,180],"characterizations":[56],"even":[59,141],"normal":[60],"forms":[61],"for":[62,79],"context-sensitive":[63],"(CS)":[64],"recursively":[66],"enumerable":[67],"(RE)":[68],"languages":[69],"their":[71],"phrase-structure":[72],"grammars.":[73],"More":[74],"specifically,":[75],"prove":[77],"that":[78,90],"each":[80],"RE":[81],"language,":[82],"there":[83],"is":[84],"system":[86],"generating":[87],"language":[89],"only":[91],"inserts":[92],"deletes":[94],"strings":[95],"length":[97],"two":[98],"without":[99],"considering":[100],"insertion":[105],"or":[106],"deletion":[107],"site,":[108],"but":[109],"which":[110],"may":[111],"change":[112],"symbols":[113],"(by":[114],"operation)":[117],"by":[118],"checking":[119,133,159],"symbol":[122],"left":[125,134,160],"site.":[129],"When":[130,154],"right":[136,162],"single-letter":[137,163],"substitutions,":[140],"context-free":[142,156],"letters":[148],"suffice":[149],"reach":[151],"computational":[152],"completeness.":[153],"allowing":[155],"only,":[158],"gives":[167],"characterization":[170],"CS.":[172],"This":[173],"clearly":[174],"shows":[175],"power":[177],"rules.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}