Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-29T06:55:15.386Z Has data issue: false hasContentIssue false
  • English
  • Français

CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store⋆⋆⋆

Published online by Cambridge University Press:  07 October 2011

Benedek Nagy  and
Friedrich Otto
Benedek Nagy
Affiliation:
Department of Computer Science, Faculty of Informatics, University of Debrecen, 4032 Debrecen, Egyetem tér 1., Hungary. nbenedek@inf.unideb.hu
Friedrich Otto
Affiliation:
Fachbereich Elektrotechnik/Informatik, Universität Kassel, 34109 Kassel, Germany; otto@theory.informatik.uni-kassel.de
Get access

Abstract

We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are equipped with an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of word languages that are linearizations of context-free trace languages.

Keywords

Restarting automatoncooperating distributed systemexternal pushdowncontext-free trace language
Type
Research Article
Information
RAIRO - Theoretical Informatics and Applications , Volume 45 , Issue 4 , November 2011 , pp. 413 - 448
Copyright
© EDP Sciences 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Aalbersberg, I. and Rozenberg, G., Theory of traces. Theoret. Comput. Sci. 60 (1988) 1–82. Google Scholar
J. Autebert, J. Berstel and L. Boasson, Context-free languages and pushdown automata, in Handbook of Formal Languages, Word, Language, Grammar, edited by G. Rozenberg and A. Salomaa. 1 (1997) 111–174.
J. Berstel, Transductions and Context-Free Languages, Leitfäden der angewandten Mathematik und Mechanik 38 (1979).
Bertoni, A., Mauri, G. and Sabadini, N., Membership problems for regular and context-free trace languages. Inform. Comput. 82 (1989) 135–150. Google Scholar
H. Bordihn, M. Holzer and M. Kutrib, Input reversals and iterated pushdown automata: a new characterization of Khabbaz geometric hierarchy of languages, in Proc. of DLT 2004, edited by C.S. Calude, E. Calude and M.J. Dinneen. Lect. Notes Comput. Sci. 3340 (2004) 102–113.
P. Cartier and D. Foata, Problèmes Combinatoires de Commutation et Réarrangements. Lect. Notes Comput. Sci. 85 (1969).
E. Csuhaj-Varjú, J. Dassow, J. Kelemen and G. Păun, Grammar Systems. A Grammatical Approach to Distribution and Cooperation, edited by Gordon and Breach. London (1994).
E. Csuhaj-Varjú, C. Martín-Vide and V. Mitrana, Multiset automata, in Multiset Processing, edited by C.S. Calude, G. Păun, G. Rozenberg and A. Salomaa. Lect. Notes Comput. Sci. 2235 (2001) 69–83.
V. Diekert and G. Rozenberg Eds., The Book of Traces. World Scientific, Singapore (1995).
B. Genest, H. Gimbert, A. Muscholl and I. Walukiewicz, Optimal Zielonka-type construction of deterministic asynchronous automata, in Proc. of ICALP 2010, Part. II, edited by S. Abramsky, C. Gavoille, C. Kircher, F. Meyer auf der Heide and P.G. Spirakis. Lect. Notes Comput. Sci. 6199 (2010) 52–63.
M. Harrison, Introduction to Formal Language Theory. Addison-Wesley, Reading, MA (1978).
J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA (1979).
P. Jančar, F. Mráz, M. Plátek and J. Vogel, Restarting automata, in Proc. of FCT 1995, edited by H. Reichel. Lect. Notes Comput. Sci. 965 (1995) 283–292.
P. Jančar, F. Moller and Z. Sawa, Simulation problems for one-counter machines, in Proc. of SOFSEM’99, edited by J. Pavelka, G. Tel and M. Bartošek. Lect. Notes Comput. Sci. 1725 (1999) 404–413.
Kudlek, M., Totzke, P. and Zetzsche, G., Multiset pushdown automata. Fund. Inform. 93 (2009) 221–233. Google Scholar
M. Kutrib, H. Messerschmidt and F. Otto, On stateless two-pushdown automata and restarting automata, in Proc. of AFL 2008, edited by E. Csuhaj-Varjú and Z. Ésik. Hungarian Academy of Sciences (2008) 257–268.
Kutrib, M., Messerschmidt, H. and Otto, F., On stateless two-pushdown automata and restarting automata. Int. J. Found. Comput. Sci. 21 (2010) 781–798. Google Scholar
A. Mazurkiewicz, Concurrent program schemes and their interpretations, DAIMI Rep. PB. Aarhus University, Aarhus 78 (1977).
Messerschmidt, H. and Otto, F., Cooperating distributed systems of restarting automata. Int. J. Found. Comput. Sci. 18 (2007) 1333–1342. Google Scholar
Messerschmidt, H. and Otto, F., On deterministic CD-systems of restarting automata. Int. J. Found. Comput. Sci. 20 (2009) 185–209. Google Scholar
B. Nagy and F. Otto, CD-systems of stateless deterministic R(1)-automata accept all rational trace languages, in Proc. of LATA 2010, edited by A.H. Dediu, H. Fernau and C. Martin-Vide. Lect. Notes Comput. Sci. 6031 (2010) 463–474.
B. Nagy and F. Otto, On CD-systems of stateless deterministic R-automata with window size one. Kasseler Informatikschriften, Fachbereich Elektrotechnik/Informatik, Universität Kassel (2010). https://kobra.bibliothek.uni-kassel.de/handle/urn:nbn:de:hebis:34-2010042732682
B. Nagy and F. Otto, An automata-theoretical characterization of context-free trace languages, in Proc. of SOFSEM 2011: Theory and Practice of Computer Science, edited by I. Černá, T. Gyimóthy, J. Hromkovič, K. Jefferey, R. Královič, M. Vukolič and S. Wolf. Lect. Notes Comput. Sci. 6543 (2011) 406–417.
B. Nagy and F. Otto, Finite-state acceptors with translucent letters, in Proc. of BILC 2011: AI Methods for Interdisciplinary Research in Language and Biology, edited by G. Bel-Enguix, V. Dahl and A.O. De La Puente. SciTePress, Portugal (2011) 3–13.
F. Otto, Restarting automata, in Recent Advances in Formal Languages and Applications, Studies in Computational Intelligence, edited by Z. Ésik, C. Martin-Vide and V. Mitrana. 25 (2006) 269–303.
Zielonka, W., Note on finite asynchronous automata. RAIRO–Inf. Theor. Appl. 21 (1987) 99–135. Google Scholar