Abstract
It is known that Ogden lemma fails for the class of k-well-nested multiple context-free languages for \(k \ge 3\). In this article we prove a relaxed version of this lemma for linear well-nested MCFLs and show that its statement may be applied to generate counterexamples of linear well-nested MCFLs by the method already existing for the stronger variant.
The work was partly supported by the grant NSh-1423.2014.1 “Mathematical logic and algorithm theory.”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Following the Russian tradition, the author prefers the term “linear” to “non-branching”. However, he acknowledges the extreme ambiguity of this term. May be, some other term should be more proper.
- 2.
In [10] a more narrow definition of direct descendance was used. However, all the arguments of that paper are still valid for current definition.
References
Joshi, A.K.: Tree adjoining grammars: how much context-sensitivity is required to provide reasonable structural descriptions? University of Pennsylvania, Moore School of Electrical Engineering, Department of Computer and Information Science (1985)
Kanazawa, M.: The pumping lemma for well-nested multiple context-free languages. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 312–325. Springer, Heidelberg (2009)
Kanazawa, M.: The failure of Ogdens lemma for well-nested multiple context-free grammars (2014). http://research.nii.ac.jp/~kanazawa/publications/ogden.pdf
Kanazawa, M., Salvati, S.: MIX is not a tree-adjoining language. In: Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers, vol. 1, Association for Computational Linguistics, pp. 666–674 (2012)
Ogden, W.: A helpful result for proving inherent ambiguity. Theory Comput. Syst. 2(3), 191–194 (1968)
Palis, M.A., Shende, S.M.: Pumping lemmas for the control language hierarchy. Math. Syst. Theory 28(3), 199–213 (1995)
Shieber, S.M.: Evidence against the context-freeness of natural language. In: Savitch, W.J., Bach, E., Marsh, W., Safran-Naveh, G. (eds.) The Formal Complexity of Natural Language, pp. 320–334. Springer, Heidelberg (1987)
Sorokin, A.: Normal forms for multiple context-free languages and displacement lambek grammars. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 319–334. Springer, Heidelberg (2013)
Sorokin, A.: Monoid automata for displacement context-free languages. In: Colinet, M., Katrenko, S., Rendsvig, R.K. (eds.) ESSLLI 2012/2013. LNCS, vol. 8607, pp. 154–173. Springer, Heidelberg (2014)
Sorokin, A.: Pumping lemma and ogden lemma for displacement context-free grammars. In: Shur, A.M., Volkov, M.V. (eds.) DLT 2014. LNCS, vol. 8633, pp. 154–165. Springer, Heidelberg (2014)
Sorokin, A.: Normal forms for linear displacement context-free grammars (2015). http://arxiv.org/abs/1507.08600
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Sorokin, A. (2016). Ogden Property for Linear Displacement Context-Free Grammars. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2016. Lecture Notes in Computer Science(), vol 9537. Springer, Cham. https://doi.org/10.1007/978-3-319-27683-0_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-27683-0_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27682-3
Online ISBN: 978-3-319-27683-0
eBook Packages: Computer ScienceComputer Science (R0)