Abstract: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 $\mathbb{Z}$ and a particular language.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to introduce a Fibonacci number system similar to the two's - complement system and prove that in this new number system, the addition operation of integers can be implemented by a deterministic finite - state transducer. Specifically, the authors propose a Fibonacci complement notation based on Fibonacci numbers and show how to use the improved Berstel adder to perform addition operations under this representation.
### Main Contributions
1. **Define the Fibonacci Complement Number System**:
- The paper defines a new number system \( \text{Fc} \), in which each integer \( n \) has a unique representation \( \text{rep}_{\text{Fc}}(n) \).
- This representation method is similar to the two's - complement, but uses Fibonacci numbers instead of powers of 2.
2. **Implementation of Addition Operations**:
- The authors prove that in the \( \text{Fc} \) number system, the addition operation of integers can be implemented by a deterministic finite - state transducer (Mealy machine).
- Specifically, they modify the Berstel adder and add three new initial - state transitions, so that this transducer can handle addition in the \( \text{Fc} \) number system.
3. **Theoretical Basis**:
- The authors provide detailed mathematical proofs, showing why the addition operation in the \( \text{Fc} \) number system can be implemented by a finite - state transducer.
- They also prove that \( \text{rep}_{\text{Fc}} \) is an increasing function with respect to some total - order relation, which provides a theoretical basis for further research on other number systems.
### Key Results
- **Theorem A**: For every non - empty input \( u\in\{0, 1, 2\}^k \), the Mealy machine \( T \) outputs a binary word \( T(u)\cdot T↓(u) \) of length \( k + 2 \), whose value in the \( \text{Fc} \) number system is the same as that of \( u \), that is:
\[
\text{val}_{\text{Fc}}(u)=\text{val}_{\text{Fc}}(T(u)\cdot T↓(u)).
\]
### Applications and Significance
- **Theoretical Significance**: This work extends the understanding of number systems, especially for the research on non - traditional number systems (such as the Fibonacci number system).
- **Practical Applications**: Although it is mainly a theoretical result at present, this new number system and addition algorithm may be applied to specific computing tasks or data encoding schemes in the future.
Through these contributions, the paper not only provides a new number system, but also shows how to perform basic arithmetic operations efficiently in this system.