The class of languages expressible as the intersection ofk context-free languages is shown to be properly contained within the class of languages expressible as the intersection ofk + 1 context-free languages. Hence an infinite hierarchy of classes of languages is exhibited between the class of context-sensitive languages and the class of context-free languages.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Y. Bar-Hillel, M. Perles andE. Shamir, On formal properties of simple phrase structure grammars,Z. Phonetik Sprachwiss. Kommunikat. 14 (1961), 142–172.
N. Chomsky andM. P. Schützenberger, The algebraic theory of context-free languages,Computer Programming and Formal Systems, North Holland, Amsterdam, 1963, pp. 118–161.
J. Evey, “The Theory and Application of Pushdown Store Machines”, Harvard University Doctoral Thesis, 1963.
S. Ginsburg,The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966.
S. Ginsburg andE. H. Spanier, Bounded ALGOL-like languages,Trans. Amer. Math. Soc. 113 (1964), 333–368.
S. Ginsburg andE. H. Spanier, Semigroups, Presburger formulas and languages,Pacific J. Math. 16 (1966), 285–296.
S. Y. Kuroda, Classes of languages and linear bounded automata,Information and Control 7 (1964), 207–223.
J. Myhill, “Linear bounded automata”,WADD Tech. Note, No. 60-165 Wright Patterson Air Force Base, Ohio, 1960.
R. J. Parikh, “Language generating devices”, M.I.T. Res. Lab. Electron Quart Prog. Rept. 60, 1961, pp. 199–212.
Leonard Y. Liu, “Finite-Reversal Pushdown Automata,” Ph.D. Dissertation, Princeton University, 1968, pp. 62–63.
About this article
Cite this article
Liu, L.Y., Weiner, P. An infinite hierarchy of intersections of context-free languages. Math. Systems Theory 7, 185–192 (1973). https://doi.org/10.1007/BF01762237
- Computational Mathematic
- Infinite Hierarchy