1: \begin{abstract}

2:   Using a variant of Schreier's Theorem, and the theory of Green's relations,

3:   we show how to reduce the computation of an arbitrary subsemigroup of a

4:   finite regular semigroup to that of certain associated subgroups. Examples of

5:   semigroups to which these results apply include many important classes:

6:   transformation semigroups, partial permutation semigroups and inverse

7:   semigroups, partition monoids, matrix semigroups, and subsemigroups of finite

8:   regular Rees matrix and $0$-matrix semigroups over groups.  For any

9:   subsemigroup of such a semigroup, it is possible to, among other things,

10:   efficiently compute its size and Green's relations, test membership,

11:   factorize elements over the generators, find the semigroup generated by the

12:   given subsemigroup and any collection of additional elements, calculate the

13:   partial order of the $\D$-classes, test regularity, and determine the

14:   idempotents. This is achieved by representing the given subsemigroup without

15:   exhaustively enumerating its elements. It is also possible to compute the

16:   Green's classes of an element of such a subsemigroup without determining the

17:   global structure of the semigroup.  

18: \end{abstract}

19: