On the hyperdecidability of semidirect products of pseudovarieties

Communications in Algebra

Volumn 26, Issue 12, 1998, Pages 4065-4077

  Almeida, Jorge ^a   Silva, Pedro V ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22444455654     PISSN: 00927872     EISSN: None     Source Type: Journal    
DOI: 10.1080/00927879808826395     Document Type: Article

References (21)

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, Finite Semigroups and Universal Algebra, World Scientific, Singapore, 1995. English translation.
3. _, Some algorithmic problems for pseudovarieties, Publ. Math. Debrecen. To appear.
4. _, Hyperdecidable pseudovarieties and the calculation of semidirect products, Tech. Rep. CMUP 96-11, Univ. Porto, 1996.
5. _, On hyperdecidable pseudovarieties of simple semigroups, Tech. Rep. CMUP 97-20, Univ. of Porto, 1997.
6. J. Almeida and B. Steinberg, On the decidability of iterated semidirect products and applications to complexity, Tech. Rep. 97-27, Univ. Porto, 1997.
7. J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Russian Math. (Iz. VUZ) 39 (1995) 1-27.
8. _, Relatively free profinite monoids: an introduction and examples, in Semigroups, Formal Languages and Groups, J. B. Fountain, ed., vol. 466, Dordrecht, 1995, Kluwer Academic Publ., 73-117.
9. _, Profinite categories and semidirect products, J. Pure and Appl. Algebra 123 (1998) 1-50.
10. J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Theoretical Informatics and Applications. To appear.
11. C. J. Ash, Inevitable graphs: a proof of the type II conjecture and some related decision procedures, Int. J. Algebra and Computation 1 (1991) 127-146.
12. S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976.
13. r = x, Proc. Cambridge Phil. Soc. 48 (1952) 35-40.
14. K. Henckell, Pointlike sets: the finest aperiodic cover of a finite semigroup, J. Pure and Appl. Algebra 55 (1988) 85-126.
15. _, Product expansions, J. Pure and Appl. Algebra 101 (1995) 157-170.
16. P. R. Jones, Mal'cev products of varieties of completely regular semigroups, J. Austral. Math. Soc. 42 (1987) 227-246.
17. P. R. Jones and P. G. Trotter, Semidirect prodcuts of regular semigroups, Trans. Amer. Math. Soc. 349 (1997) 4265-4310.
18. J.-E. Pin, Varieties of Formal Languages, Plenum, London, 1986. English translation.
19. J. Rhodes, Undecidability, automata and pseudovarieties of finite semigroups, tech. rep., University of California, Berkeley, 1997.
20. B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra and Computation (1997). To appear.
21. B. Tilson, Categories as algebra: an essential ingredient in the theory of monoids, J. Pure and Applied Algebra 48 (1987) 83-198.