Abstract
In a previous work, we have investigated an automata-theoretic property of numeration systems associated with quadratic Pisot units that yields, for every such number θ, a certain group G θ .
In this paper, we characterize a cross-section of a congruence γθ of \( \mathbb{Z} \) 4 that had arisen when constructing G θ . In spite of the algebraic connections and implications of that characterization, the proof is combinatorial, and based upon rewriting techniques.
The main point is to show that the rewrite system made up by the relations that generate γθ, though non-confluent, behaves as if it were confluent.
Dans un article précédent, nous avions associé à chaque nombre de Pisot quadratique unitaire θ un certain groupe G θ par le biais de la construction d’un automate qui réalise le passage entre les représentations des entiers dans deux systèmes de numération naturellement attachés à θ.
Dans cet article, nous donnons une caractérisation d’un ensemble de représentants pour une congruence γθ de \( \mathbb{Z} \) 4 qui avait été utilisée pour la définition de G θ . Bien que les motivations, le cadre, et les implications de cette caractérisation soient algébriques, la preuve est combinatoire et utilise les techniques des systèmes de réécriture.
Le point crucial consiste à montrer que le système de réécriture formé par les relations qui engendrent γθ se comporte comme un système confluent bien qu’il ne le soit pas.
Dedicated to the memory of David Klarner
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Č. Burdík, Ch. Frougny, J.P. Gazeau, and R. Krejcar, Beta-integers as natural counting systems for quasicrystals. J. of Physics A: Math. Gen. 31, 1998, 6449–6472.
N. Dershowitz and J. P. Jouannaud, Rewrite Systems, in Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B, Elsevier, 1990, 243–320.
Ch. Frougny and J. Sakarovitch, Automatic conversion from Fibonacci representation to representation in base-itϕ, and a generalization, to appear in Int. J. of Alg. and Comput. Available at http://www.enst.fr/~jsaka
Ch. Frougny and J. Sakarovitch, Two groups associated with quadratic Pisot units, to appear. Available at http://www.enst.fr/~jsaka
D. E. Knuth, The Art of Computer Programming, Vol. 1, Addison-Wesley, 1968.
W. Parry, On the-β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11, 1960, 401–416.
N. Sidorov and A. Vershik, Bijective arithmetic codings of hyperbolic automorphisms of the 2-torus, and binary quadratic forms. J. Dynam. Control Systems 4, 1998, 365–399.
E. Zeckendorf, Reprsentation des nombres entiers par une somme de nombres de Fibonacci ou de nombre de Lucas, Bull. Soc. Roy. Lige 41, 1972, 179–182.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frougny, C., Sakarovitch, J. (1999). A Rewrite System Associated with Quadratic Pisot Units. In: Narendran, P., Rusinowitch, M. (eds) Rewriting Techniques and Applications. RTA 1999. Lecture Notes in Computer Science, vol 1631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48685-2_28
Download citation
DOI: https://doi.org/10.1007/3-540-48685-2_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66201-3
Online ISBN: 978-3-540-48685-5
eBook Packages: Springer Book Archive