Paper: The Semantics Of Grammar Formalisms Seen As Computer Languages

ACL ID P84-1027
Title The Semantics Of Grammar Formalisms Seen As Computer Languages
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1984
Authors

The design, implementation, and use of grammar for- ma]isms for natural language have constituted a major branch of coml)utational linguistics throughout its devel- opment. By viewing grammar formalisms as just a spe- cial ease of computer languages, we can take advantage of the machinery of denotational semantics to provide a pre- cise specification of their meaning. Using Dana Scott's do- main theory, we elucidate the nature of the feature systems used in augmented phrase-structure grammar formalisms, in particular those of recent versions of generalized phrase structure grammar, lexical functional grammar and PATR- I1, and provide a (lcnotational semantics for a simple gram- mar formalism. We find that the mathematical structures developed for this purpose contain an operation of featur...