Teams of Pushdown Automata

  • Maurice H. ter Beek
  • Erzsébet Csuhaj-Varjú
  • Victor Mitrana
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2890)


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. Here we study their accepting capacity.


Cooperation Strategy Hungarian Academy Central Unit Input Word Computer Support Cooperative Work 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baecker, R.M. (ed.): Readings in Groupware and CSCW. Morgan Kaufmann, San Francisco (1992)Google Scholar
  2. 2.
    Bordihn, H., Csuhaj-Varjú, E.: On competence and completeness in CD grammar systems. Acta Cybernetica 12(4), 347–361 (1996)zbMATHMathSciNetGoogle Scholar
  3. 3.
    ter Beek, M.H., Csuhaj-Varjú, E., Holzer, M., Vaszil, G.: On Competence in Cooperating Distributed Grammar Systems, parts I-III. TR 2002/1–3, Computer and Automation Research Institute, Hungarian Academy of Sciences (2002)Google Scholar
  4. 4.
    ter Beek, M.H., Csuhaj-Varjú, E., Mitrana, V.: Teams of Pushdown Automata. TR 2002/4, Computer and Automation Research Institute, Hungarian Academy of Sciences (2002)Google Scholar
  5. 5.
    ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for CSCW. In: Proc. 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Institute for Software and Systems Engineering, pp. 1–20 (2001)Google Scholar
  6. 6.
    ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for Spatial Access Control. In: Proc. 7th Eur. Conf. on CSCW, pp. 59–77. Kluwer Academic, Dordrecht (2001)Google Scholar
  7. 7.
    ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. CSCW 12(1), 21–69 (2003)Google Scholar
  8. 8.
    Csuhaj-Varjú, E., Dassow, J.: On cooperating distributed grammar systems. Journal of Information Processing and Cybernetics EIK 26, 49–63 (1990)zbMATHGoogle Scholar
  9. 9.
    Csuhaj-Varjú, E., Dassow, J., Holzer, M.: On a competence-based cooperation strategy in CD grammar systems (2002) (submitted)Google Scholar
  10. 10.
    Csuhaj-Varjú, E., Dassow, J., Kelemen, J., Păun, G.: Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach (1994)Google Scholar
  11. 11.
    Csuhaj-Varjú, E., Kelemen, J.: Cooperating Grammar Systems: a Syntactical Framework for the Blackboard Model of Problem Solving. In: Proc. AI and Information-control Systems of Robots, pp. 121–127. North-Holland, Amsterdam (1989)Google Scholar
  12. 12.
    Csuhaj-Varjú, E., Martín-Vide, C., Mitrana, V., Vaszil, G.: Parallel Communicating Pushdown Automata Systems. IJFCS 11(4), 633–650 (2000)zbMATHGoogle Scholar
  13. 13.
    Csuhaj-Varjú, E., Mitrana, V., Vaszil, G.: Distributed Pushdown Automata Systems: Computational Power. In: Proc. 7th. Int. Conf. on Developments in Language Theory. LNCS. Springer, Heidelberg (2003) (to appear)Google Scholar
  14. 14.
    Dassow, J., Mitrana, V.: Stack Cooperation in Multistack Pushdown Automata. Journal of Computer and System Sciences 58(3), 611–621 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Ellis, C.A.: Team Automata for Groupware Systems. In: Proc. Int. Conf. on Supporting Group Work: The Integration Challenge, pp. 415–424. ACM Press, New York (1997)CrossRefGoogle Scholar
  16. 16.
    Grudin, J.: CSCW: History and Focus. IEEE Computer 27(5), 19–26 (1994)Google Scholar
  17. 17.
    Kari, L., Mateescu, A., Păun, G., Salomaa, A.: Teams in cooperating grammar systems. Journal of Experimental and Theoretical AI 7, 347–359 (1995)zbMATHCrossRefGoogle Scholar
  18. 18.
    Krithivasan, K., Sakthi Balan, M., Harsha, P.: Distributed Processing in Automata. IJFCS 10(4), 443–463 (1999)Google Scholar
  19. 19.
    Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)zbMATHGoogle Scholar
  20. 20.
    Nii, P.H.: Blackboard Systems: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures. Part I. AI Magazine 7(2), 38–53 (1986)Google Scholar
  21. 21.
    Nii, P.H.: Blackboard Systems. In: Handbook of AI, vol. 4, pp. 1–82. Addison-Wesley, Reading (1989)Google Scholar
  22. 22.
    Păun, G., Rozenberg, G.: Prescribed teams of grammars. Acta Informatica 31, 525–537 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997)zbMATHGoogle Scholar
  24. 24.
    Smith, J.: Collective Intelligence in Computer Based Collaboration — A Volume in the Computers. Cognition, and Work Series. Lawrence Erlbaum, Mahwah (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Maurice H. ter Beek
    • 1
  • Erzsébet Csuhaj-Varjú
    • 2
  • Victor Mitrana
    • 3
  1. 1.Istituto di Scienza e Tecnologie dell’InformazioneCNRPisaItaly
  2. 2.Computer and Automation Research InstituteHungarian Academy of SciencesBudapestHungary
  3. 3.Faculty of MathematicsUniversity of BucharestBucharestRomania

Personalised recommendations