The growth ratio of synchronous rational relations is unique

Olivier Carton (1)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

We introduce alpha-synchronous relations for a rational number alpha. We show that if a rational relation is both alpha- and alpha'-synchronous for two different numbers alpha and alpha', then it is recognizable. We give a synchronization algorithm for alpha-synchronous transducers. We also prove the closure under boolean operations and composition of alpha-synchronous relations.

Domaines: Algorithme et structure de données [cs.DS]

Olivier Carton. The growth ratio of synchronous rational relations is unique. Theoretical Computer Science, 2007, 376, pp.52-59. ⟨hal-00160891⟩