Channel synthesis revisited - Rapports LIP6
Rapport (Rapport De Recherche) Année : 2013

Channel synthesis revisited

Synthèse de canaux : une nouvelle approche

Béatrice Bérard
Olivier Carton

Résumé

Given a system modeled by a rational relation R, a channel is a pair (E, D) of rational relations that respectively encode and decode binary messages, and such that the composition ERD is the identity relation. This means that the message between E and D has been per- fectly transmitted through R. Investigating the links between channels and the growth of rational sets of words, we give new characterizations for relations with channels. In the particular case where the relation is given as a union of functions, we obtain as a consequence the decidability of the synthesis problem with a linear complexity.
Fichier principal
Vignette du fichier
lip6-2013-001.pdf (358.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02545987 , version 1 (17-04-2020)

Identifiants

  • HAL Id : hal-02545987 , version 1

Citer

Béatrice Bérard, Olivier Carton. Channel synthesis revisited. [Research Report] lip6.2013.001, LIP6. 2013. ⟨hal-02545987⟩
149 Consultations
116 Téléchargements

Partager

More