Showing 1–1 of 1 results for author: Barnoff, A

Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals

Authors: Aaron Barnoff, Curtis Bright, Jeffrey Shallit

Abstract: We show that the $n$'th digit of the base-$b$ representation of the golden ratio is a finite-state function of the Zeckendorf representation of $b^n$, and hence can be computed by a finite automaton. Similar results can be proven for any quadratic irrational. We use a satisfiability (SAT) solver to prove, in some cases, that the automata we construct are minimal. We show that the $n$'th digit of the base-$b$ representation of the golden ratio is a finite-state function of the Zeckendorf representation of $b^n$, and hence can be computed by a finite automaton. Similar results can be proven for any quadratic irrational. We use a satisfiability (SAT) solver to prove, in some cases, that the automata we construct are minimal. △ Less

Submitted 4 May, 2024; originally announced May 2024.