# A Rewrite System Associated with Quadratic Pisot Units

@inproceedings{Frougny1999ARS, title={A Rewrite System Associated with Quadratic Pisot Units}, author={Christiane Frougny and Jacques Sakarovitch}, booktitle={RTA}, year={1999} }

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…

## One Citation

### Two Groups Associated with Quadratic Pisot Units

- Mathematics, Computer ScienceInt. J. Algebra Comput.
- 2002

This paper characterize a cross-section of a congruence γθ of ℤ4 that had arisen when constructing Gθ, that becomes then a second group associated with θ, and is very similar to the symbolic dynamical system associated, by a theorem of Parry, with the two numeration systems attached to θ.

## References

SHOWING 1-10 OF 54 REFERENCES

### Some operations and transductions that preserve rationality

- EconomicsTheoretical Computer Science
- 1983

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not, for teaching and research institutions in France or abroad, or from public or private research centers.

### Rewrite Systems

- Computer ScienceHandbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990

### On the Representation of Finite Deterministic 2-Tape Automata

- Computer ScienceTheor. Comput. Sci.
- 1999

### Finiteness Conditions on Subgroups and Formal Language Theory

- Mathematics
- 1989

We show in this article that the most usual finiteness conditions on a subgroup of a finitely generated group all have equivalent formulations in terms of formal language theory. This correspondence…

### Bijective Arithmetic Codings of Hyperbolic Automorphisms of the 2-Torus, and Binary Quadratic Forms

- Mathematics
- 1998

AbstractWe study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e., the continuous mappings acting from a certain symbolic space of sequences with a finite alphabet endowed with…

### The "Last" Decision Problem for Rational Trace Languages

- MathematicsLATIN
- 1992

It is established here that it is decidable whether a rational set of a free partially commutative monoid (i.e. trace monoid) is recognizable or not if and only if the commutation relation is…

### An Algebraic Framework for the Study of the Syntactic Monoids Application to the Group Languages

- MathematicsMFCS
- 1976

We study here a category whose objects are the pairs (M,P) where M is a monoid and P a subset of M. This gives a suitable algebraic framework for studying the relationships between the properties of…