{"id":"https://openalex.org/W2073963798","doi":"https://doi.org/10.1142/s0218196708004287","title":"A MEALY MACHINE WITH POLYNOMIAL GROWTH OF IRRATIONAL DEGREE","display_name":"A MEALY MACHINE WITH POLYNOMIAL GROWTH OF IRRATIONAL DEGREE","publication_year":2008,"publication_date":"2008-02-01","ids":{"openalex":"https://openalex.org/W2073963798","doi":"https://doi.org/10.1142/s0218196708004287","mag":"2073963798"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196708004287","doi":"https://doi.org/10.1142/s0218196708004287","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196708004287","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3"],"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 Algebra and Computation","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/math/0506203","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010881149","display_name":"Laurent Bartholdi","orcid":"https://orcid.org/0000-0002-1243-6384","observed_orcids":["https://orcid.org/0000-0002-1243-6384"]},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"LAURENT BARTHOLDI","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Institut de Math\u00e9matiques B (IMB), CH-1015 Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Institut de Math\u00e9matiques B (IMB), CH-1015 Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":null,"display_name":"ILLYA I. REZNYKOV","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"ILLYA I. REZNYKOV","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Institut de Math\u00e9matiques B (IMB), CH-1015 Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Institut de Math\u00e9matiques B (IMB), CH-1015 Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.3987,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68948193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"18","issue":"01","first_page":"59","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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.9994999766349792,"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.0,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mealy-machines","display_name":"Mealy machines","score":0.9300000071525574},{"id":"https://openalex.org/keywords/growth-functions","display_name":"growth functions","score":0.593999981880188},{"id":"https://openalex.org/keywords/finitely-generated-semigroups","display_name":"finitely generated semigroups","score":0.828000009059906},{"id":"https://openalex.org/keywords/two-sided-ideals","display_name":"two-sided ideals","score":0.597000002861023},{"id":"https://openalex.org/keywords/semigroup-identities","display_name":"semigroup identities","score":0.6819999814033508},{"id":"https://openalex.org/keywords/asymptotic-growth","display_name":"asymptotic growth","score":0.5640000104904175},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9413999915122986},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.7240999937057495},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.5633999705314636},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5558000206947327},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5317000150680542},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.49309998750686646},{"id":"https://openalex.org/C94931360","wikidata":"https://www.wikidata.org/wiki/Q607728","display_name":"Irrational number","level":2,"score":0.4616999924182892},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44350001215934753},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.41290000081062317},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.4025999903678894},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4009999930858612},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39309999346733093},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C2780420937","wikidata":"https://www.wikidata.org/wiki/Q28136760","display_name":"Growth function","level":2,"score":0.29739999771118164}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1142/s0218196708004287","doi":"https://doi.org/10.1142/s0218196708004287","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196708004287","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3"],"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 Algebra and Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:math/0506203","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/math/0506203","pdf_url":"https://arxiv.org/pdf/math/0506203","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":"pmh:oai:HAL:hal-05849575v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-05849575","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Algebra and Computation, 2008, 18 (1), pp.1--24. ⟨10.1142/S0218196708004287⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:infoscience.epfl.ch:161093","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/161093","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:161093","doi":null,"is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/61521","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"},{"id":"pmh:oai:publications.goettingen-research-online.de:2/3683","doi":null,"is_oa":false,"landing_page_url":"https://resolver.sub.uni-goettingen.de/purl?gro-2/3683","pdf_url":null,"source":{"id":"https://openalex.org/S7407055187","display_name":"GRO","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.math/0506203","doi":"https://doi.org/10.48550/arxiv.math/0506203","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.math/0506203","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":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:math/0506203","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/math/0506203","pdf_url":"https://arxiv.org/pdf/math/0506203","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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2073963798.pdf","grobid_xml":"https://content.openalex.org/works/W2073963798.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1545078593","https://openalex.org/W1999805144","https://openalex.org/W2005735230","https://openalex.org/W2013858829","https://openalex.org/W2033500455","https://openalex.org/W2039002392","https://openalex.org/W2039623292","https://openalex.org/W2067540820","https://openalex.org/W2125426572","https://openalex.org/W2335181564","https://openalex.org/W3013306492"],"related_works":["https://openalex.org/W2891439048","https://openalex.org/W7217747841","https://openalex.org/W1999805144","https://openalex.org/W2022517777","https://openalex.org/W2950560975","https://openalex.org/W2025688699","https://openalex.org/W7217656327","https://openalex.org/W4309288780","https://openalex.org/W2035534852","https://openalex.org/W4412989298"],"abstract_inverted_index":{"We":[0],"consider":[1],"a":[2,11,65],"very":[3],"simple":[4],"Mealy":[5],"machine":[6],"(two":[7],"nontrivial":[8],"states":[9],"over":[10],"two-symbol":[12],"alphabet),":[13],"and":[14,30,57],"derive":[15],"some":[16],"properties":[17],"of":[18,37,61],"the":[19,34,49,52],"semigroup":[20,50],"it":[21],"generates.":[22],"It":[23],"is":[24,64],"an":[25],"infinite,":[26],"finitely":[27],"generated":[28],"semigroup,":[29],"we":[31],"show":[32],"that":[33,48,58],"growth":[35],"function":[36],"its":[38,59],"balls":[39],"behaves":[40],"asymptotically":[41],"like":[42],"\u2113\u03b1,":[43],"for":[44],"[Formula:":[45],"see":[46],"text];":[47],"satisfies":[51],"identity":[53],"g6":[54],"=":[55],"g4;":[56],"lattice":[60],"two-sided":[62],"ideals":[63],"chain.":[66]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2016-06-24T00:00:00"}