The Growth Ratio of Synchronous Rational Relations Is Unique

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Carton, Olivier
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We introduce α-synchronous relations for a rational number α. We show that if a rational relation is both α- and α′-synchronous for two different numbers α and α′, then it is recognizable. We give a synchronization algorithm for α-synchronous transducers. We also prove the closure under boolean operations and composition of α-synchronous relations.
ISSN:0302-9743
1611-3349
DOI:10.1007/11779148_25