Handbook of theoretical computer science (vol. B)
Bijective Arithmetic Codings of Hyperbolic Automorphisms of the 2-Torus, and Binary Quadratic Forms
Journal of Dynamical and Control Systems
| Hi-index | 0.00 |
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 γθ ofZ4 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 Z4 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.