Multiset-Valued Linear Index Grammars: Imposing Dominance Constraints on Derivations

Abstract

This paper defines multiset-valued linear index grammar and unordered vector grammar with dominance links. The former models certain uses of multiset-valued feature structures in unification-based formalisms, while the latter is motivated by word order variation and by ``quasi-trees'', a generalization of trees. The two formalisms are weakly equivalent, and an important subset is at most context-sensitive and polynomially parsable.

arXiv comment8 pages, uuencoded compressed ps file

Cited by in corpus (2)

• Non-Elementary Complexities for Branching VASS, MELL, and Extensions
• The reachability problem for vector addition systems with a stack is not elementary