RAIRO-Theor. Inf. Appl.
Volume 39, Number 2, April-June 2005
|Page(s)||403 - 419|
|Published online||15 April 2005|
Efficient simulation of synchronous systems by multi-speed systems
Institute of Computer Science, Wrocław
University, Przesmyckiego 20, PL-51-151 Wrocław, Poland.
2 Institute of Mathematics and Computer Science, Kassel University, Heinrich-Plett-Str. 40, D-34132 Kassel, Germany.
3 Institute of Mathematics, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, PL-50-370 Wrocław, Poland.
Accepted: September 2004
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.
Mathematics Subject Classification: 03D15 / 68Q45
Key words: Multi-head automata / systems of finite automata / communication complexity / message complexity
© EDP Sciences, 2005
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.