The Partial Clone of Linear Tree Languages
- Authors: Lekkoksung N.1,2, Denecke K.1,2
-
Affiliations:
- University of Potsdam, Institute of Mathematics
- KhonKaen University, Department of Mathematics
- Issue: Vol 60, No 3 (2019)
- Pages: 497-507
- Section: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172433
- DOI: https://doi.org/10.1134/S0037446619030121
- ID: 172433
Cite item
Abstract
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.
About the authors
N. Lekkoksung
University of Potsdam, Institute of Mathematics; KhonKaen University, Department of Mathematics
Email: klausdenecke@hotmail.com
Germany, Potsdam; KhonKaen
K. Denecke
University of Potsdam, Institute of Mathematics; KhonKaen University, Department of Mathematics
Author for correspondence.
Email: klausdenecke@hotmail.com
Germany, Potsdam; KhonKaen