Well-Nestedness Properly Subsumes Strict Derivational Minimalism

Minimalist grammars (MGs) constitute a mildly context-sensitive formalism when being equipped with a particular locality condition (LC), the shortest move condition. In this format MGs define the same class of derivable string languages as multiple context-free grammars (MCFGs). Adding another LC to MGs, the specifier island condition (SPIC), results in a proper subclass of derivable languages. It is rather straightforward to see this class is embedded within the class of languages derivable by some well-nested MCFG (MCFGwn). In this paper we show that the embedding is even proper. We partially do so adapting the methods used in [13] to characterize the separation of MCFGwn- languages from MCFG-languages by means of a "simple copying" theorem. The separation of strict derivational minimalism from well-nested MCFGs is then characterized by means of a "simple reverse copying" theorem. Since for MGs, well-nestedness seems to be a rather ad hoc restriction, whereas for MCFGs, this holds regarding the SPIC, our result may suggest we are concerned here with a structural difference between MGs and MCFGs which cannot immediately be overcome in a nonstipulated manner.

[1]  Jens Michaelis.  An Additional Observation on Strict Derivational Minimalism , 2009 .

[2]  Edward P. Stabler,et al.  Structural similarity within and among languages , 2003, Theor. Comput. Sci..

[3]  Jens Michaelis,et al.  Observations on Strict Derivational Minimalism , 2004, Electron. Notes Theor. Comput. Sci..

[4]  Edward P. Stabler,et al.  Derivational Minimalism , 1996, LACL.

[5]  Noam Chomsky.  Derivation by phase , 1999 .

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

[7]  Edward P. Stabler,et al.  Computational Perspectives on Minimalism , 2011 .

[8]  Sylvain Salvati,et al.  Minimalist Grammars in the Light of Logic , 2011, Logic and Grammar.

[9]  Makoto Kanazawa,et al.  The Copying Power of Well-Nested Multiple Context-Free Grammars , 2010, LATA.

[10]  Gosse Bouma,et al.  Constraints and resources in Natural Language Syntax and Semantics , 1999 .

[11]  Henk Harkema,et al.  A Characterization of Minimalist Languages , 2001, LACL.

[12]  Los Angeles,et al.  Generating Copies: An investigation into structural identity in language and grammar , 2006 .

[13]  Jens Michaelis,et al.  A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars , 2005, LACL.

[14]  Aravind K. Joshi,et al.  Natural language parsing: Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions? , 1985 .

[15]  David J. Weir,et al.  Characterizing Structural Descriptions Produced by Various Grammatical Formalisms , 1987, ACL.

[16]  Joost Engelfriet,et al.  Tree transducers, L systems and two-way machines (Extended Abstract) , 1978, J. Comput. Syst. Sci..

[17]  Edward P. Stabler,et al.  Recognizing Head Movement , 2001, LACL.

[18]  Wojciech Rytter,et al.  On the Maximal Number of Cubic Runs in a String , 2010, LATA.

[19]  Giorgio Satta,et al.  Independent Parallelism in Finite Copying Parallel Rewriting Systems , 1999, Theor. Comput. Sci..

[20]  Jens Michaelis,et al.  Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars , 2001, LACL.

[21]  Tadao Kasami,et al.  On Multiple Context-Free Grammars , 1991, Theor. Comput. Sci..

[22]  Noam Chomsky,et al.  The Minimalist Program , 1992 .

[23]  David R. Dowty,et al.  Natural Language Parsing , 2005 .

[24]  Edward P. Stabler,et al.  Remnant movement and complexity , 2000 .

[25]  Marcus Kracht,et al.  The mathematics of language , 2003 .

[26]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[27]  Martha Craven Nussbaum,et al.  Language and Logos: Bibliography of the publications of G. E. L. Owen , 1981 .

[28]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[29]  Jens Michaelis,et al.  On Formal Properties of Minimalist Grammars , 2001 .

[30]  Uwe Mönnich.  Some Remarks on Mildly Context-Sensitive Copying , 2010 .

[31]  Jens Michaelis,et al.  Derivational Minimalism Is Mildly Context-Sensitive , 1998, LACL.

[32]  Jens Michaelis,et al.  Some Remarks on Locality Conditions and Minimalist Grammars , 2007 .

[33]  Gregory M. Kobele,et al.  Two Type 0-Variants of Minimalist Grammars , 2009 .