Pregroup grammars with letter promotions: Complexity and context-freeness

摘要

We study pregroup grammars with letter promotions p(m)⇒q(n). We show that the Letter Promotion Problem for pregroups is solvable in polynomial time, if the size of p(n) is counted as |n|+1. In Mater and Fix (2005) [13], the problem is shown to be NP-hard, but their proof assumes the binary (or decimal, etc.) representation of n in p(n), which seems less natural for applications. We reduce the problem to a graph-theoretic problem, which is subsequently reduced to the emptiness problem for context-free languages. As a consequence, the following problems are in P: the word problem for pregroups with letter promotions and the membership problem for pregroup grammars with letter promotions. We also prove that pregroup grammars with letter promotions are equivalent to context-free grammars. At the end, we obtain similar results for letter promotions with unit.