A general approach to proving properties of Fibonacci representations via automata theory. (English) Zbl 07828952
Gazdag, Zsolt (ed.) et al., Proceedings of the 16th international conference on automata and formal languages, AFL, Eger, Hungary, September 5–7, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 386, 228-242 (2023).
MSC:
68Q45