Back to Search
Start Over
Proving Properties of $\varphi$-Representations with the Walnut Theorem-Prover
- Publication Year :
- 2023
-
Abstract
- We revisit a classic theorem of Frougny and Sakarovitch concerning automata for $\varphi$-representations, and show how to obtain it in a different and more computationally direct way. Using it, we can find simple, induction-free proofs of existing results in the literature about these representations, in a uniform and straightforward manner. In particular, we can easily and "automatically'' recover many of the results of recent papers of Dekking and Van Loon. We also obtain a number of new results on $\varphi$-representations.
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2305.02672
- Document Type :
- Working Paper