Abstract
It is well known that the family of context-sensitive grammars generate languages which are not context-free and that it is undecidable whether a context-sensitive grammar generates a context-free language. However, the mechanism by which the use of context allows a non-context-free language to be generated is not well understood. In this paper we attempt to focus on this problem by surveying some of the results which speak to two questions: (i) What constraints can be placed on the form of the rules of context-sensitive grammars without restricting the weak generative capacity? (ii) What (nontrivial) constraints can be placed on the form of the rules of context-sensitive grammars such that only context-free languages will be generated?
Similar content being viewed by others
References
S. Abraham, “Some questions of phrase-structure grammars,”Comp. Linguistics 4:61–70 (1965).
B. Baker, “Arbitrary grammars generating context-free languages,”Info. and Control, to appear.
D. Benson, “Syntax and semantics: a categorical view,”Info. and Control 17:145–160 (1970).
R. Book, “Time-bounded grammars and their languages,”J. Computer and System Sci. 5:397–429 (1971).
R. Book, “Terminal context in context-sensitive grammars,”SIAM J. Computing 1:20–30 (1972).
N. Chomsky, “Formal properties of grammars,” inHandbook of Mathematical Psychology, Vol. II, R. D. Luce, Bush, and Galanter, Eds. (Wiley, New York, 1963).
R. Evey, “The theory and application of pushdown store machines,” Ph.D. Dissertation, Harvard Univ., 1963; appears as “Math. Linguistics and Automatic Translation,” NSF-10 (1963), Computation Lab., Harvard Univ., Cambridge, Mass.
S. Ginsburg,The Mathematical Theory of Context-Free Languages (McGraw-Hill, New York, 1966).
S. Ginsburg and S. A. Greibach, “Mappings which preserve context-sensitive languages,”Info. and Control 9:563–582 (1966).
S. Ginsburg and S. A. Greibach, “Abstract families of languages,”Memoir, Am. Math. Soc. 87:1–32 (1969).
A. Gladkii, “Grammars with linear memory” (in Russian),Algebri i Logika Sem. 2:43–55 (1963).
A. Gladkii, “On the complexity of derivations in phrase-structure grammars” (in Russian),Algebri i Logika Sem. 3:29–44 (1964).
T. Griffiths, “Some remarks on derivations in general rewriting systems,”Info. and Control 12:27–54 (1968).
L. Haines, “Representation theorems for context-sensitive languages,” unpublished manuscript.
M. Harrison, “On the relation between grammars and automata,” inInformation Systems Science, Vol. 4, J. Tou, Ed. (Plenum, New York, 1972), pp. 39–92.
M. Harrison and M. Schkolnick, “A grammatical characterization of one-way nondeterministic stack languages,”J. ACM 18:148–172 (1971).
T. Hibbard, “Scan-limited automata and context-limited grammars,” Ph.D. Dissertation, Univ. of California, Los Angeles, 1966.
S.-Y. Kuroda, “Classes of languages and linear-bounded automata,”Info. and Control 7:207–223 (1964).
G. H. Matthews, “A note on asymmetry in phrase-structure grammars,”Info. and Control 7:360–365 (1964).
G. H. Matthews, “Two-way languages,”Info. and Control 10:111–119 (1967).
D. Rosenkrantz, “Programmed grammars and classes of formal languages,”J. ACM 16:107–131 (1969).
A. Salomaa, “On grammars with restricted use of productions,”Ann. Acad. Sci. Fenn., Ser. A 1969, No. 454.
A. Salomaa, “On some families of formal languages obtained by regulated derivations,”Ann. Acad. Sci. Fenn., Ser. A 1970, No. 479.
W. Savitch, “Normal form theorems for phrase structure grammars,” Presented atSixth Princeton Conf. on Info. Sci. and Systems, 1972.
W. Sillars, “Formal properties of essentially context-dependent languages,” Ph.D. Dissertation, Pennsylvania State Univ., 1968.
J. Thatcher, “Characterizing derivation trees of context-free grammars through a generalization of finite automata theory,”J. Computer and System Sci. 1:317–322 (1967).
B. Wegbreit, “A generator of context-sensitive languages,”J. Computer and System Sci. 3:456–461 (1969).
A. Aho, “Indexed grammars—An extension of context-free grammars,”J. ACM 15:647–671 (1968).
M. Fischer, “Grammars with macrolike productions,” Ph.D. Dissertation, Harvard Univ., Cambridge, Massachusetts, 1968.
Author information
Authors and Affiliations
Additional information
The preparation of this paper was supported in part by the National Science Foundation under Grants NSF-GJ-30409 and GS-803, by the National Aeronautics and Space Administration under Grant NGR-22-007-176, and by the 1972 Advanced Research Workshop on Tree Mappings, MSSB, Center for Advanced Study in the Behavioral Sciences.
Rights and permissions
About this article
Cite this article
Book, R.V. On the structure of context-sensitive grammars. International Journal of Computer and Information Sciences 2, 129–139 (1973). https://doi.org/10.1007/BF00976059
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00976059