an introduction to minimalist grammars: formalism · 1997, 1999) as a formalization of...
TRANSCRIPT
![Page 1: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/1.jpg)
An Introduction to Minimalist Grammars:
Formalism
(July 20, 2009)
Gregory Kobele
Humboldt Universitat zu Berlin
University of Chicago
Jens Michaelis
Universitat Bielefeld
![Page 2: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/2.jpg)
Introduction
Research on natural language syntax in terms of transformational
grammar (TG) has always been accompanied by questions on the
complexity of the individual grammars allowed by the general theory.
From the perspective of formal language theory, special emphasis
has more generally been placed on two specific aspects:
a) the location within the Chomsky hierarchy of any grammars
supposed to be adequate models for natural languages,
b) the complexity of the parsing problem for such grammars.
![Page 3: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/3.jpg)
Introduction
Chomsky hierarchy
regular
context-free
context-sensitive
recursively enumerable
![Page 4: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/4.jpg)
Introduction
Peters and Ritchie (1971, 1973) proved the Aspects-model
of TG (Chomsky 1965) to be Turing equivalent.
⇒ For every recursively enumerable set (i.e., type 0-language),
there is a particular Aspects-grammar deriving it.
Subsequently, locality conditions (LCs) — established in Ross 1967
and Chomsky 1973, 1977 — were studied intensively in work
by many others searching for ways to reduce expressive power.
See, e.g., Huang (1982), Chomsky (1986), Rizzi (1990), Cinque
(1991), Manzini (1992), Müller & Sternefeld (1993), Szabolcsi &
Zwarts (1993).
![Page 5: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/5.jpg)
Introduction
Complexity results, however, have been largly absent for those
grammars with LC-add-ons. (Notable exception: Rogers 1998.)
The picture changed with minimalist grammars (MGs) (Stabler
1997, 1999) as a formalization of “minimalism” (Chomsky 1995).
MGs in that format constitute a mildly context-sensitive grammar
formalism in the sense of Joshi 1985 (Michaelis 1998, 2001).
Two crucial features of MGs helped achieving this result:
– the resource sensitivity (encoded in the checking mechanism),
– the implementation of the shortest move condition (SMC).
![Page 6: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/6.jpg)
Mild context-sensitivity (Joshi 1985)
A concept motivated by the intention of characterizing a narrow
class of formal grammars which are
– “only slightly more powerful than context-free grammars,”
– nevertheless allowing for natural language descriptions in a
linguistically significant way.
A mildly context-sensitive grammar (MCSG) fulfills three criteria,
understood as a “rough characterization” (cf. Joshi 1985, p. 225).
1) Parsing problem is solvable in polynomial time.
2) Language has the constant growth property.
3) Finite upper bound on the number of different instantiations of
factorized cross-serial dependencies occurring in any sentence.
![Page 7: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/7.jpg)
Mild context-sensitivity (Joshi 1985)
A concept motivated by the intention of characterizing a narrow
class of formal grammars which are
– “only slightly more powerful than context-free grammars,”
– nevertheless allowing for natural language descriptions in a
linguistically significant way.
A mildly context-sensitive grammar (MCSG) fulfills three criteria,
understood as a “rough characterization” (cf. Joshi 1985, p. 225).
1) Parsing problem is solvable in polynomial time.
2) Language has the constant growth property.
3) Finite upper bound on the number of different instantiations of
factorized cross-serial dependencies occurring in any sentence.
![Page 8: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/8.jpg)
MCSG-landscape
MCSG
MG(-SMC,+/-SPIC)
Lexical Functional Grammar
Indexed GrammarNNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNNNNNNNN
NNN
NNN
NNN
NNN
NNNLinear Context-FreeRewriting Systems
MG(+SMC,-SPIC)
MG(+SMC,+SPIC)
Linear Indexed Grammar
Tree Adjoining Grammar
CombinatoryCategorial Grammar
Context-Free Grammar(GPSG)
![Page 9: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/9.jpg)
MCSG-landscape
MCSG
MG(-SMC,+/-SPIC)
Lexical Functional Grammar
Indexed GrammarNNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNNNNNNNN
NNN
NNN
NNN
NNN
NNNLinear Context-FreeRewriting Systems
MG(+SMC,-SPIC)
MG(+SMC,+SPIC)
Linear Indexed Grammar
Tree Adjoining Grammar
CombinatoryCategorial Grammar
Context-Free Grammar(GPSG)
![Page 10: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/10.jpg)
Minimalist grammars (1)
Minimalist grammars (MGs) provide an attempt at a rigorous
algebraic formalization (of some) of the perspectives adopted in
the minimalist branch of generative grammar.
Work on MGs defined in this sense can be seen as having led
to a realignment of “grammars found ‘useful’ by linguists” and
formal complexity theory.
![Page 11: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/11.jpg)
Two types of locality conditions (LCs)
In particular, a study in terms of MGs can enhance our
understanding of the complexity/restrictiveness of LCs.
In fact, such a study shows that, though the addition of an LC may
reduce complexity in an appropriate and intuitively natural way, it
does not necessarily do so, and may even increase complexity.
One can formally distinguish two types of LCs.
![Page 12: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/12.jpg)
Two types of locality conditions (LCs)
Intervention-based LCs (ILCs)
• often in terms of minimality constraints, such as
minimal link, minimal chain, shortest move, attract closest etc.
in MGs: shortest move condition (SMC) (Stabler 1997, 1999)
Containment-based LCs (CLCs)
• often in terms of (generalized) grammatical functions, such as
adjunct islands, specifier islands, subject island etc.
in MGs: specifier island condition (SPIC) (Stabler 1999)
in MGs: adjunct island condition (AIC)
(Frey & Gärtner 2002, Gärtner & Michaelis 2003)
![Page 13: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/13.jpg)
Two types of locality conditions (LCs)
Intervention-based LCs (ILCs)
• often in terms of minimality constraints
essential structure: [ . . . α . . . [ . . . β . . . γ . . . ] ]
Containment-based LCs (CLCs)
• often in terms of (generalized) grammatical functions
essential structure: [ . . . α . . . [β
. . . γ . . . ] ]
![Page 14: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/14.jpg)
Minimalist grammars (1)
More generally, MGs are capable of integrating (if needed) a
variety of (arguably) “odd” items from the syntactician’s toolbox
such as:
• head movement (Stabler 1997, 2001)
• (strict) remnant movement (Stabler 1997, 1999)
• affix hopping (Stabler 2001)
• adjunction and scrambling (Frey & Gärtner 2002)
• late adjunction and extraposition (Gärtner & Michaelis 2003)— to some extent without rise in generative power
• copy-movement (Kobele 2006)
• wh-clustering (Gärtner & Michaelis 2007)
![Page 15: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/15.jpg)
Minimalist expressions
The objects generated by an MG are called minimalist expressions.
![Page 16: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/16.jpg)
Minimalist expressions
Not: DP
D’
D
the
NP
N’
N
idea
Not: the
the idea
But: <
D .the idea
The < “points towards” the projecting daughter,
and thus — by means of transitivity — towards
the head of the phrase.
![Page 17: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/17.jpg)
Minimalist expressions
finite, binary labeled trees such that . . .
• non-leaf-labels are from < , > [ “projection” ]
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 18: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/18.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
finite, binary labeled trees such that . . .
• non-leaf-labels are from < , > [ “projection” ]
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 19: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/19.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
maximal projections :
each subtree whose root does not project
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 20: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/20.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
maximal projections :
each subtree whose root does not project
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 21: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/21.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
maximal projections :
each subtree whose root does not project
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 22: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/22.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
maximal projections :
each subtree whose root does not project
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 23: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/23.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
maximal projections :
each subtree whose root does not project
>
<
α1 α2
<
κ >
β1
<
β2 β3
![Page 24: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/24.jpg)
Minimalist expressions
< “left daughter projects”
> “right daughter projects”
>
specifier >
specifier >
specifier <
head
complement
![Page 25: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/25.jpg)
Minimalist expressions
Vocabulary (terminals)
SynFeatures (syntactic features)
>
< <
>
<
finite, binary labeled trees such that . . .
• non-leaf-labels are from < , > [ “projection” ]
![Page 26: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/26.jpg)
Minimalist expressions
Vocabulary (terminals)
SynFeatures (syntactic features)
>
< <
>
f1f2 . . .fk .v1 . . .vm <
finite, binary labeled trees such that . . .
• leaf-labels are from SynFeatures∗
.Vocabulary∗
![Page 27: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/27.jpg)
Minimalist expresssions (displaying feature f )
< “left daughter projects”
> “right daughter projects”
>
>
>
<
f . . .
tree displays feature f :⇐⇒ head-label is of the form f . . .
![Page 28: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/28.jpg)
Minimalist expresssions (syntactic features)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
=x , =y , =z , . . .
-x , -y , -z , . . .
+x , +y , +z , . . .
[ Base ]
[ Selectors ]
[ Licensees ]
[ Licensors ]
![Page 29: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/29.jpg)
Minimalist expresssions (examples)
(a) =d .=d .v .like (b) <
=d .v .like <
-wh .which book
(c) d .she (d) <
+wh .c .did >
she <
like <
-wh .which book
![Page 30: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/30.jpg)
Building minimalist expressions
Starting from a finite set of simple expressions (a lexicon),
minimalist expressions can be built up recursively
– by applying structure building functions
checking off instances of syntactic features “from left to right,”
where, after having applied a structure building function, the
triggering feature instances are canceled.
Different types of syntactic features trigger different structure
building functions.
![Page 31: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/31.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
〈φ ,ψ〉 ∈ Domain(merge) :⇐⇒
• ψ displays feature f ∈ Base
• φ displays feature =f ∈ Selectors
![Page 32: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/32.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
=f ...
φ
f ...
ψ
![Page 33: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/33.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
=f ...
φ
f ...
ψ
selecting φ complexselecting φ simple
![Page 34: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/34.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
=f ...
φ
f ...
ψ
selecting φ complexselecting φ simple
<
=f ...=f
f ...f
ψ′
![Page 35: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/35.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
=f ...
φ
f ...
ψ
selecting φ complexselecting φ simple
<
=f ...=f
f ...f
ψ′
>
f ...f
ψ′
=f ...=f
φ′
![Page 36: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/36.jpg)
merge (selecting tree is simple)
=v .=d .i . ∅ + <
v .like <
-wh .which book
![Page 37: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/37.jpg)
merge (selecting tree is simple)
=v .=d .i . ∅ + <
v .like <
-wh .which book
<
=d .i . ∅ <
like <
-wh .which book
![Page 38: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/38.jpg)
merge (selecting tree is complex)
<
=d .i . ∅ <
like <
-wh .which book
+ d .she
![Page 39: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/39.jpg)
merge (selecting tree is complex)
<
=d .i . ∅ <
like <
-wh .which book
+ d .she
>
she <
i . ∅ <
like <
-wh .which book
![Page 40: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/40.jpg)
Structure building functions (overt phrasal movement)
move : Trees −→part 2Trees
φ ∈ Domain(move) :⇐⇒
• φ displays feature +f ∈ Licensors
• there is a maximal projection ψ within φ that displays
feature -f ∈ Licensees
move(φ[+f . . . ] ) =>
ψ[ . . . ] φ[ . . . ]ψ[-f . . . ] 7−→ ε
![Page 41: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/41.jpg)
Structure building functions (overt phrasal movement)
move : Trees −→part 2Trees
+f ...
-f ...
ψ
φ
>
-f ...-f
ψ′
+f ...+f
φ′
![Page 42: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/42.jpg)
move
<
+wh .c .did >
she <
∅ <
like <
-wh .which book
![Page 43: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/43.jpg)
move
<
+wh .c .did >
she <
∅ <
like <
-wh .which book
>
<
which book
<
c .did >
she <
∅ <
like ε
![Page 44: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/44.jpg)
Minimalist expresssions (syntactic features enhanced)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
. . .
-x , -y , -z , . . .
+x , +y , +z , . . .
+x , +y , +z , . . .
[ Base ]
[ Selectors ]
[ Licensees ]
[ Licensors , strong ]
[ Licensors , weak ]
![Page 45: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/45.jpg)
Structure building functions (agree)
agree : Trees −→part 2Trees
φ ∈ Domain(agree) :⇐⇒
• φ displays feature +f ∈ Licensors
• there is a maximal projection ψ within φ that displays
feature -f ∈ Licensees
agree(φ[+f . . . ] ) = φ[ . . . ]ψ[-f . . . ] 7−→ ψ[ . . . ]
![Page 46: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/46.jpg)
Structure building functions (agree)
agree : Trees −→part 2Trees
+f ...
-f ...
ψ
φ
+f ...+f-f ...-f
ψ′
φ′
![Page 47: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/47.jpg)
Minimalist expresssions (syntactic features enhanced)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
=x , =y , =z , . . .
=>x , =>y , =>z , . . .
x<= , y<= , z<= , . . .
-x , -y , -z , . . .
+x , +y , +z , . . .
[ Base ]
[ Selectors , weak ]
[ Selectors , strong ]
[ Licensees ]
[ Licensors ]
![Page 48: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/48.jpg)
Structure building functions
merge : Trees × Trees −→part Trees
〈φ ,ψ〉 ∈ Domain(merge) :⇐⇒
• ψ displays feature f ∈ Base
• φ displays feature =f , =>f , or f<= ∈ Selectors
![Page 49: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/49.jpg)
Structure building functions (weak selection)
merge : Trees × Trees −→part Trees
=f ... . ~v
φ
f ... . ~w
ψ
selecting φ complexselecting φ simple
<
=f ... . ~v =f
f ... . ~w f
ψ′
>
f ... . ~w f
ψ′
=f ... . ~v =f
φ′
![Page 50: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/50.jpg)
Structure building functions (strong selection)
merge : Trees × Trees −→part Trees
=>f ... . ~v
φ
f ... . ~w
ψ
selecting φ simple , head-incorporation left
<
f ... . ~w~v f
f ... . ∅ f
ψ′
![Page 51: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/51.jpg)
Structure building functions (strong selection)
merge : Trees × Trees −→part Trees (HMC)
=>f ... . ~v
φ
f ... . ~w
ψ
selecting φ simple , head-incorporation left
<
f ... . ~w~v f
f ... . ∅ f
ψ′
![Page 52: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/52.jpg)
Structure building functions (strong selection)
merge : Trees × Trees −→part Trees
f<= ... . ~v
φ
f ... . ~w
ψ
selecting φ simple , head-incorporation right
<
f ... . ~v~w f
f ... . ∅ f
ψ′
![Page 53: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/53.jpg)
Structure building functions (strong selection)
merge : Trees × Trees −→part Trees (HMC)
f<= ... . ~v
φ
f ... . ~w
ψ
selecting φ simple , head-incorporation right
<
f ... . ~v~w f
f ... . ∅ f
ψ′
![Page 54: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/54.jpg)
merge (head-incorporation left)
=>v .=d .i .-s + <
v .like <
-wh .which book
![Page 55: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/55.jpg)
merge (head-incorporation left)
=>v .=d .i .-s + <
v .like <
-wh .which book
<
=d .i . like-s <
∅ <
-wh .which book
![Page 56: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/56.jpg)
merge (head-incorporation right)
y<= .x .a + >
d <
y .-l .ab c
![Page 57: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/57.jpg)
merge (head-incorporation right)
y<= .x .a + >
d <
y .-l .ab c
<
x . aab >
d <
-l . ∅ c
![Page 58: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/58.jpg)
Minimalist grammars
G = 〈 Features , Lexicon , Ω , c 〉
Features = SynFeatures ∪ Vocabulary [ features ]
SynFeatures = Base ∪ Selectors ∪ Licensees ∪ Licensors
x =x ,=>x ,x<= -x +x ,+x
Lexicon a finite set of simple expressions [ lexicon ]
Ω = merge , move , agree [ structure building functions ]
c ∈ Base [ distinguished category ]
![Page 59: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/59.jpg)
Minimalist languages MG, G = 〈 Features , Lexicon , Ω ,c 〉
The closure of G [ Closure(G) ] :⇐⇒
closure of the lexicon under finite applications of the functions in Ω.
The tree language of G [ T(G) ] :⇐⇒
trees in the closure with essentially no unchecked syntactic features— only head-label contains exactly one unchecked instance of c.
The string language of G [ L(G) ] :⇐⇒
(terminal) yields of the trees belonging to the tree language.
![Page 60: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/60.jpg)
A simple MG-lexicon
n .book d .she
=d .v .like =n .d .-wh .which
=v .=d .i . ∅ =i .+wh .c .did
i .Mary_read =i .≈d .that
Vocabulary = book , did , like , she , which
![Page 61: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/61.jpg)
Head movement constraint (HMC) (Stabler 1997)
The implementation of
head movement in MGs is in accordance with the HMC
– demanding
a moving head not to pass over the closest c-commanding head.
To put it differently,
whenever we are concerned with a case of successive head
movement, i.e. recursive adjunction of a (complex) head to a
higher head, it obeys strict cyclicity.
![Page 62: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/62.jpg)
Successive cyclic left head adjunction
. . . . . .X’
WPX
W XW’
VPt W
Y’
XPY
X Y
W X X’
WPt X
W’
VPt W
Z’
YPZ
Y Z
X Y
XW
Y’
XPt Y
X’
WPt X
W’
VPt W
![Page 63: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/63.jpg)
Successive cyclic right head adjunction
. . . . . .X’
WPX
X WW’
VPt W
Y’
XPY
Y X
X W X’
WPt X
W’
VPt W
Z’
YPZ
Z Y
XY
X W
Y’
XPt Y
X’
WPt X
W’
VPt W
![Page 64: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/64.jpg)
Successive cyclic (mixed) head adjunction
. . . . . .X’
WPX
W XW’
VPt W
Y’
XPY
Y X
XW X’
WPt X
W’
VPt W
Z’
YPZ
Y Z
Y X
XW
Y’
XPt Y
X’
WPt X
W’
VPt W
![Page 65: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/65.jpg)
Shortest movement condition (SMC) (Stabler 1997, 1999)
The number of competing licensee features triggering a
movement is (finitely) bounded by n.
In the strictest version n = 1, i.e., there is at most one
maximal projection displaying a matching licensee feature:
∗
<
+f∣
∣
∣
+f ...
-f ...
![Page 66: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/66.jpg)
Specifier island condition (SPIC) (Stabler 1999)
Proper “extraction” from specifiers is blocked.
∧
∗
<
+f∣
∣
∣
+f ...>
specifier
-f ...
![Page 67: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/67.jpg)
SMC and SPIC — restricting the move-operator domain
MG
– SMC , – SPIC
+ SMC , – SPIC – SMC , + SPIC
+ SMC , + SPIC
(Michaelis 1998, 2001; Harkema 2001)
LCFRS
$$$ LCFRS (Michaelis 2001, 2002, 2005)
MELL-proof-search (Salvati 2008)
type 0
(Kobele & Michaelis 2005)
![Page 68: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/68.jpg)
MCSG-landscape
MCSG
MG(-SMC,+/-SPIC)
Lexical Functional Grammar
Indexed GrammarNNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNNNNNNNN
NNN
NNN
NNN
NNN
NNNLinear Context-FreeRewriting Systems
MG(+SMC,-SPIC)
MG(+SMC,+SPIC)
Linear Indexed Grammar
Tree Adjoining Grammar
CombinatoryCategorial Grammar
Context-Free Grammar(GPSG)
![Page 69: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/69.jpg)
MCSG-landscape (enhanced)
MCSG
MG(-SMC,+/-SPIC)
Lexical Functional Grammar
Indexed GrammarNNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNNNNNNNN
NNN
NNN
NNN
NNN
NNNLinear Context-FreeRewriting Systems
MG(+SMC,-SPIC)
MG(+SMC,+SPIC)
Linear Indexed Grammar
Tree Adjoining Grammar
CombinatoryCategorial Grammar
Context-Free Grammar(GPSG)
![Page 70: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/70.jpg)
MCSG-landscape (enhanced)
MCSG
MG(-SMC,+/-SPIC)
Lexical Functional Grammar
Indexed Grammar
Linear Context-FreeRewriting Systems
MG(+SMC,+SPIC)
NNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNNNNN
NNN
NNN
NNN
NNN
NNN
MG(+SMC,-SPIC)
Linear Indexed Grammar
Tree Adjoining Grammar
CombinatoryCategorial Grammar
Context-Free Grammar(GPSG)
NNN
![Page 71: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/71.jpg)
Minimalist expresssions (syntactic features enhanced)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
=x(r) , =y(r) , =z(r) , . . .
. . .
=x(l) , =y(l) , =z(l) , . . .
. . .
-x , -y , -z , . . .
+x , +y , +z , . . .
[ Base ]
[ Selectors , right ]
[ Selectors , left ]
[ Licensees ]
[ Licensors ]
![Page 72: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/72.jpg)
Structure building functions (right selection)
merge : Trees × Trees −→part Trees
=f(r) ...
φ
f ...
ψ
selecting φ complexselecting φ simple
<
=f ...=f
f ...f
ψ′
<
f ...f
φ′
=f ...=f
ψ′
![Page 73: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/73.jpg)
Structure building functions (left selection)
merge : Trees × Trees −→part Trees
=f(l) ...
φ
f ...
ψ
selecting φ complexselecting φ simple
>
=f ...=f
f ...f
ψ′
>
f ...f
ψ′
=f ...=f
φ′
![Page 74: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/74.jpg)
Minimalist expresssions (syntactic features enhanced)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
. . .
-x , -y , -z , . . .
+x(l) , +y(l) , +z(l) , . . .
+x(r) , +y(r) , +z(r) , . . .
[ Base ]
[ Selectors ]
[ Licensees ]
[ Licensors , left ]
[ Licensors , right ]
![Page 75: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/75.jpg)
Structure building functions (phrasal movement — left)
move : Trees −→part 2Trees
+f(l) ...
-f ...
ψ
φ
>
-f ...-f
ψ′
+f ...+f
φ′
![Page 76: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/76.jpg)
Structure building functions (phrasal movement — right)
move : Trees −→part 2Trees
+f(r) ...
-f ...
ψ
φ
<
-f ...-f
ψ′
+f ...+f
φ′
![Page 77: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/77.jpg)
Minimalist expresssions (syntactic features enhanced)
There are different types of syntactic features.
(basic) categories:
(merge-) selectors:
(move-) licensees:
(move-) licensors:
. . .
x , y , z , . . .
. . .
-x , -y , -z , . . .
+x , +y , +z , . . .
+x(l) , +y(l) , +z(l) , . . .
+x(r) , +y(r) , +z(r) , . . .
[ Base ]
[ Selectors ]
[ Licensees ]
[ Licensors , weak ]
[ Licensors , strong ]
![Page 78: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/78.jpg)
Structure building functions (overt phrasal movement — left)
move : Trees −→part 2Trees
+f(l) ...
-f ...
ψ
φ
>
-f ...-f
ψ′
+f ...+f
φ′
![Page 79: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/79.jpg)
Structure building functions (overt phrasal movement — right)
move : Trees −→part 2Trees
+f(r) ...
-f ...
ψ
φ
<
-f ...-f
ψ′
+f ...+f
φ′
![Page 80: An Introduction to Minimalist Grammars: Formalism · 1997, 1999) as a formalization of “minimalism” (Chomsky 1995). MGs in that format constitute a mildly context-sensitive grammar](https://reader030.vdocuments.net/reader030/viewer/2022041003/5ea677465f3a23237247087e/html5/thumbnails/80.jpg)
Further outlook
MGs can be extended with the operations adjoin and scramble
involving two new types of syntactic features and a unilateral
checking of their instantiations (Frey & Gärtner 2002, Gärtner &
Michaelis 2003).
If, in particular, categorial features are not deleted after checking,
but marked as checked — and thus are still accessible — acyclic
(“late”) adjunction can be defined as a subtype of adjoin.
As to the interaction of the SMC and a corresponding adjunct
island constraint (AIC), the addition of the AIC has no effect,
independently of the presence of the SMC.