Abstract
An essential prerequisite for modular grammar design is a clear, mathematically well-founded definition for the semantics of grammar formalisms, facilitating reasoning about grammars and their computational properties. This paper shows that existing definitions for the semantics of unification grammars, both operational and denotational, are not compositional with respect to a simple and natural grammar combination operator. Adapting results from the semantics of logic programming languages, we suggest a denotational semantics that we show to be both compositional and fully-abstract. This semantics induces an equivalence relation by which two grammars are equivalent if and only if they can be interchanged in any context. This provides a clear, mathematically sound way for defining grammar modularity.
Original language | English |
---|---|
Pages (from-to) | 145-153 |
Number of pages | 9 |
Journal | Grammars |
Volume | 6 |
Issue number | 2 |
DOIs | |
State | Published - Aug 2003 |
Bibliographical note
Funding Information:This paper is a revised version of Wintner (1999). I am grateful to Nissim Francez for commenting on an earlier version. This work was supported by the Israeli Science Foundation (grant no. 136/01).
Keywords
- Modularity
- Semantics of programming languages
- Unification grammars
ASJC Scopus subject areas
- Management of Technology and Innovation