{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T18:06:14Z","timestamp":1773252374156,"version":"3.50.1"},"reference-count":26,"publisher":"World Scientific Pub Co Pte Ltd","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2012,9]]},"abstract":"<jats:p>This paper addresses a decision problem highlighted by Grigorchuk, Nekrashevich, and Sushchanski\u012d, namely the finiteness problem for automaton (semi)groups. For semigroups, we give an effective sufficient but not necessary condition for finiteness and, for groups, an effective necessary but not sufficient condition. The efficiency of the new criteria is demonstrated by testing all Mealy automata with small stateset and alphabet. Finally, for groups, we provide a necessary and sufficient condition that does not directly lead to a decision procedure.<\/jats:p>","DOI":"10.1142\/s021819671250052x","type":"journal-article","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:36:58Z","timestamp":1339159018000},"page":"1250052","source":"Crossref","is-referenced-by-count":29,"title":["ON THE FINITENESS PROBLEM FOR AUTOMATON (SEMI)GROUPS"],"prefix":"10.1142","volume":"22","author":[{"given":"ALI","family":"AKHAVI","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Caen, GREYC, UMR 6072 CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"INES","family":"KLIMANN","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Sorbonne Paris Cit\u00e9, LIAFA, UMR 7089 CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SYLVAIN","family":"LOMBARDY","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Est, LIGM, UMR 8049 CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEAN","family":"MAIRESSE","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Sorbonne Paris Cit\u00e9, LIAFA, UMR 7089 CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MATTHIEU","family":"PICANTIN","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Sorbonne Paris Cit\u00e9, LIAFA, UMR 7089 CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,8,31]]},"reference":[{"key":"rf1","first-page":"319","volume":"11","author":"Ale\u0161in S. V.","journal-title":"Mat. Zametki"},{"key":"rf2","first-page":"3","volume":"29","author":"Antonenko A. S.","journal-title":"Matematychni Studii."},{"key":"rf3","first-page":"23","volume":"18","author":"Antonenko A. S.","journal-title":"Acta Cybernet."},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7954(03)80078-5"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2004.08.040"},{"key":"rf10","first-page":"1","volume":"1","author":"Bondarenko I.","journal-title":"Algebra Discrete Math."},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02698915"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.07.054"},{"key":"rf13","volume-title":"Automata, Languages, and Machines","author":"Eilenberg S.","year":"1974"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/s10711-004-1815-2"},{"key":"rf16","first-page":"53","volume":"14","author":"Grigorchuk R. I.","journal-title":"Funktsional. Anal. i Prilozhen."},{"key":"rf17","first-page":"30","volume":"271","author":"Grigorchuk R. I.","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"rf18","first-page":"305","volume":"43","author":"Grigorchuk R. I.","journal-title":"Mat. Zametki"},{"key":"rf19","first-page":"134","volume":"231","author":"Grigorchuk R. I.","journal-title":"Tr. Mat. Inst. Steklova"},{"key":"rf21","first-page":"36","volume":"12","author":"Macedo\u0144ska O.","journal-title":"Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1142\/S021819670900497X"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196709005378"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/117"},{"key":"rf26","first-page":"86","volume":"9","author":"Russyev A.","journal-title":"Algebra Discrete Math."},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2011.02.049"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1007\/BF02677504"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196705002761"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2012.04.014"},{"key":"rf31","series-title":"London Mathematical Society Monographs. New Series","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537861.001.0001","volume-title":"The Restricted Burnside Problem","volume":"8","author":"Vaughan-Lee M.","year":"1993"},{"key":"rf32","first-page":"42","volume":"54","author":"Zel\u2033manov E. I.","journal-title":"Izv. Akad. Nauk. SSSR Ser. Mat."},{"key":"rf33","first-page":"568","volume":"182","author":"Zel\u2033manov E. I.","journal-title":"Mat. Sb."}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819671250052X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T03:54:38Z","timestamp":1714017278000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819671250052X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,31]]},"references-count":26,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2012,8,31]]},"published-print":{"date-parts":[[2012,9]]}},"alternative-id":["10.1142\/S021819671250052X"],"URL":"https:\/\/doi.org\/10.1142\/s021819671250052x","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,31]]}}}