Next Article in Journal
Multivariate Tail Moments for Log-Elliptical Dependence Structures as Measures of Risks
Next Article in Special Issue
Identities Generalizing the Theorems of Pappus and Desargues
Previous Article in Journal
Triple Modular Redundancy Optimization for Threshold Determination in Intrusion Detection Systems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Semigroups of Terms, Tree Languages, Menger Algebra of n-Ary Functions and Their Embedding Theorems

by
Thodsaporn Kumduang
1 and
Sorasak Leeratanavalee
1,2,*
1
Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
2
Research Center in Mathematics and Applied Mathematics, Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(4), 558; https://doi.org/10.3390/sym13040558
Submission received: 3 March 2021 / Revised: 23 March 2021 / Accepted: 24 March 2021 / Published: 27 March 2021
(This article belongs to the Special Issue The Study of Lattice Theory and Universal Algebra)

Abstract

:
The concepts of terms and tree languages are significant tools for the development of research works in both universal algebra and theoretical computer science. In this paper, we establish a strong connection between semigroups of terms and tree languages, which provides the tools for studying monomorphisms between terms and generalized hypersubstitutions. A novel concept of a seminearring of non-deterministic generalized hypersubstitutions is introduced and some interesting properties among subsets of its are provided. Furthermore, we prove that there are monomorphisms from the power diagonal semigroup of tree languages and the monoid of generalized hypersubstitutions to the power diagonal semigroup of non-deterministic generalized hypersubstitutions and the monoid of non-deterministic generalized hypersubstitutions, respectively. Finally, the representation of terms using the theory of n-ary functions is defined. We then present the Cayley’s theorem for Menger algebra of terms, which allows us to provide a concrete example via full transformation semigroups.
MSC:
08A02; 08A40; 08A70; 20N15

1. Introduction and Preliminaries

In the classical theory of theoretical computer science, an automaton is a finite state machine which accepts certain strings of letters from a fixed base alphabet. Such strings are usually called words, and sets of words are called languages. Formal language theory is the study of properties of languages and automata. One of a generalized study of formal languages is the study of tree languages, i.e., the words of the classical case can be considered as a particular kind of terms. Since terms are commonly represented by tree diagrams, such formal languages are also called tree languages. For more details in this background, see [1,2,3]. We now recall the fundamental notion of terms as follows: Let X n = { x 1 , , x n } , for n a natural number, be a finite set which elements are called variables and X = { x 1 , , x n , } be countably infinite. The variable x i in X n is an alphabet of formal languages. To define terms from this alphabet, we use a set { f i i I } of operation symbols, indexed by the set I. The type is the sequence τ = ( n i ) i I of the natural numbers which are arities of the operation symbols f i . An n-ary term of type τ is defined inductively by: Every variable x j X n is an n-ary term of type τ and f i ( t 1 , , t n i ) is an n-ary term of type τ where t 1 , , t n i are n-ary terms of type τ and f i is an n i -ary operation symbol. The set of all n-ary terms of type τ is denoted by W τ ( X n ) . Let W τ ( X ) : = n N + W τ ( X n ) be the set of all terms of type τ . See [4,5,6,7,8,9,10] for other related topics of terms.
Every term can be represented by a tree diagram, i.e., we consider term as a rooted tree whose vertices correspond to the operation symbols and variables that occur in it. We call this tree the tree representation of a term t. For instance, a tree representation of a term
f ( x 4 , g ( h ( x 1 , x 2 ) ) , h ( x 9 , x 5 ) )
can be shown in the below diagram.
Symmetry 13 00558 i001
Substituting the variables that appear in a term by the other terms, one obtains a new term. This can be described by the ( n + 1 ) -generalized superpostion S n , n 1 ,
S n : W τ ( X ) n + 1 W τ ( X )
defined inductively by the following steps: for t , t 1 , , t n W τ ( X )
(1)
If t = x i ; 1 i n , then S n ( x i , t 1 , , t n ) : = t i .
(2)
If t = x i ; n < i , then S n ( x i , t 1 , , t n ) : = x i .
(3)
If t = f i ( s 1 , , s n i ) , then
S n ( t , t 1 , , t n ) : = f i ( S n ( s 1 , t 1 , , t n ) , , S n ( s n i , t 1 , , t n ) ) .
Then, we can form the algebraic structure, ( n + 1 ) -ary algebra ( W τ ( X ) , S n ) consisting the universe W τ ( X ) together with one ( n + 1 ) -ary operation S n . In [11], the algebra in this form is known as a Menger algebra with infinitely many nullary operations. It is not hard to show that this algebra satisfies the superassociative law:
S n ( S n ( t , t 1 , , t n ) , s 1 , , s n ) = S n ( t , S n ( t 1 , s 1 , , s n ) , , S n ( t n , s 1 , , s n ) )
for all arbitrary terms t , t 1 , , t n , s 1 , , s n W τ ( X ) .
Using the concepts of terms and generalized superposition, the following ideas are essentially recalled. It was known from [12] that a formal definition of a strong hyperidentity and a strong solid variety can be given using the concept of a generalized hypersubstitution. We now recall such concept as follows: Let { f i i I } be an indexed set of operation symbols of type τ where f i is n i -ary, n i is a natural number. Let H y p G ( τ ) be the set of all arbitrary mappings σ : { f i i I } W τ ( X ) , which is called a generalized hypersubstitution of type τ. To define a binary operation on this set, the essential defining is necessary. Any σ H y p G ( τ ) can be uniquely extended to a mapping
σ ^ : W τ ( X ) W τ ( X ) ,
which is defined by
(1)
σ ^ [ x i ] : = x i X ,
(2)
σ ^ [ f i ( t 1 , , t n i ) ] : = S n i ( σ ( f i ) , σ ^ [ t 1 ] , , σ ^ [ t n i ] ) where σ ^ [ t j ] , 1 j n i are already defined.
Using the extension of generalized hypersubstitution of type τ , the binary operation G is defined by σ 1 G σ 2 : = σ ^ 1 σ 2 where ∘ denotes the usual composition of mappings. The generalized hypersubstitution σ i d , which sends each f i to the term f i ( x 1 , x 2 , , x n i ) , is an identity element for G . Then, ( H y p G ( τ ) , G , σ i d ) is a monoid. See the following references for the research topics and current trends in this direction [13,14,15,16,17,18].
Let P ( W τ ( X ) ) be the power set of all the set of all terms of type τ . An inductive definition of an ( n + 1 ) -ary operation on P ( W τ ( X ) ) is completely defined in [19]. Let n be a natural number, B , B 1 , , B n are arbitrary subsets of W τ ( X ) . Then, an ( n + 1 ) -ary generalized superposition operation
S ^ n : P ( W τ ( X ) ) n + 1 P ( W τ ( X ) )
is defined inductively by
(1)
If B = { x i } ; 1 i n , then S ^ n ( { x i } , B 1 , , B n ) : = B i .
(2)
If B = { x i } ; n < i , then S ^ n ( { x i } , B 1 , , B n ) : = { x i } .
(3)
If B = { f i ( t 1 , , t n i ) } , and suppose that S ^ n ( { t k } , B 1 , , B n ) for all k = 1 , , n i are already defined, then S ^ n ( { f i ( t 1 , , t n i ) } , B 1 , , B n ) : = { f i ( r 1 , , r n i ) r k S ^ n ( { t k } , B 1 , , B n ) , 1 k n i } .
(4)
If B is an arbitrary nonsingleton subset of W τ ( X ) , then
S ^ n ( B , B 1 , , B n ) : = b B S ^ n ( { b } , B 1 , , B n ) .
If one of the sets B , B 1 , , B n is empty, we define S ^ n ( B , B 1 , , B n ) : = . It turns out that the following algebra of type ( n + 1 ) , ( P ( W τ ( X ) ) , S ^ n ) is a Menger algebra and called a power Menger algebra with infinitely many nullary operations. Then, it was proved that this algebra satisfies the superassociative law [19].
A non-deterministic generalized hypersubstitution of type τ [19] is a mapping σ : { f i i I } P ( W τ ( X ) ) . The set of all such mappings is denoted by H y p G n d ( τ ) . It is well-known that every σ generates a mapping σ ^ which takes a tree language into itself by the following inductive way:
(1)
σ ^ [ ] : = ,
(2)
σ ^ [ { x i } ] : = { x i } where x i is a variable from X,
(3)
σ ^ [ { f i ( t 1 , , t n i ) } ] : = S ^ n i ( σ ( f i ) , σ ^ [ { t 1 } ] , , σ ^ [ { t n i } ] ) if σ ^ [ { t k } ] , 1 k n i are already defined,
(4)
σ ^ [ B ] : = b B σ ^ [ { b } ] if B is an arbitrary nonsingleton subset of W τ ( X ) .
The algebraic properties of σ ^ were proved in [19] that every extension σ ^ of non-deterministic generalized hypersubstitution σ is an endomorphism of the algebra ( P ( W τ ( X ) ) , S ^ n ) . Applying an extension σ ^ , in [20], the binary operation G n d : H y p G n d ( τ ) 2 H y p G n d ( τ ) was introduced by setting σ 1 G n d σ 2 : = σ ^ 1 σ 2 . Moreover, the non-deterministic generalized hypersubstitution σ i d was defined to be an identity element where σ i d ( f i ) : = { f i ( x 1 , , x n i ) } for all i I . As a consequence, the structure ( H y p G n d ( τ ) , G n d , σ i d ) forms a monoid.
As we mentioned above, there are many authors who studied the concepts of terms and tree languages in various structures. The lack of relationships among the algebras of terms and tree languages allows us to study in this paper. Thus, two potential questions natually arise: Firstly, are there interactions between several algebras of terms and tree languages? Secondly, how can these connections be described in terms of embedding, if any? In the present paper, these problems are answered in Section 2. Particularly, in Section 3, we define another binary operation for the set of all non-deterministic generalized hypersubstitutions and provide their interesting properties. An embedding theorem of a Menger algebra with infinitely many nullary operations in a suitable algebra is studied in Section 4. We also give a concrete example of this representation.

2. Monomorphisms between Semigroups of Terms and Tree Languages

In any Menger algebra ( G , ) , i.e., the structure consisting of a nonempty set with an ( n + 1 ) -operation satisfying the superassociative law, a binary operation + on G can be defined by a + b : = ( a , b , , b n times ) . It is not difficult to see that + is associative. The algebra ( G , + ) is called the diagonal semigroup. Moreover, on the Cartesian power G n , one can define a binary operation ∗ by ( ( x 1 , , x n ) ( y 1 , , y n ) ) : = ( ( x 1 , y 1 , , y n ) , , ( x n , y 1 , , y n ) ) . It turns out that ( G n , ) forms a semigroup, which is called the binary comitant. In 2006, Denecke and Jampachon [11] defined these two semigroups for the set of terms and characterized the regularity and Green’s relations. The situation for tree languages was studied in [21].
In order to study the connection between the semigroups of terms and tree languages, we need the following lemma:
Lemma 1.
For any terms t , s 1 , , s n W τ ( X ) , we have
{ S n ( t , s 1 , , s n ) } = S ^ n ( { t } , { s 1 } , , { s n } ) .
Proof. 
We give a proof by induction on the complexity of the term t. The proof is easy to verify if t is a variable. Assume that t = f i ( t 1 , , t n i ) and
{ S n ( t k , s 1 , , s n ) } = S ^ n ( { t k } , { s 1 } , , { s n } )
for every k = 1 , , n i . Then,
  • { S n ( t , s 1 , , s n ) }
  • = { S n ( f i ( t 1 , , t n i ) , s 1 , , s n ) }
  • = { f i ( S n ( t 1 , s 1 , , s n ) , , S n ( t n i , s 1 , , s n ) ) }
  • = { f i ( r 1 , , r n i ) r k { S n ( t k , s 1 , , s n ) } , 1 k n i }
  • = { f i ( r 1 , , r n i ) r k S ^ n ( { t k } , { s 1 } , , { s n } ) , 1 k n i }
  • = S ^ n ( { f i ( t 1 , , t n i ) } , { s 1 } , , { s n i } )
  • = S ^ n ( { t } , { s 1 } , , { s n i } ) .
 □
Let I be a nonempty indexed set. The symbol τ n | I | means a fixed n-ary type with operation symbols ( f i ) i I . That is, τ n | I | is a sequence of | I | -tuple of fixed n-ary operation symbols. For instance, if | I | = 3 , τ 2 3 = ( 2 , 2 , 2 ) . This means that we have three binary operation symbols.
On the set W τ n | I | ( X ) , the binary operation + g can be defined by s + g t = S n ( s , t , , t ) for all s , t W τ n | I | ( X ) . Similarly, the binary operation g on P ( W τ n | I | ( X ) is defined by setting A g B = S ^ n ( A , B , , B ) for all A , B P ( W τ n | I | ( X ) . Then, we have
Proposition 1.
The diagonal semigroup ( W τ n | I | ( X ) , + g ) can be embedded into the diagonal power semigroup ( P ( W τ n | I | ( X ) ) , g ) .
Proof. 
It follows immediately from the superassociativity of S n and S ^ n that ( W τ n | I | ( X ) , + g ) and ( P ( W τ n | I | ( X ) ) , g ) are semigroups. For any term t in W τ n | I | ( X ) , we define a mapping φ : W τ n | I | ( X ) P ( W τ n | I | ( X ) ) by φ ( t ) = { t } . Obviously, φ is injective. Moreover, the homomorphism property is also true by applying Lemma 1. Since, for all s , t W τ n | I | ( X ) , we have φ ( s + g t ) = φ ( S n ( s , t , t ) ) = { S n ( s , t , t ) } = S ^ n ( { s } , { t } , , { t } ) = S ^ n ( φ ( s ) , φ ( t ) , , φ ( t ) ) = φ ( s ) g φ ( t ) .  □
Proposition 2.
The binary comitant semigroup ( W τ n | I | ( X ) n , g ) where g on W τ n | I | ( X ) n is defined by
( ( s 1 , , s n ) g ( t 1 , , t n ) ) : = ( S n ( s 1 , t 1 , , t n ) , , S n ( s n , t 1 , , t n ) )
can be embedded into the semigroup ( P ( W τ n | I | ( X ) ) n , g ) where the operation g on P ( W τ n | I | ( X ) ) n is defined by
( ( A 1 , , A n ) g g ( B 1 , , B n ) ) : = ( S ^ n ( A 1 , B 1 , , B n ) , , S ^ n ( A n , B 1 , , B n ) ) .
Proof. 
Clearly, ( W τ n | I | ( X ) n , g ) and ( P ( W τ n | I | ( X ) ) n , g ) are semigroups since the operations S n and S ^ n satisfy the superassociative law, respectively. A mapping φ : W τ n | I | ( X ) n P ( W τ n | I | ( X ) ) n can be defined by φ ( ( t 1 , , t n ) ) = ( { t 1 } , , { t n } ) for all terms t 1 , , t n of type τ n | I | . It is clearly that φ is injective. To prove that φ is homomorphism, we let s 1 , , s n , t 1 , , t n be elements in W τ n | I | ( X ) . Then, by Lemma 1, we obtain
  • φ ( ( s 1 , , s n ) g ( t 1 , , t n ) )
  • = φ ( ( S n ( s 1 , t 1 , , t n ) , , S n ( s n , t 1 , , t n ) ) )
  • = ( { S n ( s 1 , t 1 , , t n ) } , , { S n ( s n , t 1 , , t n ) } )
  • = ( S ^ n ( { s 1 } , { t 1 } , , { t n } ) , , S ^ n ( { s n } , { t 1 } , , { t n } ) )
  • = ( { s 1 } , , { s n } ) g ( { t 1 } , , { t n } )
  • = φ ( ( s 1 , , s n ) ) g φ ( ( t 1 , , t n ) ) .
This finishes the proof.  □
A relationship between the diagonal semigroup ( W τ n | I | ( X ) , + g ) and the binary comitant semigroup ( W τ n | I | ( X ) n , g ) is now provided.
Proposition 3.
Let φ : W τ n | I | ( X ) W τ n | I | ( X ) n be a mapping which is defined by φ ( t ) = ( t , , t ) for all t W τ n | I | ( X ) . Then, φ is a monomorphism from ( W τ n | I | ( X ) , + g ) into ( W τ n | I | ( X ) n , g ) , i.e., it satisfies the identity φ ( s + g t ) = φ ( s ) g φ ( t ) for all s , t W τ n | I | ( X ) .
Proof. 
Injectivity of φ is clearly obtained. In addition, φ is homomorphism since φ ( s + g t ) = φ ( S n ( s , t , , t ) ) = ( S n ( s , t , , t ) , , S n ( s , t , , t ) ) = ( s , , s ) g ( t , , t ) = φ ( s ) g φ ( t ) .  □
Using the generalized superposition S n for every 1 i n , we define a binary operation · x i on W τ n | I | ( X ) in the following way:
s · x i t : = S n ( s , x 1 , , x i 1 , t , x i + 1 , , x n )
for all s , t W τ n | I | ( X ) . Then, we have
Proposition 4.
The set W τ n | I | ( X ) with a binary operation · x i forms a monoid.
Proof. 
Because the generalized superposition S n satisfies the superassociative law, then a binary operation · x i is associative. We see that a variable x i acts as the identity element, by the property of the generalized superposition S n , we have s · x i x i = S n ( s , x 1 , , x i 1 , x i , x i + 1 , , x n ) = s = S n ( x i , x 1 , , x i 1 , s , x i + 1 , , x n ) = x i · x i s .  □
The situation for tree languages was already defined in [22], i.e., for any subsets A , B of W τ n | I | ( X ) , the binary operation · x i on P ( W τ n | I | ( X ) ) is defined by
A x i B : = S ^ n ( A , { x 1 } , , { x i 1 } , B , { x i + 1 } , , { x n } ) .
Furthermore, ( P ( W τ n | I | ( X ) ) , x i ) is a monoid, since the singleton { x i } is an identity with respect to · x i .
Proposition 5.
The monoid ( W τ n | I | ( X ) , · x i ) can be embedded into ( P ( W τ n | I | ( X ) ) , x i ) .
Proof. 
Firstly, we define a mapping φ : ( W τ n | I | ( X ) , · x i ) ( P ( W τ n | I | ( X ) ) , x i ) by φ ( t ) = { t } for all t W τ n | I | ( X ) . Clearly, φ is injective. It can be shown straightforwardly that a mapping φ is a homomorphism.  □

3. The Left Seminearring of Non-Deterministic Generalized Hypersubstitutions

In this section, we investigate the structural properties of non-deterministic generalized hypersubstitutions. One of the algebraic structures that we are interested in is a seminearring.
Definition 1.
A left (right) seminearring is a triple of a nonempty set R together with two binary operations, denoted by + and ·, respectively, such that + and · is associative on R, and satisfying the left (right) distributive law, i.e., for all a , b , c R , a · ( b + c ) = a · b + a · c ( ( a + b ) · c = a · c + b · c ) .
It was proved in [23] that, under suitable two binary operations, i.e., G and + G , which are defined by ( σ 1 + G σ 2 ) ( f i ) : = S n i ( σ 2 ( f i ) , σ 1 ( f i ) , , σ 1 ( f i ) ) for all σ 1 , σ 2 H y p G ( τ ) ; the set of all generalized hypersubstitutions of type τ forms a left seminearring.
On the diagonal semigroup ( W τ n | I | ( X ) , + g ) as we mentioned in the previous section, we now establish the relationship between the diagonal semigroup and the semigroup ( H y p G ( τ ) , + G ) . To do this, we improve a definition of a binary operation + g by the following
s + g t : = S n ( t , s , , s ) .
It can be proved by a direct calculation and the superassociativity of the generalized superposition S n that this defining operation is associative. Then, we have that
Proposition 6.
( W τ n | I | ( X ) , + g ) is a semigroup.
A strong connection between the diagonal semigroup and the semigroup of all generalized hypersubstitutions is provided in the following theorem:
Theorem 1.
The diagonal semigroup ( W τ n | I | ( X ) , + g ) can be embedded into ( H y p G ( τ n | I | ) , + G ) .
Proof. 
For any generalized hypersubstitution of type τ n | I | σ and any term t, the mapping σ t is defined by σ t ( f i ) = t , where f i is an n-ary operation symbol. To prove this theorem, we define a mapping φ which takes each n-ary term t to a generalized hypersubstitution of type τ n | I | by φ ( t ) = σ t for all t W τ n | I | ( X ) . It is obvious that φ is injective. Now, let s , t W τ n | I | ( X ) . Then, φ ( s + g t ) = φ ( S n ( t , s , , s ) ) = σ S n ( t , s , , s ) = σ s + G σ t = φ ( s ) + G φ ( t ) . In fact, we have σ S n ( t , s , , s ) ( f i ) = S n ( t , s , , s ) = S n ( σ t ( f i ) , σ s ( f i ) , , σ s ( f i ) ) = ( φ ( s ) + G φ ( t ) ) ( f i ) .  □
The next purpose of this section is to define another binary operation on the set of all non-deterministic generalized hypersubstitutions. This leads us to form a novel semigroup. Now, we introduce a novel definition of the binary operation + G n d on the set of all non-deterministic generalized hypersubstitutions of type τ by setting
( σ 1 + G n d σ 2 ) ( f i ) : = S ^ n i ( σ 2 ( f i ) , σ 1 ( f i ) , , σ 1 ( f i ) ) .
Then, H y p G n d ( τ ) forms a semigroup with respect to the binary operation + G n d , which is presented in the following proposition:
Proposition 7.
( H y p G n d ( τ ) , + G n d ) is a semigroup.
Proof. 
Let σ 1 n d , σ 2 n d and σ 3 n d be elements in H y p G n d ( τ ) . Because of the superassociativity of the generalized superposition S ^ n , we have
( ( σ 1 + G n d σ 2 ) + G n d σ 3 ) ( f i ) = S ^ n i ( σ 3 ( f i ) , ( σ 1 + G n d σ 2 ) ( f i ) , , ( σ 1 + G n d σ 2 ) ( f i ) )
= S ^ n i ( S ^ n i ( σ 3 ( f i ) , σ 2 ( f i ) , , σ 2 ( f i ) ) , σ 1 ( f i ) , , σ 1 ( f i ) )
= S ^ n i ( ( σ 2 + G n d σ 3 ) ( f i ) , σ 1 ( f i ) , , σ 1 ( f i ) )
= ( σ 1 + G n d ( σ 2 + G n d σ 3 ) ) ( f i ) .
The proof is finished.  □
Then, we have
Theorem 2.
( H y p G n d ( τ ) , + G n d , G n d ) is a left seminearring.
Proof. 
It is well known that ( H y p G n d ( τ ) , G n d ) is a semigroup and by Proposition 7 ( H y p G n d ( τ ) , + G n d ) is also a semigroup. Now, we show the left distributivity. For this, let σ 1 , σ 2 and σ 3 be non-deterministic generalized hypersubstitutions of type τ n | I | . Then, by the fact that any extension of non-deterministic generalized hypersubstitutions of type τ n | I | is endomorphism on the set of tree languages, we have
( σ 1 G n d ( σ 2 + G n d σ 3 ) ) ( f i ) = σ ^ 1 [ ( σ 2 + G n d σ 3 ) ( f i ) ]
= σ ^ 1 [ S ^ n ( σ 3 ( f i ) , σ 2 ( f i ) , , σ 2 ( f i ) ) ]
= S ^ n ( σ ^ 1 [ σ 3 ( f i ) ] , σ ^ 1 [ σ 2 ( f i ) ] , , σ ^ 1 [ σ 2 ( f i ) ] )
= S ^ n ( ( σ 1 G n d σ 3 ) ( f i ) , ( σ 1 G n d σ 2 ) ( f i ) , , ( σ 1 G n d σ 2 ) ( f i ) )
= ( ( σ 1 G n d σ 2 ) + G n d ( σ 1 G n d σ 3 ) ) ( f i ) .
This shows that the left distributive law is valid.  □
The following counterexample shows that the right distributive law is not satisfied.
Example 1.
Let I be a singleton and the type τ 2 1 = ( 2 ) with one binary operation symbol f. Define non-deterministic generalized hypersubstitutions of type τ 2 1 , say σ 1 , σ 2 and σ 3 by
σ 1 ( f ) = { f ( x 1 , f ( x 2 , x 5 ) ) } , σ 2 ( f ) = { x 4 , f ( x 3 , x 2 ) } , σ 3 ( f ) = { f ( x 2 , x 1 ) } .
Consider
( ( σ 1 + G n d σ 2 ) G n d σ 3 ) ( f ) = ( σ 1 + G n d σ 2 ) ^ [ { f ( x 2 , x 1 ) } ]
= S ^ 2 ( ( σ 1 + G n d σ 2 ) ( f ) , { x 2 } , { x 1 } )
= S ^ 2 ( { x 4 , f ( x 3 , f ( x 1 , f ( x 2 , x 5 ) ) ) } , { x 2 } , { x 1 } )
= { x 4 , f ( x 3 , f ( x 2 , f ( x 1 , x 5 ) ) ) }
and
  • ( ( σ 1 G n d σ 3 ) + G n d ( σ 2 G n d σ 3 ) ) ( f )
  • = S ^ 2 ( ( σ 2 G n d σ 3 ) ( f ) , ( σ 1 G n d σ 3 ) ( f ) , ( σ 1 G n d σ 3 ) ( f ) )
  • = S ^ 2 ( { x 4 , f ( x 1 , x 5 ) } , { f ( x 2 , f ( x 1 , x 5 ) ) } , { f ( x 2 , f ( x 1 , x 5 ) ) } )
  • = { x 4 , f ( f ( x 2 , f ( x 1 , x 5 ) ) , x 5 ) }
Thus, ( ( σ 1 + G n d σ 2 ) G n d σ 3 ) ( ( σ 1 G n d σ 3 ) + G n d ( σ 2 G n d σ 3 ) ) . This means that the right distributive law is not true.
Based on the monoid ( H y p G ( τ ) , G , σ i d ) , various algebraic structural properties of some submonoids were investigated by Leeratanavalee in [24]. Now, we extend these concepts to non-deterministic generalized hypersubstitutions and study some interesting relationships.
Definition 2.
Let τ = ( n i ) i I be a type with operation symbols f i having the arity n i for each i I . A non-deterministic generalized hypersubstitution σ is said to be
(1) 
projection non-deterministic generalized hypersubstitution if the image σ ( f i ) is a nonempty subset of X. Let P G n d ( τ ) be the set of all projection non-deterministic generalized hypersubstitutions of type τ.
(2) 
a pre-non-deterministic generalized hypersubstitution if σ ( f i ) is a nonempty subset of W τ ( X ) \ X . Let P r e G n d ( τ ) be the set of all pre-non-deterministic generalized hypersubstitutions of type τ.
Theorem 3.
P G n d ( τ ) { σ i d } and P r e G n d ( τ ) are submonoids of ( H y p G n d ( τ ) , G n d , σ i d ) .
Proof. 
Obviously, the identity non-deterministic generalized hypersubstitution σ i d belongs to the sets P G n d ( τ ) { σ i d } and P r e G n d ( τ ) . Now, we let σ 1 , σ 2 P G n d ( τ ) { σ i d } . To prove that σ 1 G σ 2 P G n d ( τ ) { σ i d } , we consider the following four cases:
Case 1: σ 1 P G n d ( τ ) and σ 2 = σ i d . Then, σ 1 ( f i ) = B where B X . Consider ( σ 1 G σ i d ) ( f i ) = σ ^ 1 [ σ i d ( f i ) ] = S ^ n i ( σ 1 ( f i ) , { x 1 } , , { x n i } ) . By the assumption, we have ( σ 1 G σ i d ) ( f i ) = S ^ n i ( B , { x 1 } , , { x n i } ) = b B S ^ n ( { b } , { x 1 } , , { x n i } ) X . Thus, σ 1 G n d σ 2 P G n d ( τ ) { σ i d } .
Case 2: σ 1 = σ i d and σ 2 P G n d ( τ ) . Then, σ 2 ( f i ) = B where B X . Thus, ( σ i d G σ 2 ) ( f i ) = σ ^ i d [ σ 2 ( f i ) ] = σ ^ i d [ B ] = B .
Case 3: σ 1 = σ i d = σ 2 . Obvious.
Case 4: σ 1 , σ 2 P G n d ( τ ) . Then, both σ 1 ( f i ) and σ 2 ( f i ) are nonempty subsets of X. Thus, ( σ 1 G σ 2 ) ( f i ) = σ ^ 1 [ σ 2 ( f i ) ] = σ ^ 1 [ B ] = B for some B X and σ 2 ( f i ) = B .
Finally, it is not difficult to verify that the composition of two pre-non-deterministic generalized hypersubstitutions is again a pre-non-deterministic generalized hypersubstitution:  □
Theorem 4.
P G n d ( τ ) and P r e G n d ( τ ) form sub-left seminearrings of ( H y p G n d ( τ ) , + G n d , G n d ) .
Proof. 
Our goal is to show that the sets P G n d ( τ ) and P r e G n d ( τ ) are closed under the binary operation + G n d . Let σ 1 , σ 2 P G n d ( τ ) . Then, the images of them are nonempty subsets of X. Since ( σ 1 + G n d σ 2 ) ( f i ) = S ^ n i ( σ 2 ( f i ) , σ 1 ( f i ) , , σ 1 ( f i ) ) and σ 1 ( f i ) , σ 2 ( f i ) are nonempty subsets of X, ( σ 1 + G n d σ 2 ) ( f i ) is also a set of some variables from X. Thus, σ 1 + G n d σ 2 P G n d ( τ ) . Next, let σ 1 , σ 2 P r e G n d ( τ ) . Then, the images of them are nonempty subsets of W τ ( X ) \ X . Since ( σ 1 + G n d σ 2 ) ( f i ) : = S ^ n i ( σ 2 ( f i ) , σ 1 ( f i ) , , σ 1 ( f i ) ) and σ 1 ( f i ) , σ 2 ( f i ) are nonempty subsets of W τ ( X ) \ X , ( σ 1 + G n d σ 2 ) ( f i ) is a nonempty subset of W τ ( X ) \ X . This shows that σ 1 + G n d σ 2 is a pre-non-deterministic generalized hypersubstitution.  □
Similar to Theorem 1, the situation for tree languages is given. To do this, the following tool is needed. For every subsets A , B of terms of type τ n | I | , a binary operation g : P ( W τ n | I | ( X ) ) × P ( W τ n | I | ( X ) ) P ( W τ n | I | ( X ) ) is defined by
A g B : = S ^ n ( B , A , , A ) .
Using the fact that the generalized superposition S ^ n over tree languages satisfies the superassociative law, then we get
Lemma 2.
( P ( W τ n | I | ( X ) ) , g ) forms a semigroup, and called the diagonal power semigroup.
We now investigate the relationship between the diagonal power semigroup which is constructed in Proposition 2 and the semigroup ( H y p G n d ( τ n | I | ) , + G n d ) .
Theorem 5.
The diagonal power semigroup ( P ( W τ n | I | ( X ) ) , g ) can be embedded into ( H y p G n d ( τ n | I | ) , + G n d ) .
Proof. 
Let σ be a non-deterministic generalized hypersubstitution of type τ n | I | and B be a subset of W τ n | I | ( X ) . Then, we associate a mapping σ B : { f i i I } P ( W τ n | I | ( X ) ) by σ B ( f i ) = B , where f i is an n-ary operation symbol. Then, a mapping φ from the powerset of n-ary terms to the non-deterministic generalized hypersubstitution of type τ n | I | is defined by φ ( B ) = σ B for all B W τ n | I | ( X ) . It is commonly seen that φ is injective. Now, let A , B W τ n | I | ( X ) . Then, φ ( A + g B ) = φ ( S ^ n ( B , A , , A ) ) = σ S ^ n ( B , A , , A ) = σ A + G n d σ B = φ ( A ) + G n d φ ( B ) . In fact, σ S ^ n ( B , A , , A ) ( f i ) = S ^ n ( B , A , , A ) = S ^ n ( σ B ( f i ) , σ A ( f i ) , , σ A ( f i ) ) = ( φ ( A ) + B n d φ ( t ) ) ( f i ) . Now, the proof is completed.  □
We complete this section by giving a significant connection between generalized hypersubstitutions and non-deterministic generalized hypersubstitutions. For convenient, a non-deterministic generalized hypersubstitution will be denoted by σ n d .
Lemma 3.
For any term t, a generalized hypersubstitution of type τ σ, and a non-deterministic generalized hypersubstitution σ n d ,
{ σ ^ [ t ] } = σ n d ^ [ { t } ] .
Proof. 
We give a proof on the complexity of the term t. If t is a variable, we are done. The proof follows directly from Lemma 1 if t = f i ( t 1 , , t n i ) :  □
Theorem 6.
( H y p G ( τ ) , G , σ i d ) can be embedded into ( H y p G n d ( τ ) , G n d , σ i d ) .
Proof. 
Let f i be an n i -ary operation symbol and σ a generalized hypersubstitution of type τ . Then, we define σ n d ¯ : { f i i I } P ( W τ ( X ) ) by σ n d ¯ ( f i ) = { σ ( f i ) } . It is clear that σ n d ¯ belongs to H y p G n d ( τ ) . In order to prove that there is a monomorphism from H y p G ( τ ) to H y p G n d ( τ ) , we define a mapping θ : H y p G ( τ ) H y p G n d ( τ ) by
θ ( σ ) = σ n d ¯
for all σ H y p G ( τ ) . Clearly, the mapping θ is injective. Next, we let σ 1 , σ 2 be two elements in H y p G ( τ ) . Then, by Lemma 3, we have θ ( σ 1 G σ 2 ) = ( σ 1 G σ 2 ) n d ¯ = σ 1 n d ¯ G n d σ 2 n d ¯ = θ ( σ 1 ) G n d θ ( σ 2 ) . This shows that θ is a homomorphism.  □
Corollary 1.
The left seminearring ( H y p G ( τ ) , + G , G n d ) can be embedded into the left seminearring ( H y p G n d ( τ ) , + G n d , G n d ) .
A significant consequence of Theorem 6 is that a mapping σ t in H y p G ( τ ) corresponds to the idempotent or a regular non-deterministic generalized hypersubstitution σ { t } n d in ( H y p G n d ( τ ) , G n d , σ i d ) .

4. Representation of Menger Algebra with Infinitely Many Nullary Operations by n-Ary Functions

Firstly, we recall some preliminaries and background notions of n-ary functions, see [25,26,27]. Let A n be the n-th Cartesian product of a nonempty set A. Any mapping from A n to A is called a full n-ary function or an n-ary operation. The set of all such mapping is denoted by T ( A n , A ) . One can consider the Menger’s composition on the set T ( A n , A ) , i.e., an ( n + 1 ) -operation
O : T ( A n , A ) n + 1 T ( A n , A )
defined by
O ( f , g 1 , , g n ) ( a 1 , , a n ) = f ( g 1 ( a 1 , , a n ) , , g n ( a 1 , , a n ) ) ,
where f , g 1 , , g n T ( A n , A ) , a 1 , , a n A . The set T ( A n , A ) is said to be an algebra of full functions or algebra of operations if the composition of ( n + 1 ) functions from this set is also in this set, i.e., closed with respect to Menger’s composition. We can remark here that the Menger’s composition can be reduced to the usual composition of functions if n = 1 .
A Menger algebra of all full n-ary functions or Menger algebra of all n-ary operations is a pair of the set T ( A n , A ) of all full n-ary functions defined on A and the Menger composition of full n-ary functions satisfying the superassociative law. Each subalgebra of this algebra will be called a Menger algebra of full n-ary functions or Menger algebra of n-ary operations.
For each term t of the algebra ( W τ ( X ) , S n ) , we associate the full n-ary function λ t : W τ ( X ) n W τ ( X ) by putting
λ t ( s 1 , , s n ) = S n ( t , s 1 , , s n )
for all s 1 , , s n W τ ( X ) , where S n is an ( n + 1 ) -ary generalized superposition operation defined on W τ ( X ) . The full n-ary function λ t is an element of T ( W τ ( X ) n , W τ ( X ) ) , which is called an inner left translation of W τ ( X ) corresponding to the term t of W τ ( X ) .
In order to prove our main theorem, the following lemmas are primarily essential.
Lemma 4.
Let ( W τ ( X ) , S n ) be a Menger algebra. Then,
λ S n ( t , s 1 , , s n ) = O ( λ t , λ s 1 , , λ s n )
for all t , s 1 , , s n W τ ( X ) , where S n and O are generalized superposition operation and Menger’s composition, respectively.
Proof. 
Let t , s 1 , , s n , v 1 , , v n be arbitrary elements in W τ ( X ) . Then, we have
λ S n ( t , s 1 , , s n ) ( v 1 , , v n ) = S n ( S n ( t , s 1 , , s n ) , v 1 , , v n )
= S n ( t , S n ( s 1 , v 1 , , v n ) , , S n ( s n , v 1 , , v n ) )
= λ t ( S n ( s 1 , v 1 , , v n ) , , S n ( s n , v 1 , , v n ) )
= λ t ( λ s 1 ( v 1 , , v n ) , , λ s n ( v 1 , , v n ) )
= O ( λ t , λ s 1 , , λ s n ) ( v 1 , , v n ) .
The proof is completed.  □
Now, we let Λ = { λ t t W τ ( X ) } . Our next aim is to show that ( Λ , O ) forms a Menger subalgebra of ( T ( W τ ( X ) n , W τ ( X ) ) , O ) .
Lemma 5.
The set Λ forms a subalgebra of ( T ( W τ ( X ) n , W τ ( X ) ) , O ) and thus ( Λ , O ) is a Menger algebra of full n-ary functions.
Proof. 
Obviously, Λ ( T ( W τ ( X ) n , W τ ( X ) ) , O ) . Let λ t , λ s 1 , , λ s n be arbitrary full n-ary functions in T ( W τ ( X ) n , W τ ( X ) ) . It follows immediately from Lemma 4 that the composition of such mappings again a full n-ary function.  □
We now establish the Cayley’s theorem of a Menger algebra with infinitely many nullary operations as follows:
Theorem 7.
Let ( W τ ( X ) , S n ) be a Menger algebra with infinitely many nullary operations. Define a mapping ψ : W τ ( X ) Λ by
ψ ( t ) = λ t
for all t W τ ( X ) . Then, ψ is an isomorphism from W τ ( X ) to Λ and so W τ ( X ) Λ .
Proof. 
Clearly, ψ is surjective. By Lemma 4, we have ψ ( S n ( t , s 1 , , s n ) ) = λ S n ( t , s 1 , , s n ) = O ( λ t , λ s 1 , , λ s n ) = O ( ψ ( t ) , ψ ( s 1 ) , , ψ ( s n ) ) and thus ψ is a homomorphism. Furthermore, ϕ is injective. Indeed, suppose that λ t = λ s . Then, we obtain λ t ( v 1 , , v n ) = λ s ( v 1 , , v n ) . By the definition of generalized superposition S n , we conclude that t and s are the same term. Hence, ϕ is injective. Therefore, ϕ is an isomorphism from W τ ( X ) to Λ .  □
Finally, an interesting concrete example is demonstrated by considering an indexed set I is singleton and setting the type τ 2 | I | with a binary operation symbol f and a natural number n equal to 1. This means that we have the algebra ( W τ 2 1 ( X ) , S 1 ) where S 1 : W τ 2 1 ( X ) × W τ 2 1 ( X ) W τ 2 1 ( X ) . Moreover, the full n-ary function also reduces to the usual full transformation with one composition of functions.
Example 2.
Consider a semigroup A = { x 1 , x 2 , f ( x 2 , x 3 ) , f ( x 4 , f ( x 5 , x 3 ) ) } with respect to a binary operation S 1 which is defined by the following table:
S 1 x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) )
x 1 x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) )
x 2 x 2 x 2 x 2 x 2
f ( x 2 , x 3 ) f ( x 2 , x 3 ) f ( x 2 , x 3 ) f ( x 2 , x 3 ) f ( x 2 , x 3 )
f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) )
It is observed that A is a semigroup containing an identity element x 1 . We now illustrate that A is isomorphic to some sets of the full transformation semigroups. To do this, we first demonstrate the process to establish a full transformation by considering a mapping λ x 1 : A A such that λ x 1 ( x 1 ) = S 1 ( x 1 , x 1 ) = x 1 , λ x 1 ( x 2 ) = S 1 ( x 1 , x 2 ) = x 2 , λ x 1 ( f ( x 2 , x 3 ) ) = S 1 ( x 1 , f ( x 2 , x 3 ) ) = f ( x 2 , x 3 ) and λ x 1 ( f ( x 4 , f ( x 5 , x 3 ) ) ) = f ( x 4 , f ( x 5 , x 3 ) ) . Thus, x 1 λ x 1 = x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) . Furthermore, a mapping λ x 2 : A A is defined by λ x 2 ( x 1 ) = x 2 , λ x 2 ( x 2 ) = x 2 , λ x 2 ( f ( x 2 , x 3 ) ) = x 2 and λ x 2 ( f ( x 4 , f ( x 5 , x 3 ) ) ) = x 2 . Thus, the full transformation which corresponding to a term x 2 in A is
λ x 2 = x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) x 2 x 2 x 2 x 2
and so x 2 λ x 2 = x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) x 2 x 2 x 2 x 2 . For other terms in A, we obtain
f ( x 2 , x 3 ) λ f ( x 2 , x 3 ) = x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 2 , x 3 ) f ( x 2 , x 3 ) f ( x 2 , x 3 ) f ( x 2 , x 3 ) ,
f ( x 4 , f ( x 5 , x 3 ) ) λ f ( x 4 , f ( x 5 , x 3 ) ) = x 1 x 2 f ( x 2 , x 3 ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) f ( x 4 , f ( x 5 , x 3 ) ) .
By Theorem 7, A { λ x 1 , λ x 2 , λ f ( x 2 , x 3 ) , λ f ( x 4 , f ( x 5 , x 3 ) ) } . Furthermore, the table for these representations is just like the original table with a term t renamed by λ t , as seen in the following table:
O λ x 1 λ x 2 λ f ( x 2 , x 3 ) λ f ( x 4 , f ( x 5 , x 3 ) )
λ x 1 λ x 1 λ x 2 λ f ( x 2 , x 3 ) λ f ( x 4 , f ( x 5 , x 3 ) )
λ x 2 λ x 2 λ x 2 λ x 2 λ x 2
λ f ( x 2 , x 3 ) λ f ( x 2 , x 3 ) λ f ( x 2 , x 3 ) λ f ( x 2 , x 3 ) λ f ( x 2 , x 3 )
λ f ( x 4 , f ( x 5 , x 3 ) ) λ f ( x 4 , f ( x 5 , x 3 ) ) λ f ( x 4 , f ( x 5 , x 3 ) ) λ f ( x 4 , f ( x 5 , x 3 ) ) λ f ( x 4 , f ( x 5 , x 3 ) )
We can comment here that, if we put W τ 2 1 ( X ) \ { x 1 } , then this set is also an infinite subsemigroup of ( W τ 2 1 ( X ) , S 1 ) and then every term in this set is a left zero and idempotent. Hence, W τ 2 1 ( X ) \ { x 1 } forms a left zero band. We also have that it is a right ideal of ( W τ 2 1 ( X ) , S 1 ) and thus ( W τ 2 1 ( X ) , S 1 ) is not a right simple semigroup.

5. Conclusions

The paper was established to study a potential connection between terms, tree languages, and full n-ary functions. We prove in Section 2 that there exists a monomorphism from the semigroup of terms to the semigroup of tree languages in a natural way by defining an image of a mapping to be a singleton of term. In Section 3, the most significant knowledge and some elementary results concerning a mapping which is called a non-deterministic generalized hypersubstitution are provided. We completely define a second binary operation for such mappings and construct a left seminearring. Some submomoids of non-deterministic generalized hypersubstitutions are given and interesting structural properties of them are studied. Other kinds of submonoids are challenging questions for study:
It is widely accepted that the representation by functions is one of the most important keys in the study of classical algebras that describes the relationship between the original algebras and the algebras of functions. For this reason, in the final section, we also make an attempt to establish an n-ary function corresponding to each term t. We also construct the Cayley’s theorems for a Menger algebra with infinitely many nullary operations. It observed that our main results are also noticeable foundations and practical applications in mathematical study, theoretical computer sciences, and various categories of sciences. For the exact applications of our works, semigroups and groups are algebras of type τ 2 1 = ( 2 ) if I is a singleton. If an indexed set I has two elements, then our results can be applied to varieties of semirings, rings, or lattices, which are varieties of type τ 2 2 = ( 2 , 2 ) .
Finally, we provide some open problems for future research works. Firstly, attempt to apply the idea of Menger hyperalgebra, which was introduced in [28] to terms and tree languages. Secondly, determine a relationship between hypersubstitutions for algebraic systems and Nd-hypersubstitutions for algebraic systems.

Author Contributions

The authors contributed equally to this manuscript. Both authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by Chiang Mai University, Chiang Mai 50200, Thailand.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

Open Access Funding by Chiang Mai University, Chiang Mai 50200, Thailand.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gecseg, F.; Steinby, M. Tree languages. In Handbook of Formal Languages; Tree Languages; Springer: Berlin/Heidelberg, Germany, 1997; Chapter 1; Volume 3, pp. 1–68. [Google Scholar]
  2. Lekkoksung, N.; Denecke, K. The partial clone of linear tree languages. Sib. Math. J. 2019, 60, 497–507. [Google Scholar] [CrossRef]
  3. Steinby, M. A theory of tree language varieties. In Tree Automata and Languages; Nivat, M., Podelski, A., Eds.; Elsevier: Amsterdam, The Netherlands, 1992. [Google Scholar]
  4. Aichinger, E.; Mudrinski, N.; Opršal, J. Complexity of term representations of finitary functions. Int. J. Algebra Comput. 2018, 28, 1101–1118. [Google Scholar] [CrossRef]
  5. Chajda, I.; Graczynska, E. Algebras presented by normal identities. Acta Univ. Palack. Olomouc. Fac. Rerum Nat. Math. 1999, 38, 49–58. [Google Scholar]
  6. Couceiro, M.; Lehtonen, E. Galois theory for sets of operations closed under permutation, cylindrification and composition. Algebra Univ. 2012, 67, 273–297. [Google Scholar] [CrossRef] [Green Version]
  7. Kumduang, T.; Leeratanavalee, S. Monoid of linear hypersubstitutions for algebraic systems of type ((n), (2)) and its regularity. Songklanakarin J. Sci. Technol. 2019, 41, 1248–1259. [Google Scholar]
  8. Phuapong, S.; Pookpienlert, C. Fixed variables generalized hypersubstitutions. Int. J. Math. Comput. Sci. 2021, 16, 133–142. [Google Scholar]
  9. Phusanga, D.; Koppitz, J. The semigroup of linear terms. Asian-Eur. J. Math. 2020, 13, 2050005. [Google Scholar] [CrossRef]
  10. Wattanatripop, K.; Changphas, T. Clones of terms of a fixed variable. Mathematics 2020, 8, 260. [Google Scholar] [CrossRef] [Green Version]
  11. Denecke, K.; Jampachon, P. Regular elements and Green’s relations in Menger algebras of terms. Discuss. Math. Gen. Algebra Appl. 2006, 26, 85–109. [Google Scholar] [CrossRef]
  12. Leeratanavalee, S.; Denecke, K. Generalized hypersubstitutions and strongly solid varieties. In General Algebra and Applications, Proceedings of the 59th Workshop on General Algebra, 15th Conference for Young Algebraists Potsdam 2000; Shaker Verlag: Düren/Maastricht, Germany, 2000; pp. 135–145. [Google Scholar]
  13. Changphas, T.; Denecke, K. Green’s relations on the seminearring of full hypersubstitutions of type (n). Algebra Discret. Math. 2003, 2, 6–19. [Google Scholar]
  14. Denecke, K.; Koppitz, J.; Shtrakov, S. Multi-hypersubstitutions and colored solid varieties. Int. J. Algebra Comput. 2006, 16, 797–815. [Google Scholar] [CrossRef] [Green Version]
  15. Koppitz, J. All Reg-solid varieties of commutative semigroups. Semigroup Forum 2009, 78, 148–156. [Google Scholar] [CrossRef]
  16. Movsisyan, Y.M. Hyperidentities and related concepts, I. Armen. J. Math. 2017, 9, 146–222. [Google Scholar]
  17. Shtrakov, S.L. Multi-solid varieties and mh-transducers. Algebra Discret. Math. 2007, 3, 113–131. [Google Scholar]
  18. Wismath, S.L. The monoid of hypersubstitutions of type (n). Southeast Asian Bull. Math. 2000, 20, 115–128. [Google Scholar] [CrossRef]
  19. Denecke, K.; Glubudom, P. Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. In Contributions to General Algebra, Proceedings of the Vienna Conference 2005; Verlag Johannes Heyn: Klagenfurth, Austria, 2005; pp. 61–70. [Google Scholar]
  20. Denecke, K.; Glubudom, P.; Koppitz, J. Power clones and non-deterministic hypersubstitutions. Asian-Eur. J. Math. 2008, 1, 115–128. [Google Scholar] [CrossRef]
  21. Denecke, K.; Glubudom, P. Regular elements and Green’s relations in power Menger algebras of terms. Demonstr. Math. 2008, 41, 11–22. [Google Scholar]
  22. Denecke, K.; Sarasit, N. Products of tree languages. Bull. Sect. Logic Univ. Łódź 2011, 40, 13–36. [Google Scholar]
  23. Leeratanavalee, S. Structural properties of generalized hypersubstitutions. Kyungpook Math. J. 2004, 44, 261–267. [Google Scholar]
  24. Leeratanavalee, S. Submonoids of generalized hypersubstitutions. Demonstr. Math. 2007, XL, 13–22. [Google Scholar] [CrossRef] [Green Version]
  25. Dudek, W.A.; Trokhimenko, V.S. De Morgan (2, n)-semigroups of n-place functions. Commun. Algebra. 2016, 44, 4430–4437. [Google Scholar] [CrossRef]
  26. Dudek, W.A.; Trokhimenko, V.S. Menger algebras of idempotent n-ary operations. Stud. Sci. Math. Hung. 2019, 55, 260–269. [Google Scholar] [CrossRef]
  27. Mclean, B. Algebras of multiplace functions for signatures containing antidomain. Algebra Univ. 2017, 78, 215–248. [Google Scholar] [CrossRef] [Green Version]
  28. Kumduang, T.; Leeratanavalee, S. Menger hyperalgebras and their representations. Commun. Algebra 2021, 49, 1513–1533. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Kumduang, T.; Leeratanavalee, S. Semigroups of Terms, Tree Languages, Menger Algebra of n-Ary Functions and Their Embedding Theorems. Symmetry 2021, 13, 558. https://doi.org/10.3390/sym13040558

AMA Style

Kumduang T, Leeratanavalee S. Semigroups of Terms, Tree Languages, Menger Algebra of n-Ary Functions and Their Embedding Theorems. Symmetry. 2021; 13(4):558. https://doi.org/10.3390/sym13040558

Chicago/Turabian Style

Kumduang, Thodsaporn, and Sorasak Leeratanavalee. 2021. "Semigroups of Terms, Tree Languages, Menger Algebra of n-Ary Functions and Their Embedding Theorems" Symmetry 13, no. 4: 558. https://doi.org/10.3390/sym13040558

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop