PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Csuhaj-Varju E., Mitrana V. Teams of Pushdown Automata. In: International Journal of Computer Mathematics, vol. 81 (2) pp. 141 - 156. Taylor and Francis, 2004.
 
 
Abstract
(English)
We introduce team pushdown automata as a theoretical framework capable of modelling various communication and cooperation strategies in complex, distributed systems. Team pushdown automata are obtained by augmenting distributed pushdown automata with the notion of team cooperation or - alternatively - by augmenting team automata with pushdown memory. In a team pushdown automaton, several pushdown automata work as a team on the input word placed on a common one-way input tape. At any moment in time one team of pushdown automata, each with the same symbol on top of its stack, is active: each pushdown automaton in the active team replaces the topmost symbol of its stack and changes state, while the current input symbol is read from the input tape by a common reading head. The teams are formed according to the team cooperation strategy of the team pushdown automaton and may vary from one moment to the other. Based on the notion of competence, we introduce a variety of team cooperation strategies. If all stacks are empty when the input word has been completely read, then this word is part of the language accepted by the team pushdown automaton. Here we focus on the accepting capacity of team pushdown automata.
Subject Pushdown automata
Team cooperation
Competence
Accepting capacity
Team automata
F.1.1 Models of Computation. Automata,Relations between models
F.4.3 Formal Languages. Classes defined by grammars or automata


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional