Geodesic
Efficient simulation of synchronous systems by multi-speed systems
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 2, pp. 403-419

Voir la notice de l'article provenant de la source Numdam

We consider systems consisting of finite automata communicating by exchanging messages and working on the same read-only data. We investigate the situation in which the automata work with constant but different speeds. We assume furthermore that the automata are not aware of the speeds and they cannot measure them directly. Nevertheless, the automata have to compute a correct output. We call this model multi-speed systems of finite automata. Complexity measure that we consider here is the number of messages sent by the automata. The main result of this paper is that multi-speed systems are as powerful as synchronous systems, in which all automata work with the same speed.

DOI : 10.1051/ita:2005025
Classification : 03D15, 68Q45
Keywords: multi-head automata, systems of finite automata, communication complexity, message complexity 
@article{ITA_2005__39_2_403_0,
     author = {Jurdzi\'nski, Tomasz and Kuty{\l}owski, Miros{\l}aw and Zatopia\'nski, Jan},
     title = {Efficient simulation of synchronous systems by multi-speed systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {403--419},
     publisher = {EDP-Sciences},
     volume = {39},
     number = {2},
     year = {2005},
     doi = {10.1051/ita:2005025},
     zbl = {1133.68363},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2005025/}
}
TY  - JOUR
AU  - Jurdziński, Tomasz
AU  - Kutyłowski, Mirosław
AU  - Zatopiański, Jan
TI  - Efficient simulation of synchronous systems by multi-speed systems
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2005
SP  - 403
EP  - 419
VL  - 39
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2005025/
DO  - 10.1051/ita:2005025
LA  - en
ID  - ITA_2005__39_2_403_0
ER  - 
%0 Journal Article
%A Jurdziński, Tomasz
%A Kutyłowski, Mirosław
%A Zatopiański, Jan
%T Efficient simulation of synchronous systems by multi-speed systems
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2005
%P 403-419
%V 39
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2005025/
%R 10.1051/ita:2005025
%G en
%F ITA_2005__39_2_403_0
Jurdziński, Tomasz; Kutyłowski, Mirosław; Zatopiański, Jan. Efficient simulation of synchronous systems by multi-speed systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 2, pp. 403-419. doi: 10.1051/ita:2005025

Cité par Sources :