{"id":"https://openalex.org/W2962795882","doi":"https://doi.org/10.25596/jalc-2017-029","title":"Unrestricted State Complexity of Binary Operations on Regular and Ideal Languages","display_name":"Unrestricted State Complexity of Binary Operations on Regular and Ideal Languages","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2962795882","doi":"https://doi.org/10.25596/jalc-2017-029","mag":"2962795882"},"language":"en","primary_location":{"id":"pmh:oai:uwspace.uwaterloo.ca:10012/12498","is_oa":true,"landing_page_url":"http://www.jalc.de/issues/issue_22_1-3/content.html","pdf_url":"http://hdl.handle.net/10012/12498","source":{"id":"https://openalex.org/S4306401661","display_name":"UWSpace (University of Waterloo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I151746483","host_organization_name":"University of Waterloo","host_organization_lineage":["https://openalex.org/I151746483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10012/12498","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016883956","display_name":"Janusz Brzozowski","orcid":"https://orcid.org/0000-0003-3390-2767"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Brzozowski, Janusz A.","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5052604081","display_name":"Corwin Sinnamon","orcid":"https://orcid.org/0000-0003-0280-9498"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sinnamon, Corwin","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016883956"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4741,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69834211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"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.9905999898910522,"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.9905999898910522,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9905999898910522,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9628999829292297,"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/ideal","display_name":"Ideal (ethics)","score":0.6064783930778503},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5497413873672485},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48304253816604614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4823002815246582},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4473857879638672},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3203541338443756},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29858124256134033},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11125850677490234},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09569814801216125}],"concepts":[{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6064783930778503},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5497413873672485},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48304253816604614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4823002815246582},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4473857879638672},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3203541338443756},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29858124256134033},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11125850677490234},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09569814801216125}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:uwspace.uwaterloo.ca:10012/12498","is_oa":true,"landing_page_url":"http://www.jalc.de/issues/issue_22_1-3/content.html","pdf_url":"http://hdl.handle.net/10012/12498","source":{"id":"https://openalex.org/S4306401661","display_name":"UWSpace (University of Waterloo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I151746483","host_organization_name":"University of Waterloo","host_organization_lineage":["https://openalex.org/I151746483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},{"id":"doi:10.25596/jalc-2017-029","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2017-029","pdf_url":null,"source":{"id":"https://openalex.org/S7407052944","display_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"article-journal"}],"best_oa_location":{"id":"pmh:oai:uwspace.uwaterloo.ca:10012/12498","is_oa":true,"landing_page_url":"http://www.jalc.de/issues/issue_22_1-3/content.html","pdf_url":"http://hdl.handle.net/10012/12498","source":{"id":"https://openalex.org/S4306401661","display_name":"UWSpace (University of Waterloo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I151746483","host_organization_name":"University of Waterloo","host_organization_lineage":["https://openalex.org/I151746483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3764228066","display_name":null,"funder_award_id":"OGP0000871","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G5478614888","display_name":null,"funder_award_id":"OGP000087","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2962795882.pdf","grobid_xml":"https://content.openalex.org/works/W2962795882.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2964144275","https://openalex.org/W3144974373","https://openalex.org/W2024328827","https://openalex.org/W2952412219","https://openalex.org/W2256031566","https://openalex.org/W380315738","https://openalex.org/W1534920398","https://openalex.org/W3022701900","https://openalex.org/W153364559","https://openalex.org/W2111673589","https://openalex.org/W2610605453","https://openalex.org/W1512867098","https://openalex.org/W3120801721","https://openalex.org/W193481530","https://openalex.org/W174797081","https://openalex.org/W3106675812","https://openalex.org/W2023836972","https://openalex.org/W2544643567","https://openalex.org/W2056449710","https://openalex.org/W2145135581"],"abstract_inverted_index":{"We":[0,102],"study":[1,104],"the":[2,34,37,76,111,130,134,137,171,183,186,189,192,197,211],"state":[3,25,38,77,159],"complexity":[4,39,78,106],"of":[5,24,40,53,79,87,92,98,107,113,129,161,168,175,188],"binary":[6,42,108],"operations":[7,109,163],"on":[8,45,164],"regular":[9,114,177],"languages":[10,23,208],"over":[11,73],"different":[12,74],"alphabets.":[13],"It":[14],"is":[15,49,56,84,89,94,100,181],"known":[16,198],"that":[17,52,67,86,91,97,180],"if":[18,68,185],"$L'_m$":[19,46,69],"and":[20,28,31,47,51,70,81,96,117,120,206],"$L_n$":[21,48,71],"are":[22,72,142,170,191],"complexities":[26,160],"$m$":[27],"$n$,":[29],"respectively,":[30],"restricted":[32,138],"to":[33,63,209],"same":[35,172],"alphabet,":[36],"any":[41],"boolean":[43,162],"operation":[44],"$mn$,":[50,95],"product":[54,99,128],"(concatenation)":[55],"$m":[57],"2^n":[58],"-":[59],"2^{n-1}$.":[60],"In":[61],"contrast":[62],"this,":[64],"we":[65,195],"show":[66],"alphabets,":[75],"union":[80],"symmetric":[82],"difference":[83,88],"$(m+1)(n+1)$,":[85],"$mn+m$,":[90],"intersection":[93],"$m2^n+2^{n-1}$.":[101],"also":[103],"unrestricted":[105,131,212],"in":[110,140],"classes":[112],"right,":[115],"left,":[116],"two-sided":[118,154],"ideals,":[119],"derive":[121],"tight":[122],"upper":[123],"bounds.":[124],"The":[125,158],"bounds":[126,135],"for":[127,136],"cases":[132,139],"(with":[133],"parentheses)":[141],"as":[143,173],"follows:":[144],"right":[145],"ideals":[146,151,155,169],"$m+2^{n-2}+2^{n-1}":[147],"+1$":[148],"($m+2^{n-2}$);":[149],"left":[150],"$mn+m+n$":[152],"($m+n-1$);":[153],"$m+2n$":[156],"($m+n-1$).":[157],"all":[165],"three":[166],"types":[167],"those":[174],"arbitrary":[176],"languages,":[178],"whereas":[179],"not":[182],"case":[184],"alphabets":[187],"arguments":[190],"same.":[193],"Finally,":[194],"update":[196],"results":[199],"about":[200],"most":[201],"complex":[202],"regular,":[203],"right-ideal,":[204],"left-ideal,":[205],"two-sided-ideal":[207],"include":[210],"cases.":[213]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}