{"id":"https://openalex.org/W2582188091","doi":"https://doi.org/10.1142/s0129054116500349","title":"State Complexity of Insertion","display_name":"State Complexity of Insertion","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2582188091","doi":"https://doi.org/10.1142/s0129054116500349","mag":"2582188091"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054116500349","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054116500349","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5077698683","display_name":"Yo-Sub Han","orcid":"https://orcid.org/0000-0002-7211-6657"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yo-Sub Han","raw_affiliation_strings":["Department of Computer Science, Yonsei University 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Yonsei University 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011019318","display_name":"Sang\u2010Ki Ko","orcid":"https://orcid.org/0000-0002-5406-5104"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Sang-Ki Ko","raw_affiliation_strings":["Department of Computer Science, Yonsei University 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, Republic of Korea"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Yonsei University 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027656418","display_name":"Timothy Ng","orcid":"https://orcid.org/0000-0001-9980-6976"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Timothy Ng","raw_affiliation_strings":["School of Computing, Queen\u2019s University Kingston, Ontario K7L 3N6, Canada","School of Computing, Queen's University Kingston, Ontario K7L 3N6, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"School of Computing, Queen's University Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009151151","display_name":"Kai Salomaa","orcid":"https://orcid.org/0000-0003-4582-7477"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kai Salomaa","raw_affiliation_strings":["School of Computing, Queen\u2019s University Kingston, Ontario K7L 3N6, Canada","School of Computing, Queen's University Kingston, Ontario K7L 3N6, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computing, Queen\u2019s University Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"School of Computing, Queen's University Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5011019318"],"corresponding_institution_ids":["https://openalex.org/I193775966"],"apc_list":null,"apc_paid":null,"fwci":1.7424,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.8697567,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"27","issue":"07","first_page":"863","last_page":"878"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"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.9998000264167786,"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.9952999949455261,"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.9804999828338623,"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/algorithm","display_name":"Algorithm","score":0.5906299948692322},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40339332818984985}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5906299948692322},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40339332818984985}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054116500349","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054116500349","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W203761994","https://openalex.org/W796701085","https://openalex.org/W1525645762","https://openalex.org/W1892760407","https://openalex.org/W1974556260","https://openalex.org/W1988560957","https://openalex.org/W1994351002","https://openalex.org/W2006629323","https://openalex.org/W2008342226","https://openalex.org/W2011023206","https://openalex.org/W2011252827","https://openalex.org/W2056385879","https://openalex.org/W2074221742","https://openalex.org/W2082641615","https://openalex.org/W2109036808","https://openalex.org/W3013369976"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829"],"abstract_inverted_index":{"It":[0],"is":[1,18,82,97,130],"well":[2],"known":[3],"that":[4],"the":[5,22,29,66,91,109,118,124,127],"resulting":[6],"language":[7,13,17,129],"obtained":[8],"by":[9,71],"inserting":[10],"a":[11,15,55,72],"regular":[12,16],"to":[14],"regular.":[19],"We":[20,63,115],"study":[21],"nondeterministic":[23,68,92],"and":[24,39,53,90,106],"deterministic":[25,77],"state":[26,69,78,93,119],"complexity":[27,70,79,94,120],"of":[28,36,80,95,111,121],"insertion":[30,81,96,122],"operation.":[31],"Given":[32],"two":[33],"incomplete":[34],"DFAs":[35],"sizes":[37],"m":[38,105],"n,":[40],"we":[41],"give":[42],"an":[43,59],"upper":[44],"bound":[45,57],"<mml:math":[46,83,99],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[47,84,100],"display=\"inline\"":[48,85,101],"overflow=\"scroll\"":[49,86,102],"altimg=\"eq-00001.gif\"><mml:mrow><mml:mo":[50],"stretchy=\"false\">(</mml:mo><mml:mi>m</mml:mi><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:mo":[51],"stretchy=\"false\">)</mml:mo><mml:mo>\u00b7</mml:mo><mml:msup><mml:mn>2</mml:mn><mml:mrow><mml:mi>m</mml:mi><mml:mi>n</mml:mi><mml:mo>\u2212</mml:mo><mml:mi>m</mml:mi><mml:mo>\u2212</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup><mml:mo>\u00b7</mml:mo><mml:msup><mml:mn>3</mml:mn><mml:mi>m</mml:mi></mml:msup></mml:mrow></mml:math>":[52],"find":[54],"lower":[56],"for":[58],"asymp-totically":[60],"tight":[61,67],"bound.":[62],"also":[64,116],"present":[65],"fooling":[73],"set":[74],"technique.":[75],"The":[76],"altimg=\"eq-00002.gif\"><mml:mrow><mml:msup><mml:mn>2</mml:mn><mml:mrow><mml:mi>\u0398</mml:mi><mml:mo":[87],"stretchy=\"false\">(</mml:mo><mml:mi>m</mml:mi><mml:mi>n</mml:mi><mml:mo":[88],"stretchy=\"false\">)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:math>":[89],"precisely":[98],"altimg=\"eq-00003.gif\"><mml:mrow><mml:mi>m</mml:mi><mml:mi>n</mml:mi><mml:mo>+</mml:mo><mml:mn>2</mml:mn><mml:mi>m</mml:mi></mml:mrow></mml:math>,":[103],"where":[104,126],"n":[107],"are":[108],"size":[110],"input":[112],"finite":[113],"automata.":[114],"consider":[117],"in":[123],"case":[125],"inserted":[128],"bifix-free":[131],"or":[132],"non-returning.":[133]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}