{"id":"https://openalex.org/W1994383533","doi":"https://doi.org/10.1142/s0129054105003157","title":"STATE COMPLEXITY AND THE MONOID OF TRANSFORMATIONS OF A FINITE SET","display_name":"STATE COMPLEXITY AND THE MONOID OF TRANSFORMATIONS OF A FINITE SET","publication_year":2005,"publication_date":"2005-06-01","ids":{"openalex":"https://openalex.org/W1994383533","doi":"https://doi.org/10.1142/s0129054105003157","mag":"1994383533"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054105003157","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054105003157","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/A5065993859","display_name":"Bryan Krawetz","orcid":null},"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":true,"raw_author_name":"BRYAN KRAWETZ","raw_affiliation_strings":["School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056779934","display_name":"John Lawrence","orcid":"https://orcid.org/0000-0003-3325-8991"},"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":"JOHN LAWRENCE","raw_affiliation_strings":["Department of Pure Mathematics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","Department of Pure Mathematics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Pure Mathematics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113632449","display_name":"JEFFREY SHALLIT","orcid":null},"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":"JEFFREY SHALLIT","raw_affiliation_strings":["School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065993859"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.11384852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"03","first_page":"547","last_page":"563"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9617999792098999,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9611999988555908,"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/monoid","display_name":"Monoid","score":0.8741271495819092},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6839228868484497},{"id":"https://openalex.org/keywords/syntactic-monoid","display_name":"Syntactic monoid","score":0.6334875226020813},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6086013317108154},{"id":"https://openalex.org/keywords/root","display_name":"Root (linguistics)","score":0.6071394085884094},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5890347957611084},{"id":"https://openalex.org/keywords/free-monoid","display_name":"Free monoid","score":0.5793269872665405},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.5191909074783325},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.49106454849243164},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.4847254753112793},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3954542577266693},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2966082990169525},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27942144870758057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22305065393447876},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.20509901642799377},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.050706297159194946}],"concepts":[{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.8741271495819092},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6839228868484497},{"id":"https://openalex.org/C119903167","wikidata":"https://www.wikidata.org/wiki/Q3321297","display_name":"Syntactic monoid","level":4,"score":0.6334875226020813},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6086013317108154},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.6071394085884094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5890347957611084},{"id":"https://openalex.org/C149685015","wikidata":"https://www.wikidata.org/wiki/Q5500266","display_name":"Free monoid","level":3,"score":0.5793269872665405},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.5191909074783325},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.49106454849243164},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4847254753112793},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3954542577266693},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2966082990169525},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27942144870758057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22305065393447876},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.20509901642799377},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.050706297159194946},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054105003157","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054105003157","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":[{"display_name":"Quality Education","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W287626","https://openalex.org/W963086913","https://openalex.org/W1497997699","https://openalex.org/W1525645762","https://openalex.org/W1566493102","https://openalex.org/W1978405212","https://openalex.org/W1998815037","https://openalex.org/W2002089154","https://openalex.org/W2006629323","https://openalex.org/W2034681107","https://openalex.org/W2038128483","https://openalex.org/W2091815190","https://openalex.org/W2149288970","https://openalex.org/W2171084562","https://openalex.org/W2951667390","https://openalex.org/W3159254029","https://openalex.org/W4233205300","https://openalex.org/W4255618838","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W51936586","https://openalex.org/W3161268522","https://openalex.org/W3143205136","https://openalex.org/W2071633178","https://openalex.org/W2971508078","https://openalex.org/W2038387119","https://openalex.org/W3201418638","https://openalex.org/W2090238248","https://openalex.org/W2079194245","https://openalex.org/W1991410416"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,49],"consider":[4],"the":[5,18,21,37,57],"state":[6,38],"complexity":[7,39],"of":[8,20,23,25,40,44,53,59],"an":[9,51],"operation":[10],"on":[11,36],"formal":[12],"languages,":[13],"root(L).":[14],"This":[15],"naturally":[16],"entails":[17],"discussion":[19],"monoid":[22],"transformations":[24],"a":[26],"finite":[27],"set.":[28],"We":[29],"obtain":[30],"good":[31],"upper":[32],"and":[33],"lower":[34],"bounds":[35],"root(L)":[41],"over":[42],"alphabets":[43],"all":[45],"sizes.":[46],"As":[47],"well,":[48],"present":[50],"application":[52],"these":[54],"results":[55],"to":[56],"problem":[58],"2DFA-DFA":[60],"conversion.":[61]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-01T17:29:45.350535","created_date":"2025-10-10T00:00:00"}