A topological approach to transductions - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 2005

A topological approach to transductions

Résumé

This paper is a contribution to the mathematical foundations of the theory of automata. We give a topological characterization of the transductions ? from a monoid M into a monoid N, such that if R is a recognizable subset of N, ?^{-1}(R) is a recognizable subset of M. We impose two conditions on the monoids, which are fullfilled in all cases of practical interest: the monoids must be residually finite and, for every positive integer n, must have only finitely many congruences of index n. Our solution proceeds in two steps. First we show that such a monoid, equipped with the so-called Hall distance, is a metric space whose completion is compact. Next we prove that ? can be lifted to a map ?^ from M into the set of compact subsets of the completion of N. This latter set, equipped with the Hausdorff metric, is again a compact monoid. Finally, our main result states that ?^{-1} preserves recognizable sets if and only if ?^ is continuous.
Fichier principal
Vignette du fichier
PinSilva.pdf (161.26 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00112837 , version 1 (09-11-2006)

Identifiants

  • HAL Id : hal-00112837 , version 1

Citer

Jean-Eric Pin, Pedro Silva. A topological approach to transductions. Theoretical Computer Science, 2005, 340, pp.443-456. ⟨hal-00112837⟩
99 Consultations
92 Téléchargements

Partager

More