Article
Communication Aspects of Computation of Systems of Finite Automata
06/2002;
Source: CiteSeer

Conference Paper: Communication Gap for Finite Memory Devices.
[Show abstract] [Hide abstract]
ABSTRACT: So far, not much is known on communication issues for computations on distributed systems, where the components are weak and simultaneously the communication bandwidth is severely limited. We consider synchronous systems consisting of finite automata which communicate by sending messages while working on a shared readonly data. We consider the number of messages necessary to recognize a language as a its complexity measure. We present an interesting phenomenon that the systems described require either a constant number of messages or at least Ω((log log log n)c) of them (in the worst case) for input data of length n and some constant c. Thus, in the hierarchy of message complexity classes there is a gap between the languages requiring only O(1) messages and those that need a nonconstant number of messages. We show a similar result for systems of oneway automata. In this case, there is no language that requires ω(1) and o(log n) messages (in the worst case). These results hold for any fixed number of automata in the system. The lower bound arguments presented in this paper depend very much on results concerning solving systems of diophantine equations and in equalities.Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 812, 2001, Proceedings; 01/2001 
Conference Paper: Communication Complexity for Asynchronous Systems of Finite Devices.
[Show abstract] [Hide abstract]
ABSTRACT: We consider systems consisting of a constant number of finite automata communicating via messages. We assume that the automata are asynchronous, but the answers given by the system must be always correct. We examine computational power of such systems by inspecting the number of messages exchanged. This is motivated by the fact that communication volume is one of the most important complexity measures. We show that any asynchronous system of finite automata that exchanges o(n) messages is able to recognize regular languages only. This is much different than in the case of synchronous systems considered before (where already a constant number of messages suffices to recognize some nonregular languages). We show that asynchronous and synchronous systems may differ significantly in their computational power also for tasks requiring ( n) messages. We consider a language Ltrans consisting of words of the form A#A T , where A T denotes transposition of matrix A and the matrices are written row by row. While it is easy to see thatLtrans can be recognized withO(n) messages by a synchronous system of finite automata, we show thatLtrans requires ( n 3=2 = log 2 n) messages on any asynchronous system.Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS01), San Francisco, CA, April 2327, 2001; 01/2001
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.