{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:15:11Z","timestamp":1770909311316,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":94,"publisher":"Springer-Verlag","isbn-type":[{"value":"1402038151","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-3817-8_1","type":"book-chapter","created":{"date-parts":[[2006,1,17]],"date-time":"2006-01-17T21:13:06Z","timestamp":1137532386000},"page":"1-45","source":"Crossref","is-referenced-by-count":30,"title":["Profinite semigroups and applications"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.2307\/2275184","volume":"57","author":"D. Albert","year":"1992","unstructured":"D. Albert, R. Baldinger, and J. Rhodes, The identity problem for finite semigroups (the undecidability of), J. Symbolic Logic 57 (1992), 179\u2013192.","journal-title":"J. Symbolic Logic"},{"key":"1_CR2","first-page":"313","volume":"46","author":"J. Almeida","year":"1989","unstructured":"J. Almeida, Residually finite congruences and quasi-regular subsets in uniform algebras, Portugal. Math. 46 (1989), 313\u2013328.","journal-title":"Portugal. Math."},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1142\/2481","volume-title":"Finite Semigroups and Universal Algebra","author":"J. Almeida","year":"1995","unstructured":"J. Almeida, Finite Semigroups and Universal Algebra, World Scientific, Singapore, 1995, english translation."},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1142\/S021819679600009X","volume":"6","author":"J. Almeida","year":"1996","unstructured":"J. Almeida, A syntactical proof of locality of DA, Int. J. Algebra Comput. 6 (1996), 165\u2013177.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1142\/S0218196799000163","volume":"9","author":"J. Almeida","year":"1999","unstructured":"J. Almeida, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra Comput. 9 (1999), 241\u2013261.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1090\/S0002-9947-01-02857-4","volume":"354","author":"J. Almeida","year":"2002","unstructured":"J. Almeida, Dynamics of implicit operations and tameness of pseudovarieties of groups, Trans. Amer. Math. Soc. 354 (2002), 387\u2013411.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR7","volume-title":"Semigroups, Algorithms, Automata and Languages","author":"J. Almeida","year":"2002","unstructured":"J. Almeida, Finite semigroups: an introduction to a unified theory of pseudovarieties, in: Semigroups, Algorithms, Automata and Languages (G. M. S. Gomes, J.-E. Pin, and P. V. Silva, eds.), World Scientific, Singapore, 2002."},{"key":"1_CR8","first-page":"8","volume":"14","author":"J. Almeida","year":"2003","unstructured":"J. Almeida, Profinite structures and dynamics, CIM Bulletin 14 (2003), 8\u201318.","journal-title":"CIM Bulletin"},{"key":"1_CR9","first-page":"1","volume":"1366","author":"J. Almeida","year":"2004","unstructured":"J. Almeida, Symbolic dynamics in free profinite semigroups, RIMS Kokyuroku 1366 (2004), 1\u201312.","journal-title":"RIMS Kokyuroku"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218196799000072","volume":"9","author":"J. Almeida","year":"1999","unstructured":"J. Almeida, A. Azevedo, and M. Zeitoun, Pseudovariety joins involving J-trivial semigroups, Int. J. Algebra Comput. 9 (1999), 99\u2013112.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR11","first-page":"409","volume":"56","author":"J. Almeida","year":"1999","unstructured":"J. Almeida and M. Delgado, Sur certains syst\u00e8mes d\u2019\u00e9quations avec contraintes dans un groupe libre, Portugal. Math. 56 (1999), 409\u2013417.","journal-title":"Portugal. Math."},{"key":"1_CR12","first-page":"379","volume":"58","author":"J. Almeida","year":"2001","unstructured":"J. Almeida and M. Delgado, Sur certains syst\u00e8mes d\u2019\u00e9quations avec contraintes dans un groupe libre\u2014addenda, Portugal. Math. 58 (2001), 379\u2013387.","journal-title":"Portugal. Math."},{"key":"1_CR13","unstructured":"J. Almeida and M. Delgado, Tameness of the pseudovariety of abelian groups, Tech. Rep. CMUP 2001-24, Univ. Porto (2001), to appear in Int. J. Algebra Comput."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-4049(01)00010-X","volume":"166","author":"J. Almeida","year":"2002","unstructured":"J. Almeida and A. Escada, On the equation V * G = EV, J. Pure Appl. Algebra 166(2002), 1\u201328.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1112\/S0024611500012144","volume":"80","author":"J. Almeida","year":"2000","unstructured":"J. Almeida and B. Steinberg, On the decidability of iterated semidirect products and applications to complexity, Proc. London Math. Soc. 80 (2000), 50\u201374.","journal-title":"Proc. London Math. Soc."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"J. Almeida and B. Steinberg, Syntactic and global semigroup theory, a synthesis approach, in: Algorithmic Problems in Groups and Semigroups (J. C. Birget, S.W. Margolis, J. Meakin, and M. V. Sapir, eds.), Birkh\u00e4user, 2000.","DOI":"10.1007\/978-1-4612-1388-8_1"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1017\/S0017089501010060","volume":"43","author":"J. Almeida","year":"2001","unstructured":"J. Almeida and P. G. Trotter, Hyperdecidability of pseudovarieties of orthogroups, Glasgow Math. J. 43 (2001), 67\u201383.","journal-title":"Glasgow Math. J."},{"key":"1_CR18","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1017\/S000497270001950X","volume":"63","author":"J. Almeida","year":"2001","unstructured":"J. Almeida and P. G. Trotter, The pseudoidentity problem and reducibility for completely regular semigroups, Bull. Austral. Math. Soc. 63 (2001), 407\u2013433.","journal-title":"Bull. Austral. Math. Soc."},{"key":"1_CR19","unstructured":"J. Almeida and M. V. Volkov, Subword complexity of profinite words and subgroups of free profinite semigroups, Tech. Rep. CMUP 2003-10, Univ. Porto (2003), to appear in Int. J. Algebra Comput."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-4049(96)00083-7","volume":"123","author":"J. Almeida","year":"1998","unstructured":"J. Almeida and P. Weil, Profinite categories and semidirect products, J. Pure Appl. Algebra 123 (1998), 1\u201350.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR21","volume-title":"Algebraic Theory of Machines, Languages and Semigroups","author":"M. Arbib","year":"1968","unstructured":"M. Arbib, Algebraic Theory of Machines, Languages and Semigroups, Academic Press, New York, 1968."},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1142\/S0218196791000079","volume":"1","author":"C. J. Ash","year":"1991","unstructured":"C. J. Ash, Inevitable graphs: a proof of the type II conjecture and some related decision procedures, Int. J. Algebra Comput. 1 (1991), 127\u2013146.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"K. Auinger and B. Steinberg, On power groups and embedding theorems for relatively free profinite monoids, Math. Proc. Cambridge Phil. Soc. To appear.","DOI":"10.1017\/S0305004104008175"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"2693","DOI":"10.1090\/S0002-9939-03-06860-6","volume":"131","author":"K. Auinger","year":"2003","unstructured":"K. Auinger and B. Steinberg, On the extension problem for partial permutations, Proc. Amer. Math. Soc. 131 (2003), 2693\u20132703.","journal-title":"Proc. Amer. Math. Soc."},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1090\/S0002-9947-03-03358-0","volume":"356","author":"K. Auinger","year":"2004","unstructured":"K. Auinger and B. Steinberg, The geometry of profinite graphs with applications to free groups and finite monoids, Trans. Amer. Math. Soc. 356 (2004), 805\u2013851.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/BF01194543","volume":"17","author":"B. Banaschewski","year":"1983","unstructured":"B. Banaschewski, The birkhoff theorem for varieties of finite algebras, Algebra Universalis 17 (1983), 360\u2013368.","journal-title":"Algebra Universalis"},{"key":"1_CR27","unstructured":"T. Bandman, G.-M. Greuel, F. Grunewald, B. Kunyavski\u012d, G. Pfister, and E. Plotkin, Engel-like identities characterizing finite solvable groups, Tech. rep. (2003), available from arXiv.org e-Print archive at http:\/\/arxiv.org\/abs\/math\/0303165."},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0021-8693(65)90008-6","volume":"2","author":"G. Baumslag","year":"1965","unstructured":"G. Baumslag, Residual nilpotence and relations in free groups, J. Algebra 2 (1965), 271\u2013282.","journal-title":"J. Algebra"},{"key":"1_CR29","first-page":"33","volume":"10","author":"J. A. Brzozowski","year":"1976","unstructured":"J. A. Brzozowski, Hierarchies of aperiodic languages, RAIRO Inf. Th\u00e9or. et Appl. 10(1976), 33\u201349.","journal-title":"RAIRO Inf. Th\u00e9or. et Appl."},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0012-365X(73)80005-6","volume":"4","author":"J. A. Brzozowski","year":"1973","unstructured":"J. A. Brzozowski and I. Simon, Characterizations of locally testable events, Discrete Math. 4 (1973), 243\u2013271.","journal-title":"Discrete Math."},{"key":"1_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, no. 78 in Grad. Texts in Math., Springer, Berlin, 1981."},{"key":"1_CR32","unstructured":"D. M. Clark, B. A. Davey, and M. Jackson, Standard topological algebras and syntactic congruences, Tech. rep. (2003)."},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1090\/S0002-9939-99-04747-4","volume":"127","author":"T. Coulbois","year":"1999","unstructured":"T. Coulbois and A. Kh\u00e9lif, Equations in free groups are not finitely approximable, Proc. Amer. Math. Soc. 127 (1999), 963\u2013965.","journal-title":"Proc. Amer. Math. Soc."},{"key":"1_CR34","volume-title":"Text algorithms","author":"M. Crochemore","year":"1994","unstructured":"M. Crochemore and W. Rytter, Text algorithms, The Clarendon Press Oxford University Press, New York, 1994, with a preface by Zvi Galil."},{"key":"1_CR35","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"S. Eilenberg, Automata, Languages and Machines, vol. A, Academic Press, New York, 1974."},{"key":"1_CR36","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1976","unstructured":"S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976."},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/0001-8708(76)90029-3","volume":"19","author":"S. Eilenberg","year":"1976","unstructured":"S. Eilenberg and M. P. Sch\u00fctzenberger, On pseudovarieties, Advances in Math. 19 (1976), 413\u2013418.","journal-title":"Advances in Math."},{"key":"1_CR38","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/1969513","volume":"52","author":"M. Hall","year":"1950","unstructured":"M. Hall, A topology for free groups and related groups, Ann. Math. 52 (1950), 127\u2013139.","journal-title":"Ann. Math."},{"key":"1_CR39","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1142\/S0218196791000298","volume":"1","author":"K. Henckell","year":"1991","unstructured":"K. Henckell, S. Margolis, J.-E. Pin, and J. Rhodes, Ash\u2019s type II theorem, profinite topology and malcev products. Part I, Int. J. Algebra Comput. 1 (1991), 411\u2013436.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR40","volume-title":"Monoids and Semigroups with Applications","author":"K. Henckell","year":"1991","unstructured":"K. Henckell and J. Rhodes, The theorem of Knast, the PG=BG and Type II Conjectures, in: Monoids and Semigroups with Applications (J. Rhodes, ed.), World Scientific, Singapore, 1991."},{"key":"1_CR41","doi-asserted-by":"publisher","first-page":"1985","DOI":"10.1090\/S0002-9947-99-02374-0","volume":"352","author":"B. Herwig","year":"2000","unstructured":"B. Herwig and D. Lascar, Extending partial automorphisms and the profinite topology on free groups, Trans. Amer. Math. Soc. 352 (2000), 1985\u20132021.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR42","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BF02773226","volume":"116","author":"P. M. Higgins","year":"2000","unstructured":"P. M. Higgins and S. W. Margolis, Finite aperiodic semigroups with commuting idempotents and generalizations, Israel J. Math. 116 (2000), 367\u2013380.","journal-title":"Israel J. Math."},{"key":"1_CR43","volume-title":"Elements of compact semigroups","author":"K. H. Hofmann","year":"1966","unstructured":"K. H. Hofmann and P. S. Mostert, Elements of compact semigroups, Charles E. Merrill, Columbus, Ohio, 1966."},{"key":"1_CR44","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1017\/S1446788700029852","volume":"44","author":"R. P. Hunter","year":"1988","unstructured":"R. P. Hunter, Certain finitely generated compact zero-dimensional semigroups, J. Austral. Math. Soc., Ser. A 44 (1988), 265\u2013270.","journal-title":"J. Austral. Math. Soc., Ser. A"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0022-4049(95)00074-7","volume":"109","author":"P. R. Jones","year":"1996","unstructured":"P. R. Jones, Profinite categories, implicit operations and pseudovarieties of categories, J. Pure Appl. Algebra 109 (1996), 61\u201395.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1006\/jabr.2001.9033","volume":"248","author":"I. Kapovich","year":"2002","unstructured":"I. Kapovich and A. Myasnikov, Stallings foldings and subgroups of free groups, J. Algebra 248 (2002), 608\u2013668.","journal-title":"J. Algebra"},{"key":"1_CR47","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF02572755","volume":"24","author":"J. Karnofsky","year":"1982","unstructured":"J. Karnofsky and J. Rhodes, Decidability of complexity one-half for finite semigroups, Semigroup Forum 24 (1982), 55\u201366.","journal-title":"Semigroup Forum"},{"key":"1_CR48","volume-title":"Automata Studies","author":"S. C. Kleene","year":"1956","unstructured":"S. C. Kleene, Representations of events in nerve nets and finite automata, in: Automata Studies (C. E. Shannon, ed.), vol. 3\u201341, Princeton University Press, Princeton, N.J., 1956, reprinted in [60]."},{"key":"1_CR49","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1051\/ita\/1983170403211","volume":"17","author":"R. Knast","year":"1983","unstructured":"R. Knast, A semigroup characterization of dot-depth one languages, RAIRO Inf. Th\u00e9or. et Appl. 17 (1983), 321\u2013330.","journal-title":"RAIRO Inf. Th\u00e9or. et Appl."},{"key":"1_CR50","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1051\/ita\/1983170403311","volume":"17","author":"R. Knast","year":"1983","unstructured":"R. Knast, Some theorems on graph congruences, RAIRO Inf. Th\u00e9or. et Appl. 17 (1983), 331\u2013342.","journal-title":"RAIRO Inf. Th\u00e9or. et Appl."},{"key":"1_CR51","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1090\/S0002-9947-1965-0188316-1","volume":"116","author":"K. Krohn","year":"1965","unstructured":"K. Krohn and J. Rhodes, Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines, Trans. Amer. Math. Soc. 116 (1965), 450\u2013464.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR52","doi-asserted-by":"crossref","first-page":"128","DOI":"10.2307\/1970558","volume":"88","author":"K. Krohn","year":"1968","unstructured":"K. Krohn and J. Rhodes, Complexity of finite semigroups, Ann. of Math. (2) 88 (1968), 128\u2013160.","journal-title":"Ann. of Math. (2)"},{"key":"1_CR53","volume-title":"Semigroups and Combinatorial Applications","author":"G. Lallement","year":"1979","unstructured":"G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York, 1979."},{"key":"1_CR54","doi-asserted-by":"crossref","DOI":"10.1142\/3645","volume-title":"Inverse Semigroups: the Theory of Partial Symmetries","author":"M. V. Lawson","year":"1998","unstructured":"M. V. Lawson, Inverse Semigroups: the Theory of Partial Symmetries, World Scientific, Singapore, 1998."},{"key":"1_CR55","volume-title":"An introduction to symbolic dynamics and coding","author":"D. Lind","year":"1996","unstructured":"D. Lind and B. Marcus, An introduction to symbolic dynamics and coding, Cambridge University Press, Cambridge, 1996."},{"key":"1_CR56","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1006\/jabr.2001.8805","volume":"242","author":"A. Lubotzky","year":"2001","unstructured":"A. Lubotzky, Pro-finite presentations, J. Algebra 242 (2001), 672\u2013690.","journal-title":"J. Algebra"},{"key":"1_CR57","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1142\/S0218196701000498","volume":"11","author":"S. Margolis","year":"2001","unstructured":"S. Margolis, M. Sapir, and P. Weil, Closed subgroups in pro-V topologies and the extension problem for inverse automata, Int. J. Algebra Comput. 11 (2001), 405\u2013445.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR58","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2140\/pjm.1984.111.125","volume":"111","author":"S. W. Margolis","year":"1984","unstructured":"S. W. Margolis and J.-E. Pin, Minimal noncommutative varieties and power varieties, Pacific J. Math. 111 (1984), 125\u2013135.","journal-title":"Pacific J. Math."},{"key":"1_CR59","volume-title":"Proc. 1984 Marquette Semigroup Conference","author":"S. W. Margolis","year":"1984","unstructured":"S. W. Margolis and J.-E. Pin, Varieties of finite monoids and topology for the free monoid, in: Proc. 1984 Marquette Semigroup Conference, Marquette University, Milwaukee, 1984."},{"key":"1_CR60","volume-title":"Sequential Machines: Selected Papers","year":"1964","unstructured":"E. F. Moore, ed., Sequential Machines: Selected Papers, Addison-Wesley, Reading, Mass., 1964."},{"key":"1_CR61","unstructured":"J. Myhill, Finite automata and the representation of events, Tech. Rep. 57624, Wright Air Development Command (1957)."},{"key":"1_CR62","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1090\/S0002-9939-1957-0087032-5","volume":"8","author":"K. Numakura","year":"1957","unstructured":"K. Numakura, Theorems on compact totally disconnetced semigroups and lattices, Proc. Amer. Math. Soc. 8 (1957), 623\u2013626.","journal-title":"Proc. Amer. Math. Soc."},{"key":"1_CR63","series-title":"Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"D. Perrin","year":"1990","unstructured":"D. Perrin, Finite automata, in: Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B: Formal Models and Semantics, Elsevier, Amsterdam, 1990."},{"key":"1_CR64","unstructured":"J.-E. Pin, Vari\u00e9t\u00e9s de langages et vari\u00e9t\u00e9s de semigroupes, Ph.D. thesis, Univ. Paris 7 (1981)."},{"key":"1_CR65","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J.-E. Pin","year":"1986","unstructured":"J.-E. Pin, Varieties of Formal Languages, Plenum, London, 1986, english translation."},{"key":"1_CR66","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1112\/blms\/23.4.356","volume":"23","author":"J.-E. Pin","year":"1991","unstructured":"J.-E. Pin and C. Reutenauer, A conjecture on the Hall topology for the free group, Bull. London Math. Soc. 23 (1991), 356\u2013362.","journal-title":"Bull. London Math. Soc."},{"key":"1_CR67","volume-title":"Semigroups: structure and universal algebraic problems","author":"J.-E. Pin","year":"1985","unstructured":"J.-E. Pin and H. Straubing, Monoids of upper triangular matrices, in: Semigroups: structure and universal algebraic problems (G. Poll\u00e1k, ed.), North-Holland, Amsterdam, 1985."},{"key":"1_CR68","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1006\/jabr.1996.0192","volume":"182","author":"J.-E. Pin","year":"1996","unstructured":"J.-E. Pin and P. Weil, Profinite semigroups, mal\u2019cev products and identities, J. Algebra 182 (1996), 604\u2013626.","journal-title":"J. Algebra"},{"key":"1_CR69","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0081890","volume-title":"Substitution Dynamical Systems\u2014Spectral Analysis","author":"M. Queff\u00e9lec","year":"1987","unstructured":"M. Queff\u00e9lec, Substitution Dynamical Systems\u2014Spectral Analysis, vol. 1294 of Lect. Notes in Math., Springer-Verlag, Berlin, 1987."},{"key":"1_CR70","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J. Reiterman","year":"1982","unstructured":"J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1\u201310.","journal-title":"Algebra Universalis"},{"key":"1_CR71","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0021-8693(77)90265-4","volume":"49","author":"J. Rhodes","year":"1977","unstructured":"J. Rhodes, Kernel systems \u2014 a global study of homomorphisms on finite semigroups, J. Algebra 49 (1977), 1\u201345.","journal-title":"J. Algebra"},{"key":"1_CR72","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1142\/S0218196799000278","volume":"9","author":"J. Rhodes","year":"1999","unstructured":"J. Rhodes, Undecidability, automata and pseudovarieties of finite semigroups, Int. J. Algebra Comput. 9 (1999), 455\u2013473.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR73","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0022-4049(72)90022-9","volume":"2","author":"J. Rhodes","year":"1972","unstructured":"J. Rhodes and B. Tilson, Improved lower bounds for the complexity of finite semigroups, J. Pure Appl. Algebra 2 (1972), 13\u201371.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR74","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1112\/blms\/25.1.37","volume":"25","author":"L. Ribes","year":"1993","unstructured":"L. Ribes and P. A. Zalesski\u012d, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37\u201343.","journal-title":"Bull. London Math. Soc."},{"key":"1_CR75","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1142\/S021819679400004X","volume":"4","author":"L. Ribes","year":"1994","unstructured":"L. Ribes and P. A. Zalesski\u012d, The pro-p topology of a free group and algorithmic problems in semigroups, Int. J. Algebra Comput. 4 (1994), 359\u2013374.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR76","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04097-3","volume-title":"Profinite Groups","author":"L. Ribes","year":"2000","unstructured":"L. Ribes and P. A. Zalesski\u012d, Profinite Groups, no. 40 in Ergeb. Math. Grenzgebiete 3, Springer, Berlin, 2000."},{"key":"1_CR77","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0128-8","volume-title":"A Course in Theory of Groups","author":"D. J. S. Robinson","year":"1982","unstructured":"D. J. S. Robinson, A Course in Theory of Groups, no. 80 in Grad. Texts in Math., Springer-Verlag, New York, 1982."},{"key":"1_CR78","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02573467","volume":"49","author":"S. Satoh","year":"1994","unstructured":"S. Satoh, K. Yama, and M. Tokizawa, Semigroups of order 8, Semigroup Forum 49(1994), 7\u201330.","journal-title":"Semigroup Forum"},{"key":"1_CR79","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M. P. Sch\u00fctzenberger","year":"1965","unstructured":"M. P. Sch\u00fctzenberger, On finite monoids having only trivial subgroups, Inform. and Control 8 (1965), 190\u2013194.","journal-title":"Inform. and Control"},{"key":"1_CR80","series-title":"Lect. Notes in Comput. Sci.","volume-title":"Proc. 2nd GI Conf.","author":"I. Simon","year":"1975","unstructured":"I. Simon, Piecewise testable events, in: Proc. 2nd GI Conf., vol. 33 of Lect. Notes in Comput. Sci., Springer, Berlin, 1975."},{"key":"1_CR81","unstructured":"I. Simon, Words distinguished by their subwords, Tech. rep., Univ. S. Paulo (2003)."},{"key":"1_CR82","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/BF02095993","volume":"71","author":"J. R. Stallings","year":"1983","unstructured":"J. R. Stallings, Topology of finite graphs, Inventiones Mathematicae 71 (1983), 551\u2013565.","journal-title":"Inventiones Mathematicae"},{"key":"1_CR83","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1142\/S0218196798000119","volume":"8","author":"B. Steinberg","year":"1998","unstructured":"B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra Comput. 8(1998), 203\u2013231.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR84","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1142\/S0218196701000462","volume":"11","author":"B. Steinberg","year":"2001","unstructured":"B. Steinberg, Inevitable graphs and profinite topologies: some solutions to algorithmic problems in monoid and automata theory, stemming from group theory, Int. J. Algebra Comput. 11 (2001), 25\u201371.","journal-title":"Int. J. Algebra Comput."},{"key":"1_CR85","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s002330010052","volume":"63","author":"B. Steinberg","year":"2001","unstructured":"B. Steinberg, A note on the equation PH = J * H, Semigroup Forum 63 (2001), 469\u2013474.","journal-title":"Semigroup Forum"},{"key":"1_CR86","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0022-4049(85)90062-3","volume":"36","author":"H. Straubing","year":"1985","unstructured":"H. Straubing, Finite semigroup varieties of the form V * D, J. Pure Appl. Algebra 36(1985), 53\u201394.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR87","volume-title":"Semigroups, Algorithms, Automata and Languages","author":"P. Tesson","year":"2002","unstructured":"P. Tesson and D. Th\u00e9rien, Diamonds are forever: the variety da, in: Semigroups, Algorithms, Automata and Languages (G. M. S. Gomes, J.-E. Pin, and P. V. Silva, eds.), World Scientific, Singapore, 2002."},{"key":"1_CR88","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0022-4049(85)90071-4","volume":"36","author":"D. Th\u00e9rien","year":"1985","unstructured":"D. Th\u00e9rien and A. Weiss, Graph congruences and wreath products, J. Pure Appl. Algebra 36 (1985), 205\u2013215.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR89","first-page":"234","volume-title":"STOC\u2019 98 (Dallas, TX)","author":"D. Th\u00e9rien","year":"1999","unstructured":"D. Th\u00e9rien and T. Wilke, Over words, two variables are as powerful as one quantifier alternation, in: STOC\u2019 98 (Dallas, TX), ACM, New York, 1999, 234\u2013240."},{"key":"1_CR90","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0022-4049(87)90108-3","volume":"48","author":"B. Tilson","year":"1987","unstructured":"B. Tilson, Categories as algebra: an essential ingredient in the theory of monoids, J. Pure Appl. Algebra 48 (1987), 83\u2013198.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR91","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF02574083","volume":"52","author":"P. G. Trotter","year":"1996","unstructured":"P. G. Trotter and M. V. Volkov, The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups, Semigroup Forum 52 (1996), 83\u201391.","journal-title":"Semigroup Forum"},{"key":"1_CR92","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1051\/ita\/1986200303571","volume":"20","author":"A. Weiss","year":"1986","unstructured":"A. Weiss and D. Th\u00e9rien, Varieties of finite categories, RAIRO Inf. Th\u00e9or. et Appl. 20(1986), 357\u2013366.","journal-title":"RAIRO Inf. Th\u00e9or. et Appl."},{"key":"1_CR93","volume-title":"General Topology","author":"S. Willard","year":"1970","unstructured":"S. Willard, General Topology, Addison-Wesley, Reading, Mass., 1970."},{"key":"1_CR94","first-page":"485","volume":"42","author":"M. Zorn","year":"1936","unstructured":"M. Zorn, Nilpotency of finite groups (abstract), Bull. Amer. Math. Soc. 42 (1936), 485\u2013486.","journal-title":"Bull. Amer. Math. Soc."}],"container-title":["NATO Science Series II: Mathematics, Physics and Chemistry","Structural Theory of Automata, Semigroups, and Universal Algebra"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-3817-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:25Z","timestamp":1605644005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-3817-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402038151"],"references-count":94,"URL":"https:\/\/doi.org\/10.1007\/1-4020-3817-8_1","relation":{},"subject":[]}}