Diploma Thesis: Computational Aspects of Non-Projective Dependency Grammars
by Robert Grabowski
(grabow at ps.uni-sb.de)
supervised by: Marco Kuhlmann
Lexicalised Configuration Grammars (LCG) is a declarative framework for non-projective dependency grammars. Lexical entries in LCG are local well-formedness conditions for drawings (trees equipped with a total order). The framework is powerful enough to encode a large number of existing grammar formalisms declaratively.
The expressivity of LCG, however, comes at the cost of NP-complete word problems and parsing complexities that are hard to analyse. This diploma thesis shows that by borrowing efficient parsing concepts from generative formalisms, the computational factors that contribute to complexity can be formalised and isolated. A variety of possibilities to restrict these factors is elaborated in order to reduce complexity to polynomial time.
Moreover, a precise analysis is presented for a specifc LCG grammar formalism with precedence and discontinuity constraints. By combining the complexity results, that formalism is proven to allow for declarative definitions of mildly context-sensitive languages, which are believed to sufficiently account for many natural languages.
Current ideas and information on the progress did appear in my thesis blog (in German).