2000 character limit reached
Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals (2405.02727v1)
Published 4 May 2024 in cs.FL, cs.DM, and math.NT
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 $bn$, 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.