Hyperdecidable pseudovarieties and the calculation of semidirect products

International Journal of Algebra and Computation

Volumn 9, Issue 3-4, 1999, Pages 241-261

  Almeida, Jorge ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033437222     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218196799000163     Document Type: Article

References (39)

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, Residually finite congruences and quasi-regular subsets in uniform algebras, Portugaliæ Mathematica 46 (1989), 313-328.
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. _, Some algorithmic problems for pseudovarieties, Publ. Math. Debrecen 54 Supplement (1999), 531-552.
6. _, On hyperdecidable pseudovarieties of simple semigroups, Int. J. Algebra Comput. (1999) (to appear).
7. _, On a problem of Brzozowski and Fich, In Semigroups and Applications, eds. J. M. Howie and N. Ruškue, World Scientific, Singapore, 1999.
8. n, J. Pure Appl. Algebra (to appear).
9. J. Almeida, A. Azevedo and M. Zeitoun, Pseudovariety joins involving J -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, (to appear).
11. J. Almeida and P. V. Silva, On the hyperdecidability of semidirect products of pseudo-varieties, Comm. Algebra 26 (1998), 4065-4077.
12. _, SC-hyperdecidability of R, Theor. Comp. Sci. (to appear).
13. J. Almeida and B. Steinberg, On the decidability of iterated semidirect products and applications to complexity, Proc. London Math. Soc. (to appear).
14. J. Almeida and P. Weil, 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., pp. 73-117.
15. _, Profinite categories and semidirect products, J. Pure Appl. Algebra 123 (1998), 1-50.
16. J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Theor. Infor. Applications 31 (1997), 457-482.
17. 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.
18. M. Delgado, Abelian pointlikes of a monoid, Semigroup Forum 56 (1998), 339-361.
19. S. Eilenberg, Automata, Languages and Machines, Vol. B, Academic Press, New York, 1976.
20. K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
21. _, Product expansions, J. Pure Appl. Algebra 101 (1995), 157-170.
22. 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.
23. B. Herwig and D. Lascar, Extending partial automorphism and the profinite topology on the free groups, Trans. Amer. Math. Soc. (to appear).
24. J. M. Howie, An Introduction to Semigroup Theory, Academic Press, London, 1976.
25. P. R. Jones, Profinite categories, implicit operations and pseudovarieties of categories, J. Pure Appl. Algebra 109 (1996), 61-95.
26. J. Karnofsky and J. Rhodes, Decidability of complexity one-half for finite semigroups, Semigroup Forum 24 (1982), 55-66.
27. 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.
28. K. Numakura, Theorems on compact totally disconnetced semigroups and lattices, Proc. Amer. Math. Soc. 8 (1957), 623-626.
29. P. Perkins, Bases for equational theories of semigroups, J. Algebra 11 (1968), 298-314.
30. J.-E. Pin, Varieties of Formal Languages, Plenum, London, 1986. (English translation.)
31. J.-E. Pin and P. Weil, Profinite semigroups, Mal'cev products and identities, J. Algebra 182 (1996), 604-626.
32. J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10.
33. J. Rhodes, New techniques in global semigroup theory, in Semigroups and their Applications, eds. S. Goberstein and P. Higgins, Dordrecht, 1987, D. Reidel, pp. 168-181.
34. J. Rhodes, Undecidability, automata and pseudovarieties of finite semigroups, Int. J. Algebra Comput. (this volume).
35. J. L. Rhodes and B. Steinberg, Pointlike sets, hyperdecidability and the identity problem for finite semigroups, Int. J. Algebra Comput. (this volume).
36. B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra Comput. 8 (1998), 203-231.
37. _, On algorithmic problems for joins of pseudovarieties, Semigroup Forum (to appear).
38. B. Tilson, Categories as algebra: An essential ingredient in the theory of monoids, J. Pure Appl. Algebra 48 (1987), 83-198.
39. M. V. Volkov, On a class of semigroup pseudovarieties without finite pseudoidentity basis, Int. J. Algebra Comput. 5 (1995), 127-135.