tailieunhanh - Báo cáo khoa học: "An Attribute-Grammar Implementation of Government-bindlng Theory"

The syntactic analysis of languages with respect to Government-binding (GB) grammar is a problem that has received relatively little attention until recently. This paper describes an attribute grammar specification of the Government-binding theory. The paper focuses on the description of the attribution rules responsible for determining antecedent-trace relations in phrase-structure trees, and on some theoretical implications of those rules for the G B model. The specification relies on a transformation-lem variant of Government-binding theory, briefly discussed by Chomsky (1981), in which the rule move-a is replaced by an interpretive rule. . | An Attribute-Grammar Implementation of Government-binding Theory- Nelson Correa Department of Electrical and Computer Engineering Syracuse University 111 Link Hall Syracuse NY 13244 ABSTRACT The syntactic analysis of languages with respect to Government-binding GB grammar is a problem that has received relatively little attention until recently. This paper describes an attribute grammar specification of the Government-binding theory. The paper focuses on the description of the attribution rules responsible for determining antecedentrtrace relations in phrase-structure trees and on some theoretical implications of those rules for the GB model. The specification relies on a transformation-less variant of Governmentrbinding theory briefly discussed by Chomsky 1981 in which the rule move-a is replaced by an interpretive rule. Here the interpretive rule is specified by means of attribution rules. The attribute grammar is currently being used to write an English parser which embodies the principles of GB theory. The parsing strategy and attribute evaluation scheme are cursorily described at the end of the paper. Introduction In this paper we consider the use of attribute grammars Knuth 1968 Waite and Goos 1984 to provide a computational definition of the Governmentbinding theory layed out by Chomsky 1981 1982 . This research thus constitutes a move in the direction of seeking specific mechanisms and realizations of universal grammar. The attribute grammar provides a specification at a level intermediate between the abstract principles of GB theory and the particular automatons that may be used for parsing or generation of the language described by the theory. Almost by necessity and the nature of the goal set out there will be several arbitrary decisions and details of realization that are not dictated by any particular linguistic or psychological facts but perhaps only by matters of style and possible computational efficiency considerations in the final product. It is .