The partial clone of linear tree languages
- 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.
Verfasserangaben: | Nareupanat LekkoksungORCiD, Klaus-Dieter DeneckeORCiDGND |
---|---|
DOI: | https://doi.org/10.1134/S0037446619030121 |
ISSN: | 0037-4466 |
ISSN: | 1573-9260 |
Titel des übergeordneten Werks (Englisch): | Siberian mathematical journal |
Verlag: | Pleiades Publ. |
Verlagsort: | New York |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 13.06.2019 |
Erscheinungsjahr: | 2019 |
Datum der Freischaltung: | 17.02.2021 |
Freies Schlagwort / Tag: | clone; linear hypersubstitution; linear term; linear tree language; nondeterministic linear hypersubstitution; partial clone |
Band: | 60 |
Ausgabe: | 3 |
Seitenanzahl: | 11 |
Erste Seite: | 497 |
Letzte Seite: | 507 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |
DDC-Klassifikation: | 5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik |
Peer Review: | Referiert |