On hyperdecidable pseudovarieties of simple semigroups

International Journal of Algebra and Computation

Volumn 10, Issue 2, 2000, Pages 261-284

  Almeida, Jorge ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034381990     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218196700000091     Document Type: Article

References (58)

1. D. Albert, R. Baldinger, and J. Rhodes, The identity problem for finite semigroups (the undecidability of), J. Symbolic Logic 57 (1992), 179-192.
2. J. Almeida, On finite simple semigroups, Proc. Edinburgh Math. Soc. 34 (1991), 205-215.
3. _, Finite Semigroups and Universal Algebra, World Scientific, Singapore, 1995 (English translation).
4. _, A syntactical proof of locality of DA, Int. J. Algebra Comput. 6 (1996), 165-177.
5. _, On a problem of Brzozowski and Fich, in Semigroups and Applications, J. M. Howie and N. Ruskuc, eds. Singapore, 1999, World Scientific, 1-17.
6. _, Some algorithmic problems for pseudovarieties, Publ. Math. Debrecen 54 Suppl. (1999), 531-552.
7. _, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra Comput. 9 (1999), 241-261.
8. J. Almeida and A. Azevedo, Globals of pseudovarieties of commutative semigroups, Tech. Rep. CMUP 1999-10, University of Porto.
9. J. Almeida, A. Azevedo, and M. Zeitoun, Pseudovariety joins involving Script J sign-trivial semigroups and completely regular semigroups, Int. J. Algebra Comput. 9 (1999), 99-112.
10. J. Almeida and M. Delgado, Sur certains systèmes d'équations avec contraintes dans un groupe libre, Portugaliæ Math. 56 (1999), 407-417.
11. J. Almeida and P. V. Silva, SC-hyperdecidability R, Theo. Comp. Sci (to appear).
12. _, On the hyperdecidability of semidirect products of pseudovarieties, Comm. Algebra 26 (1998), 4065-4077.
13. J. Almeida and B. Steinberg, On the decidability of iterated semidirect products and applications to complexity, Proc. London Math. Soc. 80 (2000), 50-74.
14. J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Russian Math. (Iz. VUZ) 39 (1995), 1-27.
15. _, Relatively free profinite monoids: An introduction and examples, in Semigroups, Formal Languages and Groups, ed. J. B. Fountain, Vol. 466, Dordrecht, 1995, Kluwer Academic Publ., 73-117.
16. _, Profinite categories and semidirect products, J. Pure Applied Algebra 123 (1998), 1-50.
17. J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Theo. Informatics and Appl. 31 (1997), 457-482.
18. J. Almeida and M. Zeitoun, Tameness of some locally trivial pseudovarieties, Tech. Rep. CMUP 1999-24, University of Porto.
19. C. J. Ash, Inevitable graphs: A proof of the type II conjecture and some related decision procedures, Int. J. Algebra Comput. 1 (1991), 127-146.
20. B. Austin, K. Henckell, C. Nehaniv and J. Rhodes, Subsemigroups and complexity via the presentation lemma, J. Pure Applied Algebra 101 (1995), 245-289.
21. A. Azevedo, Operações implícitas sobre pseudovariedades de semigrupos. Aplicações, Ph.D. Thesis, Universidade do Porto, 1989.
22. G. Baumslag, B. H. Neumann, H. Neumann and P. M. Neumann, On varieties generated by a finitely generated group, Math. Zeitschrift 86 (1964), 93-122.
23. J. A. Brzozowski and I. Simon, Characterizations of locally testable events, Discrete Math. 4 (1973), 243-271.
24. A. H. Clifford, The free completely regular semigroup on a set, J. Algebra 59 (1979), 434-451.
25. M. Delgado, On the hyperdecidability of pseudovarieties of groups, Technical Report. CMUP 97-3, University of Porto, 1997.
26. S. Eilenberg, Automata, Languages and Machines, Vol. B, Academic Press, New York, 1976.
27. r = x, Proc. Cambridge Phil. Soc. 48 (1952), 35-40.
28. M. Hall, A topology for free groups and related groups, Ann. Math. 52 (1950), 127-139.
29. K. Henckell, V-stable pairs, revisited. Talk at the 1997 Kyoto Workshop on Formal Languages and Computer Systems.
30. _, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Applied Algebra 55 (1988), 85-126.
31. _, Product expansions, J. Pure Applied Algebra 101 (1995), 157-170.
32. K. Henckell, S. Margolis, J.-E. Pin and J. Rhodes, Ash's type II theorem, profinite topology and Malcev products, Part I, Int. J. Algebra Comput. 1 (1991), 411-436.
33. B. Herwig and D. Lascar, Extending partial automorphism and the profinite topology on the free groups, Trans. Amer. Math. Soc. (to appear).
34. 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-464.
35. G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York, 1979.
36. S. Margolis, M. Sapir and P. Weil, Closed subgroups in pro-V topologies and the extension problem for inverse automata, Technical Report, 1998.
37. H. Neumann, Varieties of Groups, Springer, Berlin, 1967.
38. P. Perkins, Bases for equational theories of semigroups, J. Algebra 11 (1968), 298-314.
39. J.-E. Pin, Varieties of Formal Languages, Plenum, London, 1986. (English translation).
40. _, Topologies for the free monoid, J. Algebra 137 (1991), 297-337.
41. J.-E. Pin and C. Reutenauer, A conjecture on the Hall topology for the free group, Bull. London Math. Soc. 23 (1991), 356-362.
42. J. Rhodes, Kernel systems - A global study of homomorphisms on finite semigroups, J. Algebra 49 (1977), 1-45.
43. J. Rhodes, New techniques in global semigroup theory, in Semigroups and their Applications, eds. S. Goberstein and P. Higgins, Dordrecht, 1987, D. Reidel, 168-181.
44. J. Rhodes, Undecidability, automata and pseudovarieties of finite semigroups, Int. J. Algebra Comput. 9 (1999), 455-473.
45. J. L. Rhodes and B. Steinberg, Pointlike sets, hyperdecidability and the identity problem for finite semigroups, Int. J. Algebra Comput. 9 (3)-(4) (1999), 475-481.
46. L. Ribes and P. A. Zalesskiǐ, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37-43.
47. _, The pro-p topology of a free group and algorithmic problems in semigroups, Int. J. Algebra Comput. 4 (1994), 359-374.
48. M. V. Sapir, On the finite basis property for pseudovarieties of finite semigroups, C. R. Acad. Sci. Paris, Sér. I 306 (1988), 795-797.
49. B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra Comput. 8 (1998), 203-231.
50. _, Inevitable graphs and profinite topologies: Some solutions to algorithmic problems in monoid and automata theory, stemming from group theory, Int. J. Algebra Comput. (to appear).
51. _, Finite state automata: A geometric approach, Tech. Rep. CMUP1999-4, University of Porto.
52. _, Personal communication.
53. H. Straubing, Finite semigroup varieties of the form V * D, J. Pure Applied Algebra 36 (1985), 53-94.
54. D. Thérien and A. Weiss, Graph congruences and wreath products, J. Pure Applied Algebra 36 (1985), 205-215.
55. B. Tilson, Categories as algebra: An essential ingredient in the theory of monoids, J. Pure Applied Algebra 48 (1987), 83-198.
56. 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-91.
57. M. V. Volkov, On a class of semigroup pseudovarieties without finite pseudoidentity basis, Int. J. Algebra Comput. 5 (1995), 127-135.
58. M. Zeitoun, Opérations implicites et variétés de semigroupes finis, Ph.D. Thesis, University of Paris 7, 1993.