TY  - JOUR
A1  - Lekkoksung, Nareupanat
A1  - Denecke, Klaus-Dieter
T1  - The partial clone of linear tree languages
JF  - Siberian mathematical journal
N2  - A term, also called a tree, is said to be linear, if each variable occurs in the term only once. The linear terms and sets of linear terms, the so-called linear tree languages, play some role in automata theory and in the theory of formal languages in connection with recognizability. We define a partial superposition operation on sets of linear trees of a given type and study the properties of some many-sorted partial clones that have sets of linear trees as elements and partial superposition operations as fundamental operations. The endomorphisms of those algebras correspond to nondeterministic linear hypersubstitutions.
KW  - linear term
KW  - linear tree language
KW  - clone
KW  - partial clone
KW  - linear hypersubstitution
KW  - nondeterministic linear hypersubstitution
Y1  - 2019
U6  - https://doi.org/10.1134/S0037446619030121
SN  - 0037-4466
SN  - 1573-9260
VL  - 60
IS  - 3
SP  - 497
EP  - 507
PB  - Pleiades Publ.
CY  - New York
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
T1  - Partial clones
JF  - Asian-European journal of mathematics : AEJM
N2  - A set C of operations defined on a nonempty set A is said to be a clone if C is closed under composition of operations and contains all projection mappings. The concept of a clone belongs to the algebraic main concepts and has important applications in Computer Science. A clone can also be regarded as a many-sorted algebra where the sorts are the n-ary operations defined on set A for all natural numbers n >= 1 and the operations are the so-called superposition operations S-m(n) for natural numbers m, n >= 1 and the projection operations as nullary operations. Clones generalize monoids of transformations defined on set A and satisfy three clone axioms. The most important axiom is the superassociative law, a generalization of the associative law. If the superposition operations are partial, i.e. not everywhere defined, instead of the many-sorted clone algebra, one obtains partial many-sorted algebras, the partial clones. Linear terms, linear tree languages or linear formulas form partial clones. In this paper, we give a survey on partial clones and their properties.
KW  - Operation
KW  - term
KW  - formula
KW  - superposition of operations
KW  - terms and
KW  - formulas
KW  - linear term
KW  - linear formula
KW  - linear tree language
KW  - clone
KW  - partial clone
KW  - linear hypersubstitution
KW  - dht-symmetric category
KW  - partial
KW  - theory
Y1  - 2020
U6  - https://doi.org/10.1142/S1793557120501612
SN  - 1793-5571
SN  - 1793-7183
VL  - 13
IS  - 8
PB  - World Scientific
CY  - Singapore
ER  -