- Tytuł:
- A semantic construction of two-ary integers
- Autorzy:
- Ricci, Gabriele
- Powiązania:
- https://bibliotekanauki.pl/articles/729095.pdf
- Data publikacji:
- 2005
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
universal matrix
analytic monoid
LISP
semantics
jump - Opis:
-
To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex.
We use a semantic construction to get this extension. This method differs from the algebraic ones, mainly because it is able to find equational features of the extended objects. Two-ary integers turn out to form the free algebra corresponding to the Jónsson-Tarski's "paradoxical" equations. This entails that they have a "sum" operation as well as other operations of higher dimensions.
Two-ary integers can provide LISP memories with convenient direct access jumps and the above low complexity hints at feasible hardware implementations. - Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 2; 165-219
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł