Abstract
We study several extensions of the notion of alternation from context-free grammars to context-sensitive and arbitrary phrase-structure grammars. Thereby new grammatical characterizations are obtained for the class of languages that are accepted by alternating pushdown automata.
Major parts of this work were done while Etsuro Moriya was visiting at the Fachbereich Elektrotechnik/Informatik, Universität Kassel.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buntrock, G., Otto, F.: Growing context-sensitive languages and Church-Rosser languages. Information and Computation 141, 1–36 (1998)
Chandra, A.K., Stockmeyer, L.J.: Alternation. In: Proc. 17th FOCS, pp. 98–108. IEEE Computer Society Press, Los Alamitos (1976)
Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of the Association for Computing Machinery 28, 114–133 (1981)
Chen, Z.Z., Toda, S.: Grammatical characterizations of P and PSPACE. IEICIE Transactions on Information and Systems E 73, 1540–1548 (1990)
Dahlhaus, E., Warmuth, M.: Membership for growing context-sensitive grammars is polynomial. Journal of Computer and System Sciences 33, 456–472 (1986)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Ibarra, O.H., Jiang, T., Wang, H.: A characterization of exponential-time languages by alternating context-free grammars. Theoretical Computer Science 99, 301–313 (1992)
Kasai, T.: An infinite hierarchy between context-free and context-sensitive languages. Journal of Computer and Systems Sciences 4, 492–508 (1970)
Ladner, R.E., Lipton, R.J., Stockmeyer, L.J.: Alternating pushdown automata. In: Proc. 19th FOCS. IEEE Computer Society Press, Los Alamitos (1978)
Ladner, R.E., Lipton, R.J., Stockmeyer, L.J.: Alternating pushdown and stack automata. SIAM Journal on Computing 13, 135–155 (1984)
Mateescu, A., Salomaa, A.: Aspects of classical language theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages. Word, Language, Grammar, vol. 1, pp. 175–251. Springer, Berlin (1997)
Matthews, G.: A note on symmetry in phrase structure grammars. Information and Control 7, 360–365 (1964)
Moriya, E.: A grammatical characterization of alternating pushdown automata. Theoretical Computer Science 67, 75–85 (1989)
Moriya, E., Hofbauer, D., Huber, M., Otto, F.: On state-alternating context-free grammars. Theoretical Computer Science 337, 183–216 (2005)
Moriya, E., Nakayama, S.: Grammatical characterizations of alternating pushdown automata and linear bounded automata. Gakujutsu Kenkyu, Series of Math., vol. 45, pp. 13–24. School of Education, Waseda Univ. (1997) (in Japanese)
Moriya, E., Otto, F.: Two ways of introducing alternation into context-free grammars and pushdown automata. IEICIE Transactions on Information and Systems E 90- D, 889–894 (2007)
Moriya, E., Otto, F.: On alternating non-context-free gammars. Kasseler Informatik Schriften 2007, 6. Fachbereich Elektrotechnik/Informatik, Universität Kassel (2007), https://kobra.bibliothek.uni-kassel.de/handle/urn:nbn:de:hebis:34-2007110719587
Okhotin, A.: Conjunctive grammars. Journal of Automata, Languages and Combinatorics 6, 519–535 (2001)
Otto, F., Moriya, E.: Shrinking alternating two-pushdown automata. IEICIE Transactionns on Information and Systems E 87- D, 959–966 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moriya, E., Otto, F. (2008). On Alternating Phrase-Structure Grammars. In: Martín-Vide, C., Otto, F., Fernau, H. (eds) Language and Automata Theory and Applications. LATA 2008. Lecture Notes in Computer Science, vol 5196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88282-4_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-88282-4_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88281-7
Online ISBN: 978-3-540-88282-4
eBook Packages: Computer ScienceComputer Science (R0)