Foundation

Abstract

In this chapter we define the framework that will be used for the investigations in subsequent chapters. Our framework combines and extends the approaches of Miller [89] and of Joshi and collaborators. We take the position, following Miller, that SGC should always be tested with reference to a particular interpretation domain, and, following Becker et al. [11], we define these interpretations on grammar formalisms with well-defined domains of locality, permitting rigorous formal comparisons. Moreover, we extend these ideas to a still larger class of formalisms, simple literal movement grammars [57].