The growth ratio of synchronous rational relations is unique

  • Authors:
  • Olivier Carton

  • Affiliations:
  • LIAFA, Université Paris 7 & CNRS, 2, pl. Jussieu75251 Paris Cedex05, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 5.23

Visualization

Abstract

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