Premium
Cyclic Computation, A Computationally Efficient Minimalist Syntax
Author(s) -
Frampton John,
Gutmann Sam
Publication year - 1999
Publication title -
syntax
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.587
H-Index - 24
eISSN - 1467-9612
pISSN - 1368-0005
DOI - 10.1111/1467-9612.00012
Subject(s) - computation , head (geology) , syntax , computer science , construct (python library) , sequence (biology) , movement (music) , core (optical fiber) , relation (database) , algorithm , mathematics , artificial intelligence , programming language , telecommunications , philosophy , geomorphology , database , biology , genetics , geology , aesthetics
We construct a completely cyclic Minimalist theory of syntactic derivations. A derivation consists of a sequence of cycles. Each cycle starts with the introduction of a new head and merger of the head's selected arguments, followed by satisfaction (via checking) of the head's removable features. The theory includes no acyclic devices such as lexical arrays or comparison of derivations. Satisfaction of features is accompanied by full category movement whenever it is not blocked by morphology or constraints barring multiple specifiers. The Minimal Link Condition is viewed computationally and is naturally incorporated into Satisfy. Our precise notion of checking involves sets of features interacting in the same checking relation, and yields an account of successive cyclic movement, the distribution of expletives, EPP, and quirky case phenomena. The paper can be read as empirical evidence that the core syntactic algorithm is computationally efficient.