Abstract Specification of Grammar: Algebraic Specification Language: A Case Study Contributor(s): Newton, Michael (Author) |
|
ISBN: 1575861224 ISBN-13: 9781575861227 Publisher: Center for the Study of Language and Informat OUR PRICE: $22.72 Product Type: Paperback - Other Formats Published: June 1998 |
Additional Information |
BISAC Categories: - Language Arts & Disciplines | Grammar & Punctuation - Language Arts & Disciplines | Linguistics - General |
Dewey: 402 |
Series: Studies in Logic, Language and Information |
Physical Information: 176 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book explores the use of an algebraic (software) specification language (ASL) in the description and modelling of natural language grammar. It is particularly concerned with the application of methods of loose specification and stepwise refinement, and modularisation and parameterisation. Some background on the use of specifications in software engineering is provided, as well as suggested benefits one might obtain from their use in the description of grammar. An abstract description of constituency is given, independent of concrete styles of grammar, which demonstrates the need for an intensional domain. By enriching this domain, we can deal with matters such as agreement. Abstract specifications are developed for core treatments of PATR, LFG, GPSG, and HPSG. Some consideration is given to the use of 'institutions' to allow us to work in different (logical or programming) languages. |