Teams of pushdown automata
Authors:
Maurice H. Ter Beek a;
Erzs
bet Csuhaj-Varj
b;
Victor Mitrana c
bet Csuhaj-Varj
b;
Victor Mitrana c
| Affiliations: | a Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy |
| b Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary | |
| c Faculty of Mathematics, University of Bucharest, Bucharest, Romania |
DOI:
10.1080/00207160310001650099
Publication Frequency:
15 issues per year
Published in:
International Journal of Computer Mathematics,
Volume
81,
Issue
2
February
2004
, pages 141
- 156
Subjects:
Analysis - Mathematics;
Bioinformatics;
Computer Mathematics;
Discrete Mathematics;
Mathematical Finance;
Mathematical Logic;
Mathematical Numerical Analysis;
Systems & Computer Architecture;
Number of References: 33
Formats available:
PDF
(English)
View Article:
View Article (PDF)
Abstract
We introduce team pushdown automata (PDAs) as a theoretical framework capable of modelling various communication and cooperation strategies in complex, distributed systems. Team PDAs are obtained by augmenting distributed PDAs with the notion of team cooperation or, alternatively, by augmenting team automata with pushdown memory. In a team PDA, several PDAs work as a team on the input word placed on a common one-way input tape. At any moment in time one team of PDAs, each with the same symbol on top of its stack, is active: each PDA 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 PDA 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 PDA. Here we focus on the accepting capacity of team PDA.†
E-mail: csuhaj@sztaki.hu‡ E-mail: mitrana@funinf.cs.unibuc.ro |
| Keywords: Pushdown automata; Team cooperation; Competence; Accepting capacity; Team automata |
| view references (33) |

Download Citation

CiteULike
Del.icio.us
BibSonomy
Connotea