Weakly left ample semigroups form a class of semigroups that are (2; 1)-subalgebras of semigroups of partial transformations, where the unary operation takes a transformation to the identity map in the domain of. They are semigroups with commuting idempotents such that the e R-class of any element a contains a (necessarily unique) idempotent a + , e R is a left congruence, and the ample identit...

Fix a finite semigroup S and let a1, . . . , ak , b be tuples in a direct power S. The subpower membership problem (SMP) for S asks whether b can be generated by a1, . . . , ak. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups wit...

The purpose of this paper is towards the algebraic study of rough finite state machines, i.e., to introduce the concept of homomorphisms between two rough finite state machines, to associate a rough transformation semigroup with a rough finite state machine and to introduce the concept of coverings of rough finite state machines as well as rough transformation semigroups.