This paper examines the question of whether and how the grammars proposed by linguists may be said to be ‘realized’ in adequate models of human sentence processing. We first review the assumptions guiding the so-called Derivational Theory of Complexity (DTC) experiments. Recall that the DTC experiments were taken to show that the theory of transformational grammar (TG) known as the Standard Theory was only a partially adequate model for human parsing. In particular, it was assumed (see Fodor et al., 1974) that the DTC experiments demonstrated that while the parser actually used the structural descriptions implicit in a transformational derivation, the computations it used bore little resemblance to the transformations proposed by a TG. The crucial assumptions behind the DTC were that (1) the processing model (or ‘parser’) performs operations in a linear, serial fashion; and (2) the parser incorporates a grammar written in more or less the same format as the competence grammar. If we assume strict seriality, then it also seems easier to embed an Extended Lexical Grammar, such as the model proposed in Bresnan (1978) (as opposed to a TG), into a parsing model. Therefore, this assumption plays an important role in Bresnan's critique of TG as an adequate part of a theory of language use. Both Fodor, Bever and Garrett (1974) and Bresnan (1978) attempt to make the grammatical rules compatible with the psycholinguistic data and with assumption (1) by proposing models that limit the amount of active computation performed on-line. They do this by eliminating the transformational component. However, we show that on-line computation need not be associated with added reaction time complexity. That is, we show that a parser that relates deep structure to surface structure by transformational rules (or, more accurately, by parsing rules tailored very closely after those of a transformational model) can be made to comport with the relevant psycholinguistic data, simply by varying assumption (1). In particular, we show that by embedding TG in a parallel computational architecture—an architecture that can be justified as a reasonable one for language use—one can capture the sentence processing complexity differences noted by DTC experimenters.

Assumption (2) is also relevant to the evaluation of competing grammars as theories of language use. First we show that Bresnan (1978) must relax this assumption in order to make Extended Lexical Grammar compatible with the psycholinguistic results. Secondly, we analyze Tyler and Marslen-Wilson's (1977) and Tyler's (1980) claim that their experiments show that one cannot instantiate a TG in a model of parsing without varying assumption (2). This is because they insist that their experiments support an ‘interactive model’ of parsing that, they believe, is incompatible with the ‘Autonomy of Syntax’ thesis. We show that the Autonomy Thesis bears no relation to their ‘interactive model’. Therefore, adopting this model is no barrier to the direct incorporation of a TG in a parser.

Moreover, we show why meeting assumption (2), a condition that we dub the ‘Type Transparency Hypothesis’, is not an absolute criterion for judging the utility of a grammatical theory for the construction of a theory of parsing. We claim that the grammar need not be viewed as providing a parsing algorithm directly or transparently (assumption 2 above). Nevertheless, we insist that the theory of grammar figures centrally in the development of a model of language use even if Type Transparency is weakened in the ways that we suggest. Taken together, these considerations will be shown to bear on the comparative evaluation of candidate parsing models that incorporate transformational grammar, extended-lexical grammar, or the Tyler and Marslen-Wilson proposals.

Résumé

Dans cet article on traite de la question de savoir si et comment on peut dire que les grammaires proposées par les linguistes peuvent être actualisées en modèles adéquats de traitement de phrases. On étudie d'abord les postulas qui guident les expériences s'appuyant sur la théorie dite de complexité dérivationnelle (DTC). Ces expériences ont été censées montrer que la théorie de la Grammaire Transformationelle (TG) connue comme Théorie Standard n'était que partiellement adéquate pour rendre compte de l'analyse humaine. En particulier, on a pensé (voir Fodor, Bever et Garrett, 1974) que les expériences DTC démontraient que, tandis que l'analyseur utilisait les descriptions structurelles implicites dans les dérivations transformationnelles, les computations qu'il faisait ressemblaient peu aux transformations proposées par une TG. Les principales propositions sous-tendant la DTC étaient que 1) le modéle de calcul (ou analyseur) elfectue les opérations de façon linéaire et sérielle et que 2) il incorpore une grammaire plus ou moins représentable sous une forme semblable à une grammaire de compétence.

Si l'on fait l'hypotheses d'une sérialité, stricte, il parait plus facile d'inclure dans le modéle d'analyse une grammaire lexicale étendue telle que celle proposée par Bresnan (1978) comme opposée à une TG. Cette conjoncture joue un rôle important dans la critique que fait Bresnan à la TG en tant que partie pertinente d'une théorie d'utilisation du langage. Fodor, Bever et Garrett (1974) ainsi que Bresnan (1978) cherchent à rendre les règles grammaticales compatibles avec les données psycholinguistiques et avec la proposition (1). Ils proposent des modéles qui limitent la part de traitement actif réalisé en temps réel. Pour cela ils éliminent le composant transformationel. Nous montrons que le calcul en temps réel n'est pas nécessairement associé à une complexité supplémentaire de temps de réaction. C'est à dire que nous montrons qu'un analyseur qui relie la SP à la SS par des régles de transformation (ou plus précisément par des règles d'analyse de forme très proche des règles d'un modéle transformationnel) peut s'accorder avec les données de la psycholinguistique si l'on fait simplement varier le postulat (1). Plus précisément nous montrons qu'en enchassant TG dans une architecture de calcul parallèle (qui peut être justifiée comme raisonnable pour l'usage du langage) on peut saisir les différences de complexité dans le calcul des phrases qu'avaient relevées les expérimentateurs DTC

La proposition (2) permet aussi d'évaluer les grammaires candidates pour une théorie de l'utilisation du langage. On montre d'abord que Bresnan (1978) peut affaiblir cette proposition pour rendre l'Extended Lexical Grammar compatible avec les résultats de la psycholinguistique. Ensuite on analyse la position de Tyler et Marslen Wilson (1977–1980) selon laquelle leurs expériences montrent qu'on ne peut instancier une TG dans un modèle d'analyse sans changer la proposition (2). Ceci est lié au fait qu'ils insistent sur le fait que leurs expériences supportent un “mode interactif” d'analyse dont ils pensent qu'il est compatible avec la Thèse de l'Autonomie de la Syntaxe. On montre que la Thèse de l'Autonomie est sans relation avec ce modèle interactif. Adopter ce modèle n'empêche donc pas d'inclure directement le TG dans un analyseur.

En outre, nous montrons pourquoi en allant dans le sens de la proposition (2), une condition que nous appellons le TTH n'est pas un critère absolu pour juger de l'utilité d'une théorie grammaticale en vue de construire une théorie d'analyseur. Nous soutenons que les grammaires ne doivent pas être envisagées comme fournissant directement et de façon transparente (proposition 2 ci-dessus), un algorithme d'analyse. Cependant, nous insistons sur le fait que la théorie de la grammaire a une place centrale dans le développement d'un mode d'utilisation du langage même si le Type de Transparence est affaibli selon nos suggestions. Enfin, nous montrons que toutes ces remarques servent à l'évaluation comparative des modèles d'analyses possibles qui incorporent la grammaire transformationnelle, la grammaire lexico-fonctionnelle et les propositions de Tyler et Marslen-Wilson.