A Fibonacci analogue of the two’s complement numeration system

Using the classic two’s complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of the two’s complement notation and we show that addition in thi...

Full description

Saved in:
Bibliographic Details
Published inRAIRO. Informatique théorique et applications Vol. 57
Main Authors Labbé, Sébastien, Lepšová, Jana
Format Journal Article
LanguageEnglish
Published EDP Sciences 2023
Subjects
Mathematics
transducer
numeration system
Fibonacci
Two’s complement
Online AccessGet full text

Cover

More Information
Summary:Using the classic two’s complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of the two’s complement notation and we show that addition in this numeration system can be performed by a deterministic finite-state transducer. The result is based on the Berstel adder, which performs addition of the usual Fibonacci representations of nonnegative integers and for which we provide a new constructive proof. Moreover, we characterize the Fibonacci-equivalent of the two’s complement notation as an increasing bijection between ℤ and a particular language.
ISSN:0988-3754
1290-385X
DOI:10.1051/ita/2023007