{"id":"https://openalex.org/W4288113713","doi":"https://doi.org/10.48550/arxiv.1909.02512","title":"Descriptional Complexity of Semi-Simple Splicing Systems","display_name":"Descriptional Complexity of Semi-Simple Splicing Systems","publication_year":2019,"publication_date":"2019-09-05","ids":{"openalex":"https://openalex.org/W4288113713","doi":"https://doi.org/10.48550/arxiv.1909.02512"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1909.02512","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1909.02512","pdf_url":"https://arxiv.org/pdf/1909.02512","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1909.02512","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041517753","display_name":"Lila Kari A","orcid":"https://orcid.org/0000-0001-5700-5353","observed_orcids":["https://orcid.org/0000-0001-5700-5353"]},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kari, Lila","raw_affiliation_strings":["School of Computer Science , University of Waterloo Waterloo , Ontario N2L 3G1 , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , University of Waterloo Waterloo , Ontario N2L 3G1 , Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ng, Timothy","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ng, Timothy","raw_affiliation_strings":["School of Computer Science , University of Waterloo Waterloo , Ontario N2L 3G1 , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , University of Waterloo Waterloo , Ontario N2L 3G1 , Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.0013000000035390258,"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.00019999999494757503,"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/splicing-systems","display_name":"splicing systems","score":0.9670000076293945},{"id":"https://openalex.org/keywords/descriptional-complexity","display_name":"descriptional complexity","score":0.8709999918937683},{"id":"https://openalex.org/keywords/dna-recombination","display_name":"DNA recombination","score":0.7850000262260437},{"id":"https://openalex.org/keywords/language-generation","display_name":"language generation","score":0.4449999928474426},{"id":"https://openalex.org/keywords/automaton-minimization","display_name":"automaton minimization","score":0.4970000088214874}],"concepts":[{"id":"https://openalex.org/C54458228","wikidata":"https://www.wikidata.org/wiki/Q237218","display_name":"RNA splicing","level":4,"score":0.569235622882843},{"id":"https://openalex.org/C64943373","wikidata":"https://www.wikidata.org/wiki/Q2651003","display_name":"Alpha (finance)","level":4,"score":0.5545010566711426},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5357417464256287},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.482778936624527},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4735148251056671},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.45826417207717896},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45694124698638916},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44422027468681335},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42523226141929626},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42217424511909485},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4102993309497833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33598119020462036},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3256552219390869},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.19167792797088623},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.15036967396736145},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.11483928561210632},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.11420410871505737},{"id":"https://openalex.org/C67705224","wikidata":"https://www.wikidata.org/wiki/Q11053","display_name":"RNA","level":3,"score":0.08406084775924683},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C171606756","wikidata":"https://www.wikidata.org/wiki/Q506132","display_name":"Psychometrics","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C49453240","wikidata":"https://www.wikidata.org/wiki/Q1592163","display_name":"Construct validity","level":3,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:1909.02512","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1909.02512","pdf_url":"https://arxiv.org/pdf/1909.02512","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1909.02512","doi":"https://doi.org/10.48550/arxiv.1909.02512","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1909.02512","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1909.02512","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1909.02512","pdf_url":"https://arxiv.org/pdf/1909.02512","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4288113713.pdf","grobid_xml":"https://content.openalex.org/works/W4288113713.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W178365807","https://openalex.org/W4240676090","https://openalex.org/W2081441417","https://openalex.org/W1970375080","https://openalex.org/W4224241862","https://openalex.org/W4386544785","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W1522717445","https://openalex.org/W2116374711"],"abstract_inverted_index":{"Splicing":[0],"systems":[1,189,205],"are":[2,54,132,140,156],"generative":[3],"mechanisms":[4],"introduced":[5],"by":[6,36,145,166],"Tom":[7],"Head":[8],"in":[9,127,174,206],"1987":[10],"to":[11,172,181],"model":[12],"the":[13,27,77,82,121,124,136,151,169,175,191,200,209,212,219],"biological":[14],"process":[15],"of":[16,22,39,99,150,153,203,208,211],"DNA":[17],"recombination.":[18],"The":[19,142],"computational":[20],"engine":[21],"a":[23,30,37,96,147,195],"splicing":[24,78,100,106,118,170,188],"system":[25,148],"is":[26,194],"\"splicing":[28,40],"operation\",":[29],"cut-and-paste":[31],"binary":[32],"string":[33,83],"operation":[34],"defined":[35],"set":[38,152,162,177,193],"rules\"":[41],"$r":[42],"=":[43,64,71,85,109,113],"(\u03b1_1,":[44],"\u03b1_2":[45,67],";":[46],"\u03b1_3,":[47,52],"\u03b1_4)$":[48],"where":[49,190],"$\u03b1_1,":[50],"\u03b1_2,":[51],"\u03b1_4$":[53],"words":[55,154],"over":[56],"an":[57,160],"alphabet":[58],"$\u03a3$.":[59],"For":[60],"two":[61,125,138],"strings":[62,126,139,173],"$x":[63],"x_1":[65,86],"\u03b1_1":[66,87],"x_2$":[68],"and":[69,111,130,198],"$y":[70],"y_1":[72],"\u03b1_3":[73],"\u03b1_4":[74,88],"y_2$,":[75],"applying":[76,168],"rule":[79],"$r$":[80],"produces":[81],"$z":[84],"y_2$.":[89],"In":[90],"this":[91],"paper":[92],"we":[93],"focus":[94],"on":[95],"particular":[97],"type":[98],"systems,":[101,107],"called":[102,163],"$(i,":[103],"j)$":[104],"semi-simple":[105,187],"$i":[108],"1,2$":[110],"$j":[112],"3,":[114],"4$,":[115],"wherein":[116],"all":[117],"rules":[119,171],"have":[120],"property":[122],"that":[123,155,217],"positions":[128],"$i$":[129],"$j$":[131],"singleton":[133],"letters,":[134],"while":[135],"other":[137],"empty.":[141],"language":[143],"generated":[144],"such":[146,204],"consists":[149],"obtained":[157],"starting":[158],"from":[159],"initial":[161],"\"axiom":[164],"set\",":[165],"iteratively":[167],"axiom":[176,192],"as":[178,180],"well":[179],"intermediately":[182],"produced":[183],"strings.":[184],"We":[185],"consider":[186],"regular":[196],"language,":[197],"investigate":[199],"descriptional":[201],"complexity":[202],"terms":[207],"size":[210],"minimal":[213],"deterministic":[214],"finite":[215],"automata":[216],"recognize":[218],"languages":[220],"they":[221],"generate.":[222]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-10T00:00:00"}