Abstract
The ability of context-sensitive grammars togenerate non-context-free languages is well known. However, phrase-structure rules are often used in both natural and artificial languages, not to generate sentences, but rather toanalyze or parse given putative sentences. Linguistic arguments have been advanced that this is the more fruitful use of CS rules for natural languages, and that, further, it is the purported phrasestructure tree which is presented and analyzed, rather than merely the terminal string itself. In this interpretation, for example the rules {S → AB, A → a/__b, B → b/ a__} “parse” the sentenceab for they “analyze” the tree represented by the labeled bracketing [S[Aa]A[Bb]B]S, even though these rules do not generateab when interpreted as a CS grammar.
We shall say that a languageL is parsed by the finite setR of context-sensitive rules ifL consists of the terminal strings of trees analyzed byR. An actual parsing of an artificial language might be obtained, for example, by using a standard “parsing algorithm” for the associated CF grammar (obtained by deleting all contexts from rules) to generate putative trees and then analyzing these trees with the given CS grammar. In this paper, a language is shown to becontext-free if and only if there is a finite set ofcontext-sensitive rules which parse this language; i.e., if and only if there is a collection of trees whose terminal strings are the sentences of this language and a finite set of CS rules which analyze exactly these trees.
Similar content being viewed by others
References
Noam Chomsky, On certain formal properties of grammars,Information and Control 2 (1959), 137–167.
Noam Chomsky, Three models for the description of language,IRE Trans. Information Theory 2 (1956), 113–124.
Michael A. Harrison,Introduction to Switching and Automata Theory, McGraw-Hill, New York, 1965.
James D. McCawley, Concerning the base component of a transformational grammar,Foundations of Language 4 (1968), 55–81.
P. Stanley Peters, Jr., andR. W. Ritchie, On the generative power of transformational grammars,Information Sci., to appear.
W. C. Rounds, Tree-oriented proofs of some theorems on context-free and indexed languages,Second ACM Symposium on Theory of Computing, May 1970, pp. 109–116.
J. W. Thatcher, There's a lot more to finite automata theory than you would have thought,Fourth Princeton Conference on Information Sciences and Systems, April 1970, pp. 263–276.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Peters, P.S., Ritchie, R.W. Context-sensitive immediate constituent analysis: Context-free languages revisited. Math. Systems Theory 6, 324–333 (1972). https://doi.org/10.1007/BF01740724
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01740724