Abstract
Various restrictions on transformational grammars have been investigated in order to reduce their generative power from recursively enumerable languages to recursive languages.
It will be shown that any restriction on transformational grammars defining a recursively enumerable subset of the set of all transformational grammars, is either too weak (in the sense that there does not exist a general decision procedure for all languages generated under such a restriction) or too strong (in the sense that there exists a recursive language that cannot be generated by any transformational grammar thus restricted). In addition, some related problems will be discussed.
Similar content being viewed by others
References
Chomsky, N.: 1965, Aspects of the Theory of Syntax, MIT Press, Cambridge, Mass.
Dekker, J. C. E.: 1953, ‘The Constructivity of Maximal Dual Ideals in Certain Boolean Algebras’, Pacific Journal of Mathematics 3, 73–101.
Van Emde Boas, P. and Vitányi, P. M. B.: 1975, A Note on the Recursive Enumerability of Some Classes of Recursively Enumerable Languages (= M.C. Report IW 37/75).
Ginsburg, S. and Partee, B.: 1969, ‘A Mathematical Model of Transformational Grammars’, Information and Control 15, 297–334.
PetersJr., P. S. and Ritchie, R. W.: 1971, ‘On Restricting the Base Component of Transformational Grammars’, Information and Control 18, 483–501.
PetersJr., P. S. and Ritchie, R. W.: 1973, ‘On the Generative Power of Transformational Grammars’, Information Sciences 6, 49–83.
Putnam, H.: 1961, ‘Some Issues in the Theory of Grammar’, In Roman, Jacobson (ed.), Proc. Symp. in Appl. Mathematics, Vol. XII: The Structure of Language and its Mathematical Aspects, A.M.S., Providence, R.I.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Janssen, T., Kok, G. & Meertens, L. On restrictions on transformational grammars reducing the generative power. Linguistic and Philosophy 1, 111–118 (1977). https://doi.org/10.1007/BF00351939
Issue Date:
DOI: https://doi.org/10.1007/BF00351939