{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T10:10:32Z","timestamp":1716631832077},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,3,25]],"date-time":"2014-03-25T00:00:00Z","timestamp":1395705600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Semigroup Forum"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s00233-014-9574-3","type":"journal-article","created":{"date-parts":[[2014,3,25]],"date-time":"2014-03-25T03:18:42Z","timestamp":1395717522000},"page":"20-40","source":"Crossref","is-referenced-by-count":2,"title":["Closures of regular languages for profinite topologies"],"prefix":"10.1007","volume":"89","author":[{"given":"J.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"M.","family":"Zeitoun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,25]]},"reference":[{"key":"9574_CR1","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995)","DOI":"10.1142\/2481"},{"key":"9574_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1142\/S021819679600009X","volume":"6","author":"J Almeida","year":"1996","unstructured":"Almeida, J.: A syntactical proof of locality of DA. Int. J. Algebra Comput. 6, 165\u2013177 (1996)","journal-title":"Int. J. Algebra Comput."},{"issue":"Suppl","key":"9574_CR3","first-page":"531","volume":"54","author":"J Almeida","year":"1999","unstructured":"Almeida, J.: Some algorithmic problems for pseudovarieties. Publ. Math. Debrecen 54(Suppl), 531\u2013552 (1999)","journal-title":"Publ. Math. Debrecen"},{"key":"9574_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/9789812776884_0001","volume-title":"Semigroups, Algorithms, Automata and Languages","author":"J Almeida","year":"2002","unstructured":"Almeida, J.: Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Gomes, G.M.S., Pin, J.-\u00c9., Silva, P.V. (eds.) Semigroups, Algorithms, Automata and Languages, pp. 3\u201364. World Scientific, Singapore (2002)"},{"key":"9574_CR5","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G., Goldstein, M. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Science Series II: Mathematics, Physics and Chemistry, vol. 207, pp. 1\u201345. Springer, New York (2005)","DOI":"10.1007\/1-4020-3817-8_1"},{"key":"9574_CR6","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: On the reducibility property of some pseudovarieties. In preparation"},{"key":"9574_CR7","doi-asserted-by":"crossref","first-page":"445","DOI":"10.4171\/pm\/1792","volume":"64","author":"J Almeida","year":"2007","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Complete reducibility of systems of equations with respect to R. Portugal. Math. 64, 445\u2013508 (2007)","journal-title":"Portugal. Math."},{"key":"9574_CR8","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: McCammond normal forms for free aperiodic semigroups revisited. Tech. Report CMUP 2012\u20133, Univ. Porto (2012, submitted)"},{"key":"9574_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.ejc.2013.07.011","volume":"37","author":"J Almeida","year":"2014","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Iterated periodicity over finite aperiodic semigroups. Eur. J. Comb. 37, 115\u2013149 (2014)","journal-title":"Eur. J. Comb."},{"issue":"4","key":"9574_CR10","first-page":"409","volume":"56","author":"J Almeida","year":"1999","unstructured":"Almeida, J., Delgado, M.: Sur certains syst\u00e8mes d\u2019\u00e9quations avec contraintes dans un groupe libre. Portugal. Math. 56(4), 409\u2013417 (1999)","journal-title":"Portugal. Math."},{"issue":"4","key":"9574_CR11","first-page":"379","volume":"58","author":"J Almeida","year":"2001","unstructured":"Almeida, J., Delgado, M.: Sur certains syst\u00e8mes d\u2019\u00e9quations avec contraintes dans un groupe libre\u2013addenda. Portugal. Math. 58(4), 379\u2013387 (2001)","journal-title":"Portugal. Math."},{"key":"9574_CR12","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1112\/S0024611500012144","volume":"80","author":"J Almeida","year":"2000","unstructured":"Almeida, J., Steinberg, B.: On the decidability of iterated semidirect products and applications to complexity. Proc. Lond. Math. Soc. 80, 50\u201374 (2000)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9574_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4612-1388-8_1","volume-title":"Algorithmic Problems in Groups and Semigroups","author":"J Almeida","year":"2000","unstructured":"Almeida, J., Steinberg, B.: Syntactic and global semigroup theory, a synthesis approach. In: Birget, J.C., Margolis, S.W., Meakin, J., Sapir, M.V. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 1\u201323. Birkh\u00e4user, Basel (2000)"},{"key":"9574_CR14","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1142\/S0218196797000289","volume":"7","author":"J Almeida","year":"1997","unstructured":"Almeida, J., Weil, P.: Free profinite $$\\cal R$$ R -trivial monoids. Int. J. Algebra Comput. 7, 625\u2013671 (1997)","journal-title":"Int. J. Algebra Comput."},{"key":"9574_CR15","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.tcs.2006.10.019","volume":"370","author":"J Almeida","year":"2007","unstructured":"Almeida, J., Zeitoun, M.: An automata-theoretic approach to the word problem for $$\\omega $$ \u03c9 -terms over R. Theor. Comp. Sci. 370, 131\u2013169 (2007)","journal-title":"Theor. Comp. Sci."},{"issue":"10\u201312","key":"9574_CR16","first-page":"695","volume":"11","author":"AW Anissimow","year":"1975","unstructured":"Anissimow, A.W., Seifert, F.D.: Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen. Elektron. Informationsverarbeit. Kybernetik 11(10\u201312), 695\u2013702 (1975)","journal-title":"Elektron. Informationsverarbeit. Kybernetik"},{"key":"9574_CR17","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1142\/S0218196791000079","volume":"1","author":"CJ Ash","year":"1991","unstructured":"Ash, C.J.: Inevitable graphs: a proof of the type II conjecture and some related decision procedures. Int. J. Algebra Comput. 1, 127\u2013146 (1991)","journal-title":"Int. J. Algebra Comput."},{"issue":"5\u20136","key":"9574_CR18","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1142\/S0218196704001918","volume":"14","author":"K Auinger","year":"2004","unstructured":"Auinger, K.: A new proof of the Rhodes type II conjecture. Int. J. Algebra Comput. 14(5\u20136), 551\u2013568 (2004)","journal-title":"Int. J. Algebra Comput."},{"key":"9574_CR19","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/s00209-004-0752-y","volume":"250","author":"K Auinger","year":"2005","unstructured":"Auinger, K., Steinberg, B.: A constructive version of the Ribes-Zalesski\u012d product theorem. Math. Z. 250, 287\u2013297 (2005)","journal-title":"Math. Z."},{"key":"9574_CR20","doi-asserted-by":"crossref","unstructured":"Berstel, J.: Transductions and context-free languages, Teubner Verlag, 1979, The first four chapters are available through http:\/\/www-igm.univ-mlv.fr\/~berstel\/LivreTransductions\/LivreTransductions.html","DOI":"10.1007\/978-3-663-09367-1"},{"issue":"2","key":"9574_CR21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1142\/S021819670900507X","volume":"19","author":"JC Costa","year":"2009","unstructured":"Costa, J.C., Nogueira, C.: Complete reducibility of the pseudovariety LSl. Int. J. Algebra Comput. 19(2), 247\u2013282 (2009)","journal-title":"Int. J. Algebra Comput."},{"issue":"1\u20132","key":"9574_CR22","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0022-4049(88)90042-4","volume":"55","author":"K Henckell","year":"1988","unstructured":"Henckell, K.: Pointlike sets: the finest aperiodic cover of a finite semigroup. J. Pure Appl. Algebra 55(1\u20132), 85\u2013126 (1988)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"9574_CR23","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1142\/S0218196791000298","volume":"1","author":"K Henckell","year":"1991","unstructured":"Henckell, K., Margolis, S.W., Pin, J.-\u00c9., Rhodes, J.: Ash\u2019s type II theorem, profinite topology and Mal\u2019cev products. I. Int. J. Algebra Comput. 1(4), 411\u2013436 (1991)","journal-title":"Int. J. Algebra Comput."},{"issue":"2","key":"9574_CR24","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1142\/S0218196710005662","volume":"20","author":"K Henckell","year":"2010","unstructured":"Henckell, K., Rhodes, J., Steinberg, B.: Aperiodic pointlikes and beyond. Int. J. Algebra Comput. 20(2), 287\u2013305 (2010)","journal-title":"Int. J. Algebra Comput."},{"issue":"5","key":"9574_CR25","doi-asserted-by":"crossref","first-page":"1985","DOI":"10.1090\/S0002-9947-99-02374-0","volume":"352","author":"B Herwig","year":"2000","unstructured":"Herwig, B., Lascar, D.: Extending partial automorphisms and the profinite topology on free groups. Trans. Am. Math. Soc. 352(5), 1985\u20132021 (2000)","journal-title":"Trans. Am. Math. Soc."},{"issue":"5","key":"9574_CR26","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1142\/S0218196701000693","volume":"11","author":"JP McCammond","year":"2001","unstructured":"McCammond, J.P.: Normal forms for free aperiodic semigroups. Int. J. Algebra Comput. 11(5), 581\u2013625 (2001)","journal-title":"Int. J. Algebra Comput."},{"key":"9574_CR27","doi-asserted-by":"crossref","first-page":"6556","DOI":"10.1016\/j.tcs.2011.08.003","volume":"412","author":"A Moura","year":"2011","unstructured":"Moura, A.: The word problem for $$\\omega $$ \u03c9 -terms over DA. Theor. Comp. Sci. 412, 6556\u20136569 (2011)","journal-title":"Theor. Comp. Sci."},{"key":"9574_CR28","unstructured":"Nogueira, C.V.: Propriedades algor\u00edtmicas envolvendo a pseudovariedade LSl. Ph.D. thesis, Univ. Minho (2010)"},{"key":"9574_CR29","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1090\/S0002-9939-1957-0087032-5","volume":"8","author":"K Numakura","year":"1957","unstructured":"Numakura, K.: Theorems on compact totally disconnected semigroups and lattices. Proc. Amer. Math. Soc. 8, 623\u2013626 (1957)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9574_CR30","doi-asserted-by":"crossref","unstructured":"Pin, J.-\u00c9.: Varieties of Formal Languages. Foundations of Computer Science. Plenum Publishing, New York (1986)","DOI":"10.1007\/978-1-4613-2215-3"},{"issue":"2","key":"9574_CR31","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0021-8693(91)90094-O","volume":"137","author":"J-\u00c9 Pin","year":"1991","unstructured":"Pin, J.-\u00c9.: Topologies for the free monoid. J. Algebra 137(2), 297\u2013337 (1991)","journal-title":"J. Algebra"},{"key":"9574_CR32","unstructured":"Pin, J.-\u00c9., Reutenauer, Ch.: A conjecture on the Hall topology for the free group. Bull. Lond. Math. Soc. 23, 356\u2013362 (1991)"},{"key":"9574_CR33","doi-asserted-by":"crossref","unstructured":"Rhodes, J., Steinberg, B.: The $$q$$ q -Theory of Finite Semigroups. Springer Monographs in Mathematics. Springer, New York (2009)","DOI":"10.1007\/b104443"},{"key":"9574_CR34","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1112\/blms\/25.1.37","volume":"25","author":"L Ribes","year":"1993","unstructured":"Ribes, L., Zalesski\u012d, P.A.: On the profinite topology on a free group. Bull. Lond. Math. Soc. 25, 37\u201343 (1993)","journal-title":"Bull. Lond. Math. Soc."},{"key":"9574_CR35","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1142\/S0218196798000119","volume":"8","author":"B Steinberg","year":"1998","unstructured":"Steinberg, B.: On pointlike sets and joins of pseudovarieties. Int. J. Algebra Comput. 8, 203\u2013231 (1998)","journal-title":"Int. J. Algebra Comput."},{"key":"9574_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00020979","volume":"62","author":"B Steinberg","year":"2001","unstructured":"Steinberg, B.: On algorithmic problems for joins of pseudovarieties. Semigroup Forum 62, 1\u201340 (2001)","journal-title":"Semigroup Forum"}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-014-9574-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-014-9574-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-014-9574-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T09:33:22Z","timestamp":1716629602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-014-9574-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,25]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["9574"],"URL":"https:\/\/doi.org\/10.1007\/s00233-014-9574-3","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,25]]}}}