约尔迪·利维;约阿希姆·尼伦;马图·维拉雷特 良好的上下文统一。 （英语） Zbl 1135.03328号 Nieuwenhuis，Robert（编辑），《自动扣款——CADE-20》。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，149-163（2005）。 摘要：上下文统一（CU）是求解树上下文方程的公开问题。我们区分了CU-well-nested CU-的一个新的可判定变量，并提出了一种新的统一算法，该算法在非确定性多项式时间内求解嵌套良好的上下文方程。我们证明了上下文方程的最小嵌套解可以由方程中存在的材料组成。在CU中建模自然语言省略号时，此属性是一厢情愿的。有关整个系列，请参见[Zbl 1088.68008号]. 引用于4文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B25号 理论和句子集的可决定性 68T50型 自然语言处理 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}等人，Lect。注释计算。科学。3632149-163（2005年；Zbl 1135.03328） 全文： 内政部