受限全局Grammar约束
Restricted Global Grammar Constraints
摘要：
本文研究了上下文无关文法如确定性和无二义性的上下文无关文法的受限类上的全局GRAMMAR约束。我们发现，在这些情况下，检测的GRAMMAR约束的disentailment是一样困难的分析一个不受限制的上下文无关文法。我们还考虑类的线性文法，并给出了一个传播，在二次时间运行。最后，为了演示线性文法的使用，我们证明了加权线性文法约束可以有效地编码EDITDISTANCE约束，以及EDITDISTANCE约束和REGULAR约束的结合
英文摘要：
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disentailment for the GRAMMAR constraint in these cases is as hard as parsing an unrestricted context free grammar.We also consider the class of linear grammars and give a propagator that runs in quadratic time. Finally, to demonstrate the use of linear grammars, we show that a weighted linear GRAMMAR constraint can efficiently encode the EDITDISTANCE constraint, and a conjunction of the EDITDISTANCE constraint and the REGULAR constraint
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
