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.
| |||||||||||||||
Book Description
Editorial Reviews
Book 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.
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
