On the hyperdecidability of semidirect products of pseudovarieties

References

• Albert , D. , Baldinger , R. and Rhodes , J. 1992 . The identity problem for finite semigroups . J. Symbolic Logic , 57 : 179 – 192 . the unde-cidabiliiy of
   Web of Science ®Google Scholar
• Almeida , J. 1995 . Finite Semigroups and Universal Algebra , Singapore : World Scientific . English translation
   Google Scholar
• Almeida , J. 1995 . Some algorithmic problems for pseudovarieties . Publ.Math.Debrecen , To appear
   Google Scholar
• Almeida , J. 1998 . Hyperdecidable pseudovarieties and the calculation of semidirect products , Univ. Porto . Tech. Rep. CMUP 96-11
   Google Scholar
• Almeida , J. 1997 . On hyperdecidable pseudovarieties of simple semigroups , Univ. of Porto . Tech. Rep. CMUP 97-20
   Google Scholar
• Almeida , J. and Steinberg , B. 1997 . On the decidability of iterated semidirect products and applications to complexity , Univ, Porto . Tech. Rep 97-27
   Google Scholar
• Almeida , J. and Weil , P. 1995 . Free profinite semigroups over semidirect products . Russian Math , 39 : 1 – 27 . Iz.VUZ
   Google Scholar
• Almeida , J. and Weil , P. 1995 . “ Relatively free profinite monoids:an introduction and examples ” . In Semigroups,Formal Languages and Groups , Edited by: Fountain , J.B. Vol. 466 , 73 – 117 . Dordrecht : Kluwer Academic Publ .
   Google Scholar
• Almeida , J. and Weil , P. 1998 . Profinite categories and semidirect products . J. Pure and Appl. Algebra , 123 : 1 – 50 .
   Web of Science ®Google Scholar
• Almeida , J. and Zeitoun , M. 1998 . The pseudovariety J is hyperdecidable . Theoretical Informatics and Applications , 123 To appear
   Google Scholar
• Ash , C.J. 1991 . Inevitable graphs:a proof of the type II conjecture and some related decision procedures . Int.J. Algebra and Computation , 1 : 127 – 146 .
   Google Scholar
• Eilenberg , S. 1976 . Automata,Languages and Machines , Vol. B , New York : Academic Press .
   Google Scholar
• Green , J.A. and Rees , D. 1952 . On semigroups in which xr=x . Proc. Cambridge Phil Soc , 48 : 35 – 40 .
   Google Scholar
• Henckell , K. 1988 . Pointlike sets:the finest aperiodic cover of a finite semigroup . J. Pure and Appl. Algebra , 55 : 85 – 126 .
   Web of Science ®Google Scholar
• Henckell , K. 1995 . Product expansions . J. Pure and Appl. Algebra , 101 : 157 – 170 .
   Web of Science ®Google Scholar
• Jones , P.R. 1987 . Mal’cev products of varieties of completely regular semigroups . J.Austral.Math.Soc , 42 : 227 – 246 .
   Web of Science ®Google Scholar
• Jones , P.R. and Trotter , P.G. 1997 . Semidirect prodcuis of regular semigroups . Trans. Amer. Math. Soc , 349 : 4265 – 4310 .
   Web of Science ®Google Scholar
• Pin , J.E. 1986 . Varieties of Formal Languages , London : Plenum . English translation
   Google Scholar
• Rhodes , J. 1997 . Undecidability, automata and pseudovariettes of finite semigroups , Berkeley : University of California . tech.rep
   Google Scholar
• Steinberg , B. 1997 . On pointlike sets and joins of pseudovariettes . Int.J. Algebra and Computation , To appear
   Google Scholar
• Tilson , B. 1987 . Categories as algebra:an essential ingredient in the theory of monoids . J. Pure and Applied Algebra , 48 : 83 – 198 .
   Web of Science ®Google Scholar