Because of the ease of their implementation, attribute-value based theories of grammar are becoming increasingly popular in theoretical linguistics as an alternative to transformational accounts and in computational linguistics. This book provides a formal analysis of attribute-value structures, their use in a theory of grammar and the representation of grammatical relations in such theories of grammar. It provides a classical treatment of disjunction and negation, and explores the linguistic implications of different representations of grammatical relations. Mark Johnson is assistant professor (...) in cognitive and linguistic sciences at Brown University. He was a Fairchild postdoctoral fellow at the Massachusetts Institute of Technology during the 1987-88 academic year. (shrink)

Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content. We prove that subsumption of acyclic TFSs is well founded, whereas in the presence of cycles general TFS subsumption is not well founded. We show an application of this result for parsing, where the well-foundedness of subsumption is used to guarantee termination for grammars that are off-line parsable. We define a new version of off-line parsability that (...) is less strict than the existing one; thus termination is guaranteed for parsing with a larger set of grammars. (shrink)