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...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 |