Abstract
We introduce distributed pushdown automata systems consisting of several pushdown automata which work in turn on the input string placed on a common one-way input tape. The work of the components is based on protocols and strategies similar to those that cooperating distributed grammar systems use. We investigate the computational power of these mechanisms under different protocols for activating components and two ways of accepting the input string: with empty stacks or with final states which means that all components have empty stacks or are in final states, respectively, when the input string was completely read.
Work supported in part by a grant from the NATO Scientific Committee in Spain
Work 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
M.H. ter Beek, E. Csuhaj-Varjú, V. Mitrana, Teams of pushdown automata, submitted.
E. Csuhaj-Varjú, J. Dassow, On cooperating distributed grammar systems, J. Inform. Process. Cybern., EIK, 26 (1990), 49–63.
E. Csuhaj-Varjú, J. Dassow, J. Kelemen, Gh. Päun, Grammar Systems. A grammatical approach to distribution and cooperation, Gordon and Breach, 1994.
E. Csuhaj-Varjú, C. Martín-Vide, V. Mitrana, Gy. Vaszil, Parallel communicating pushdown automata systems, Intern. J. Found. Comp. Sci., 11:4 (2000), 633–650.
J. Dassow, Gh. Pâaun, G. Rozenberg, Grammar systems, in vol. 2 of [12].
J. Dassow, V. Mitrana, “Stack cooperation in multi-stack pushdown automata”, J. Comput. System Sci. 58 (1999), 611–621.
O. H. Ibarra, One two-way multihead automata, J. Comput. System Sci. 7 (1973), 28–36.
C. Martín-Vide, V. Mitrana, Some undecidable problems for parallel communicating finite automata systems, Inform. Proc. Letters, 77:5–6 (2001), 239–245.
C. Martín-Vide, V. Mitrana, Parallel communicating automata systems. A survey. Invited article in Korean Journal of Computational and Applied Mathematics, 7:2 (2000), 237–257.
C. Martín-Vide, A. Mateescu, V. Mitrana, Parallel finite automata systems communicating by states, Intern. J. Found. Comp. Sci., 13:5 (2002), 733–749.
Gh. Pâun, L. Sântean, Parallel communicating grammar systems: the regular case, Ann. Univ. Bucharest, Ser. Matem.-Inform. 38 (1989), 55–63.
G. Rozenberg, A. Salomaa, Handbook of Formal Languages, Springer-Verlag, Berlin, vol. 1–3, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Csuhaj-Varjú, E., Mitrana, V., Vaszil, G. (2003). Distributed Pushdown Automata Systems: Computational Power. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_17
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive