POINTLIKE SETS WITH RESPECT TO R AND

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.

[1]  Karl Auinger,et al.  An application of a Theorem of Ash to finite covers , 2004, Stud Logica.

[2]  Ivo G. Rosenberg,et al.  Structural theory of automata, semigroups, and universal algebra , 2005 .

[3]  JORGE ALMEIDA.  AN AUTOMATA-THEORETIC APPROACH TO THE WORD PROBLEM FOR ω-TERMS OVER R , 2004 .

[4]  Karl Auinger,et al.  On the extension problem for partial permutations , 2003 .

[5]  Jorge Almeida,et al.  Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon , 1991 .

[6]  Jorge Almeida.  FINITE SEMIGROUPS: AN INTRODUCTION TO A UNIFIED THEORY OF PSEUDOVARIETIES , 2002 .

[7]  Karsten Henckell,et al.  Ash's Type II Theorem, Profinite Topology and Malcev Products: Part I , 1991, Int. J. Algebra Comput..

[8]  Manuel Delgado.  Abelian Pointlikes of a Monoid , .

[9]  B. Steinberg,et al.  On Algorithmic Problems for Joins of Pseudovarieties , 2001 .

[10]  J.,et al.  Free Proonite R-trivial Monoids , .

[11]  John L. Rhodes,et al.  Undecidability, Automata, and Pseudovarities of Finite Semigroups , 1999, Int. J. Algebra Comput..

[12]  John L. Rhodes,et al.  Pointlike Sets, Hyperdecidability and the Identity Problem for Finite Semigroups , 1999, Int. J. Algebra Comput..

[13]  Jorge Almeida,et al.  The join of the pseudovarieties of R-trivial and L-trivial monoids , 1989 .

[14]  Jean-Eric Pin,et al.  Profinite Semigroups, Mal'cev Products, and Identities☆ , 1996 .

[15]  Jorge Almeida,et al.  Tameness of Pseudovariety Joins Involving ${\sf R}$ , 2005 .

[16]  Karsten Henckell,et al.  Pointlike sets: the finest aperiodic cover of a finite semigroup , 1988 .

[17]  Christopher J. Ash,et al.  Inevitable Graphs: a Proof of the Type II Conjecture and some Related Decision Procedures , 1991, Int. J. Algebra Comput..