Pointlike sets with respect to R and J

被引:10
作者
Almeida, Jorge [2 ]
Costa, Jose Carlos [3 ]
Zeitoun, Marc [1 ]
机构
[1] Univ Bordeaux 1, CNRS, UMR, F-33405 Talence, France
[2] Univ Porto, Fac Ciencias, Ctr Math, Dept Pure Math, P-4169007 Oporto, Portugal
[3] Univ Minho, Ctr Math, P-4700320 Braga, Portugal
关键词
D O I
10.1016/j.jpaa.2007.06.007
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We present an algorithm to compute the pointlike subsets of a finite semigroup with respect to the pseudovariety R of all finite R-trivial semigroups. The algorithm is inspired by Henckell's algorithm for computing the pointlike subsets with respect to the pseudovariety of all finite aperiodic semigroups. We also give an algorithm to compute J-pointlike sets, where J denotes the pseudovariety of all finite J-trivial semigroups. We finally show that, in contrast with the situation for R, the natural adaptation of Henckell's algorithm to J computes pointlike sets, but not all of them. (c) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码:486 / 499
页数:14
相关论文
共 29 条
[1]   THE JOIN OF THE PSEUDOVARIETIES OF R-TRIVIAL AND L-TRIVIAL MONOIDS [J].
ALMEIDA, J ;
AZEVEDO, A .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1989, 60 (02) :129-137
[2]  
Almeida J, 2005, NATO SCI SER II MATH, V207, P1
[3]  
Almeida J, 2005, MONATSH MATH, V146, P89, DOI 10.1007/s00605-005-0324-1
[4]   Free profinite R-trivial monoids [J].
Almeida, J ;
Weil, P .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 1997, 7 (05) :625-671
[5]   The pseudovariety J is hyperdecidable [J].
Almeida, J ;
Zeitoun, M .
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1997, 31 (05) :457-482
[6]   SC-hyperdecidability of R [J].
Almeida, J ;
Silva, PV .
THEORETICAL COMPUTER SCIENCE, 2001, 255 (1-2) :569-591
[7]   IMPLICIT OPERATIONS ON FINITE J-TRIVIAL SEMIGROUPS AND A CONJECTURE OF SIMON,I. [J].
ALMEIDA, J .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1991, 69 (03) :205-218
[8]  
Almeida J., 1999, PUBL MATH DEBRECEN S, V54, P531
[9]  
ALMEIDA J, 2007, SEMIGROUPS FORMAL LA, P9
[10]  
ALMEIDA J, 2007, IN PRESS PORT MATH, V64