in this paper, we define the concepts of a complex fuzzy subset and a complex fuzzy finite state automaton. then we extend the notion of a complex fuzzy finite state automaton and introduce the notion of a general complex fuzzy automaton. after that we define the concept of a max- min general complex fuzzy automaton and construct some equivalence relations and some congruence relations in a max...

A semigroup whose bi-ideals and quasi-ideals coincide is called a -semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X) and LF(V). It is known that every regular semigroup is a -semigroup. Then both T(X) and LF(V) are -semigroups. In 1966, Magill introduced and st...

We axiomatise and study operations for relational domain and antidomain on semigroups and monoids. We relate this approach with previous axiomatisations for semirings, partial transformation semigroups and dynamic predicate logic.

A semigroup whose bi-ideals and quasi-ideals coincide is called a -semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X) and LF(V). It is known that every regular semigroup is a -semigroup. Then both T(X) and LF(V) are -semigroups. In 1966, Magill introduced and st...

Goes to the advanced topics rather fast. Contains up-to-date proofs for free inverse semigroups, topics on biordered sets, Isbell's zigzags , and some combinatorics of transformation semigroups.] Fundamentals of semigroup theory, 1995. [Probably the best introduction. Contains more advanced material such as Isbell's zigzags , and the free inverse semi-groups]. G. Lallement, Semigroups and combi...

Let X be a chain, OP (X) the order-preserving partial transformation semigroup on X and OI(X) the order-preserving 1–1 partial transformation semigroup on X. It is known that both OP (X) and OI(X) are regular semigroups. We extend these results by characterizing the regular elements of the semigroups OP (X,Y ), OI(X,Y ), OP (X,Y ) and OI(X,Y ) where ∅ = Y ⊆ X,OP (X,Y ) = {α ∈ OP (X) | ranα ⊆ Y ...

This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of a group and an action. They provide for local computations, concerning a single R-class, without computing the whole semigroup, as well as for computing the global structure of the semigroup. The algorithms have been ...

We consider naturally occurring, uncountable transformation semigroups S and investigate the following three questions. (i) Is every countable subset F of S also a subset of a finitely generated subsemigroup of S? If so, what is the least number n such that for every countable subset F of S there exist n elements of S that generate a subsemigroup of S containing F as a subset. (ii) Given a subs...