Browsing Computer Science by Author "Shan, Sonja Linghui"
Now showing items 1-1 of 1
-
Proving Properties of Fibonacci Representations via Automata Theory
Shan, Sonja Linghui (University of Waterloo, 2024-01-22)In this work, we introduce a novel framework for mechanically testing the completeness and unambiguity of Fibonacci-based representations via automata theory. We call a representation (or a number system) complete and ...