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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baecker, R.M. (ed.): Readings in Groupware and CSCW. Morgan Kaufmann, San Francisco (1992)
Bordihn, H., Csuhaj-Varjú, E.: On competence and completeness in CD grammar systems. Acta Cybernetica 12(4), 347–361 (1996)
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)
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)
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)
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)
ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. CSCW 12(1), 21–69 (2003)
Csuhaj-Varjú, E., Dassow, J.: On cooperating distributed grammar systems. Journal of Information Processing and Cybernetics EIK 26, 49–63 (1990)
Csuhaj-Varjú, E., Dassow, J., Holzer, M.: On a competence-based cooperation strategy in CD grammar systems (2002) (submitted)
Csuhaj-Varjú, E., Dassow, J., Kelemen, J., Păun, G.: Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach (1994)
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)
Csuhaj-Varjú, E., Martín-Vide, C., Mitrana, V., Vaszil, G.: Parallel Communicating Pushdown Automata Systems. IJFCS 11(4), 633–650 (2000)
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)
Dassow, J., Mitrana, V.: Stack Cooperation in Multistack Pushdown Automata. Journal of Computer and System Sciences 58(3), 611–621 (1999)
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)
Grudin, J.: CSCW: History and Focus. IEEE Computer 27(5), 19–26 (1994)
Kari, L., Mateescu, A., Păun, G., Salomaa, A.: Teams in cooperating grammar systems. Journal of Experimental and Theoretical AI 7, 347–359 (1995)
Krithivasan, K., Sakthi Balan, M., Harsha, P.: Distributed Processing in Automata. IJFCS 10(4), 443–463 (1999)
Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
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)
Nii, P.H.: Blackboard Systems. In: Handbook of AI, vol. 4, pp. 1–82. Addison-Wesley, Reading (1989)
Păun, G., Rozenberg, G.: Prescribed teams of grammars. Acta Informatica 31, 525–537 (1994)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997)
Smith, J.: Collective Intelligence in Computer Based Collaboration — A Volume in the Computers. Cognition, and Work Series. Lawrence Erlbaum, Mahwah (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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