The pseudovariety J is hyperdecidable

Theoretical Informatics and Applications

Volumn 31, Issue 5, 1997, Pages 457-482

  Almeida, J ^a   Zeitoun, M ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031316549     PISSN: 09883754     EISSN: 28047346     Source Type: Journal    
DOI: 10.1051/ita/1997310504571     Document Type: Article

References (13)

1. D. ALBERT, R. BALDINGER and J. RHODES, Undecidability of the identity problem for finite semigroups, J. Symbolic Logic, 1992, 57, (1), pp. 179-192.
2. J. ALMEIDA, The algebra of implicit operations, Algebra Universalis, 1989, 26, pp. 16-32.
3. J. ALMEIDA, Finite Semigroups and Universal Algebra, volume 3 of Series in Algebra. World Scientific, 1995, English translation.
4. J. ALMEIDA, Hyperdecidable pseudovarieties and the calculation of semidirect products. Technical Report 96-11, Universidade do Porto (Portugal), 1997.
5. J. ALMEIDA, Some algorithmic problems for pseudovarieties. In AFL'96, to appear. Technical Report 96-9, Universidade do Porto (Portugal).
6. J. ALMEIDA and P. V. SILVA, On the hyperdecidability of semidirect products of pseudovarieties. Technical Report 97-20, Universidade do Porto (Portugal), 1997.
7. C. J. ASH, Inevitable graphs: a proof of the type II conjecture and some related decision procedures, Internat. J. Algebra Comput., 1991, 1, pp. 127-146.
8. K. HENCKELL, Pointlike sets: the finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra, 1988, 55, pp. 85-126.
9. J. E. HOPCROFT and J. D. ULLMAN, Introduction to Automata theory, Languages and Computation, Addison-Wesley, 1979.
10. J.-É. PIN, Varieties of Formal Languages, Plenum Press, 1986.
11. J. RHODES, New techniques in global semigroup theory. In S. Goberstein and P. Higgins, editors, Semigroups and their Applications, D. Reidel, 1987, pp. 168-181.
12. I. SIMON, Piecewise testable events. In Proc. 2nd GI Conf., volume 33 of Lect. Notes Comp. Sci., Springer-Verlag, 1975, pp. 214-222.
13. M. ZEITOUN, On the decidability of the membership problem of the pseudovariety J V B, Internat. J. Algebra Comput., 1994, 4, (4).