Hostname: page-component-7b7567c8c-kwt9d Total loading time: 0 Render date: 2026-11-14T03:51:41.533Z Has data issue: false hasContentIssue false

Asynchronous sliding block maps

Published online by Cambridge University Press:  15 April 2002

Marie-Pierre Béal
Affiliation:
Institut Gaspard Monge, CNRS, Université de Marne-la-Vallée, 5 boulevard Descartes, 77454 Marne-la-Vallée Cedex 2, France; (Marie-Pierre.Beal@univ-mlv.fr and Url: http://www-igm.univ-mlv.fr/~beal/)
Olivier Carton
Affiliation:
Institut Gaspard Monge, CNRS, Université de Marne-la-Vallée, 5 boulevard Descartes, 77454 Marne-la-Vallée Cedex 2, France; (Olivier.Carton@univ-mlv.fr and Url : http://www-igm.univ-mlv.fr/~carton/)
Get access

Abstract

We define a notion of asynchronous sliding block map that can be realized by transducers labeled in A* × B*. We show that, under some conditions, it is possible to synchronize this transducer by state splitting, in order to get a transducer which defines the same sliding block map and which is labeled in A × Bk , where k is a constant integer. In the case of a transducer with a strongly connected graph, the synchronization process can be considered as an implementation of an algorithm of Frougny and Sakarovitch for synchronization of rational relations of bounded delay. The algorithm can be applied in the case where the transducer has a constant integer transmission rate on cycles and has a strongly connected graph. It keeps the locality of the input automaton of the transducer. We show that the size of the sliding window of the synchronous local map grows linearly during the process, but that the size of the transducer is intrinsically exponential. In the case of non strongly connected graphs, the algorithm of Frougny and Sakarovitch does not keep the locality of the input automaton of the transducer. We give another algorithm to solve this case without losing the good dynamic properties that guaranty the state splitting process.

Keywords

Information

Type
Research Article
Copyright
© EDP Sciences, 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable