Problems of Projection (Chomsky, 2013): A Computer Implementation

Output:

Instruction stream: [dog,n,d,likes,v*,[boy,n,d]]

Step 1.

merge heads n & dog

=> {n n,dog} (dog weak, head n labels)

Instruction stream: [d,likes,v*,[boy,n,d]]

Step 2.

merge head d & {n n,dog}

=> {d d,{n n,dog}} (head d labels)

Instruction stream: [likes,v*,[boy,n,d]]

Step 3.

merge head likes & {d d,{n n,dog}}

=> {_ likes,{d d,{n n,dog}}} (head likes weak)

Instruction stream: [v*,[boy,n,d]]

Step 4.

merge head v* & {_ likes,{d d,{n n,dog}}}

Feature phi(_G332) transmitted to likes

probe likes finds goal {d d,{n n,dog}}:

phi([3,sg]) valued on likes, acc case valued on {d d,{n n,dog}}

=> {v* v*,{_ likes,{d d,{n n,dog}}}} (head v* labels)

Instruction stream: [[boy,n,d]]

Begin substream: [boy,n,d]

Step 5.

merge heads n & boy

=> {n n,boy} (boy weak, head n labels)

Instruction stream: [d]

Step 6.

merge head d & {n n,boy}

=> {d d,{n n,boy}} (head d labels)

Instruction stream: []

End substream, re-insert SO {d d,{n n,boy}} into stream: []

Instruction stream: [{d d,{n n,boy}}]

Step 7.

unlabeled merge {d d,{n n,boy}} & {v* v*,{_ likes,{d d,{n n,dog}}}}

=> {_ {d d,{n n,boy}},{v* v*,{_ likes,{d d,{n n,dog}}}}}

Instruction stream: []

At Phase level: labeling...

Step 8.

weak likes cannot label, raise {d d,{n n,dog}}

=> {_ {d d,{n n,boy}},{v* v*,{_ {d d,{n n,dog}},{_ likes,{d d,{n n,dog}}}}}}

Step 9.

Criterial labeling: phi shared by {d d,{n n,dog}} & {_ likes,{d d,{n n,dog}}}

=> {_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{_ likes,{d d,{n n,dog}}}}}}

Step 10.

Strengthened 'likes' labels {_ likes,{d d,{n n,dog}}}

=> {_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}

Instruction stream: [T,c]

Step 11.

merge head T & {_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}

=> {_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}} (head T weak)

Instruction stream: [c]

Step 12.

merge head c & {_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}

Feature phi(_G403) transmitted to T

probe T finds goal {d d,{n n,boy}}:

phi([3,sg]) valued on T, nom case valued on {d d,{n n,boy}}

=> {c c,{_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}} (head c labels)

Instruction stream: []

At Phase level: labeling...

Step 13.

weak T cannot label, raise {d d,{n n,boy}}

=> {c c,{_ {d d,{n n,boy}},{_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}}}

Step 14.

Criterial labeling: phi shared by {d d,{n n,boy}} & {_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}

=> {c c,{phi {d d,{n n,boy}},{_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}}}

Step 15.

Strengthened 'T' labels {_ T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}

=> {c c,{phi {d d,{n n,boy}},{T T,{_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}}}

Step 16.

In {_ {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}, 'v*' can label since {d d,{n n,boy}} moved

=> {c c,{phi {d d,{n n,boy}},{T T,{v* {d d,{n n,boy}},{v* v*,{phi {d d,{n n,dog}},{likes likes,{d d,{n n,dog}}}}}}}}}