Skip to main content
SpringerLink
Log in

Teams of Pushdown Automata

  • Conference paper
Perspectives of System Informatics (PSI 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2890))

  • 420 Accesses

Abstract

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.

ter Beek was supported by an ERCIM postdoctoral fellowship and his research was fully carried out during his stay at the Computer and Automation Research Institute of the Hungarian Academy of Sciences. Mitrana was supported by the Centre of Excellence in Information Technology, Computer Science and Control, ICA1-CT-2000-70025, HUN-TING project, WP5.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baecker, R.M. (ed.): Readings in Groupware and CSCW. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  2. Bordihn, H., Csuhaj-Varjú, E.: On competence and completeness in CD grammar systems. Acta Cybernetica 12(4), 347–361 (1996)

    MATH  MathSciNet  Google Scholar 

  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. 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. 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. 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. 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. Csuhaj-Varjú, E., Dassow, J.: On cooperating distributed grammar systems. Journal of Information Processing and Cybernetics EIK 26, 49–63 (1990)

    MATH  Google Scholar 

  9. Csuhaj-Varjú, E., Dassow, J., Holzer, M.: On a competence-based cooperation strategy in CD grammar systems (2002) (submitted)

    Google Scholar 

  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. 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. Csuhaj-Varjú, E., Martín-Vide, C., Mitrana, V., Vaszil, G.: Parallel Communicating Pushdown Automata Systems. IJFCS 11(4), 633–650 (2000)

    MATH  Google Scholar 

  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. Dassow, J., Mitrana, V.: Stack Cooperation in Multistack Pushdown Automata. Journal of Computer and System Sciences 58(3), 611–621 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Grudin, J.: CSCW: History and Focus. IEEE Computer 27(5), 19–26 (1994)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  18. Krithivasan, K., Sakthi Balan, M., Harsha, P.: Distributed Processing in Automata. IJFCS 10(4), 443–463 (1999)

    Google Scholar 

  19. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)

    MATH  Google Scholar 

  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. Nii, P.H.: Blackboard Systems. In: Handbook of AI, vol. 4, pp. 1–82. Addison-Wesley, Reading (1989)

    Google Scholar 

  22. Păun, G., Rozenberg, G.: Prescribed teams of grammars. Acta Informatica 31, 525–537 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  23. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  24. Smith, J.: Collective Intelligence in Computer Based Collaboration — A Volume in the Computers. Cognition, and Work Series. Lawrence Erlbaum, Mahwah (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Scienza e Tecnologie dell’Informazione, CNR, Via G. Moruzzi 1, 56124, Pisa, Italy

    Maurice H. ter Beek

  2. Computer and Automation Research Institute, Hungarian Academy of Sciences, Kende utca 13–17, 1111, Budapest, Hungary

    Erzsébet Csuhaj-Varjú

  3. Faculty of Mathematics, University of Bucharest, Str. Academiei 14, 70109, Bucharest, Romania

    Victor Mitrana

Authors
  1. Maurice H. ter Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erzsébet Csuhaj-Varjú
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Victor Mitrana
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität München, Germany

    Manfred Broy

  2. A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

ter Beek, M.H., Csuhaj-Varjú, E., Mitrana, V. (2004). Teams of Pushdown Automata. In: Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39866-0_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39866-0_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20813-6

  • Online ISBN: 978-3-540-39866-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation