- Tytuł:
- Non-Deterministic Linear Hypersubstitutions
- Autorzy:
-
Lekkoksung, Nareupanat
Jampachon, Prakit - Powiązania:
- https://bibliotekanauki.pl/articles/729155.pdf
- Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
linear term
non-deterministic linear hypersubstitution - Opis:
- A non-deterministic hypersubstitution maps operation symbols to sets of terms of the corresponding arity. A non-deterministic hypersubstitution of type τ is said to be linear if it maps any operation symbol to a set of linear terms of the corresponding arity. We show that the extension of non-deterministic linear hypersubstitutions of type τ map sets of linear terms to sets of linear terms. As a consequence, the collection of all non-deterministic linear hypersubstitutions forms a monoid. Non-deterministic linear hypersubstitutions can be applied to identities and to algebras of type τ.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2015, 35, 1; 97-103
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł