Natural languages and context-free languages

In his 1956 paper ‘Three Models for the Description of Language’ Noam Chomsky posed an interesting open question: when we consider the human languages purely as sets of strings of words (henceforth stringsets), do they always fall within the class called context-free languages (CFL’s)? Chomsky declared that he did not know the answer to this question, and turned to a very different set of questions concerning relative elegance and economy of different types of description. Since 1956 various authors (Chomsky included) have attempted to provide answers in the negative, and the negative answer is now the standardly accepted one. We take up the question again in this paper, and show that it is still open, as all the arguments for the negative answer that have been provided in the literature are either empirically or formally incorrect.

[1]  Floyd G. Lounsbury,et al.  Oneida verb morphology , 1953 .

[2]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[3]  Eugene Galanter,et al.  Handbook of mathematical psychology: I. , 1963 .

[4]  Yehoshua Bar-Hillel,et al.  Language and Information , 1964 .

[5]  J. Fodor,et al.  The Structure of Language: Readings in the Philosophy of Language , 1966 .

[6]  P. A. Reich The Finiteness of Natural Language , 1969 .

[7]  Emmon W. Bach,et al.  Universals in Linguistic Theory , 1970 .

[8]  Terry Winograd,et al.  Understanding natural language , 1974 .

[9]  Benoît de Cornulier But if “respectively”; meant something? , 1973 .

[10]  John P. Kimball,et al.  The Formal Theory of Grammar , 1973 .

[11]  Richard Timon Daly,et al.  Applications of the mathematical theory of linguistics , 1974 .

[12]  Robert D. Rodman,et al.  An Introduction to Language , 1984 .

[13]  F. Heny,et al.  An Introduction to the Principles of Transformational Syntax , 1975 .

[14]  H. Woodbury Onondaga Noun Incorporation: Some Notes on the Interdependence of Syntax and Semantics , 1975, International Journal of American Linguistics.

[15]  G. Sampson The form of language , 1975 .

[16]  J. Fodor The Language of Thought , 1980 .

[17]  W. Lehmann,et al.  Studies in descriptive and historical linguistics : festschrift for Winfred P. Lehmann , 1977 .

[18]  Noam Chomsky,et al.  On Wh-Movement , 1977 .

[19]  J. Elster Logic And Society , 1978 .

[20]  S. Pinker Formal models of language learning , 1979, Cognition.

[21]  G. Sampson A non-nativist account of language universals , 1979 .

[22]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[23]  Paul Martin Postal,et al.  Some syntactic rules in Mohawk , 1979 .

[24]  James R. Hurford,et al.  Generative growing pains , 1980 .

[25]  J. Elster Logic and society : contradictions and possible worlds , 1980 .

[26]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[27]  M. Mithun,et al.  Northern Iroquoian Texts , 1980 .

[28]  David E. Johnson,et al.  Arc Pair Grammar , 1980 .

[29]  Gerald Gazdar,et al.  Unbounded Dependencies and Coordinate Structure , 1981 .

[30]  Noam Chomsky,et al.  Lectures on Government and Binding , 1981 .

[31]  Gerald Gazdar,et al.  Phrase Structure Grammar , 1982 .

[32]  G. Miller,et al.  Linguistic theory and psychological reality , 1982 .

[33]  I. Sag,et al.  Auxiliaries and related phenomena in a restrictive theory of grammar , 1982 .

[34]  Geoffrey K. Pullum,et al.  The nature of syntactic representation , 1982 .

[35]  K. W. Church On memory limitations in natural language processing , 1982 .