Constraint-based grammar formalisms : parsing and type inference for natural and computer languages

Author(s)

• Shieber, Stuart M.

Bibliographic Information

Constraint-based grammar formalisms : parsing and type inference for natural and computer languages

Stuart M. Shieber

（Bradford book）

MIT Press, c1992

Note

Includes bibliographical references (p. [171]-176) and index

Description and Table of Contents

Description

Constraint-based theories of grammar and grammar formalisms are an area of research in computational linguistics. "Constraint-Based Grammar Formalisms" provides a mathematical and computational basis for this important area. It introduces new applications to both natural and computer languages and brings together Stuart Shieber's many contributions that have been at the core of developments ranging from the discovery of improved explanations of linguistic phenomena such as binding and coordination to the detailed mathematical analysis of constraint-solving and parsing in a variety of grammar formalisms. This examination of the theoretical and computational foundations of constraint-based grammars and applications to natural-language analysis is unique in several respects. Shieber's theoretical framework may be applied to a whole class of formalisms with properties that make it possible to define a general parsing algorithm for all members of the class, with results that provide essential guidance to the implementer of constraint-based language processing systems. Shieber also brings out new connections between grammatical categories and data types, and between constraint-based natural-language analysis and type inference in computer languages. These connections should be of increasing interest both to computational and theoretical linguists and to computer scientists.

Table of Contents

• Part 1 Constraint logics for linguistic information: the structure of grammatical information
• the PATR formalism
• idealizations of the constraint-based view
• constraint-based computer language description
• history of constraint-based formalisms
• the structure of constraint-based formalisms
• appropriate logics for constraint-based formalisms
• properties of appropriate constraint-logic models
• operations on models. Part 2 Grammars and parsing: defining constraint-based formalisms
• grammar interpretation
• the abstract parsing algorithm
• auxiliary notions for item semantics
• a correctness proof for the algorithm
• instances of the abstract algorithm. Part 3 A compendium of model classes: finite-tree models
• infinite-tree models
• eqtree models
• graph models. Part 4 Parsing as type inference: natural and computer languages
• a difference in semantics
• constraint-based computer-language formalisms.

by "Nielsen BookData"

Details

• NCID: BA19039876
• ISBN:
  • 0262193248
• LCCN: 92007820
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: xi, 183 p.
• Size: 24 cm
• Classification:
  • LCC : P98
  • DC20 : 410/.285
• Subject Headings:
  • LCSH : Computational linguistics
  • LCSH : Grammar, Comparative and general -- Data processing
  • LCSH : Programming languages (Electronic computers) -- Syntax
  • LCSH : Parsing (Computer grammar)
• Parent Bibliography ID:
  • BA00245453