特默尔库西亚;约尔迪·利维;马图·维拉雷特 通过货币化实现序列统一。 （英语） Zbl 1196.68111号 Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，288-302（2007）。 摘要：在处理未分级签名中的术语时，序列变量在统一和匹配方面发挥着有趣的作用。序列统一概括了单词统一，似乎对XML文档中的信息提取、程序转换和基于规则的编程很有吸引力。在这项工作中，我们研究了序列统一和单词统一的另一个推广：上下文统一之间的关系。我们引入了上下文统一的一个变体，称为左孔上下文统一，这有助于我们将序列统一简化为左孔上下文统一：我们定义了一个部分Currying过程，将序列统一问题转化为左孔上下文统一问题，并证明了翻译的合理性。此外，对统一器形状的精确描述使我们可以很容易地将左孔上下文统一简化为具有规则约束的单词统一的可判定问题，从而获得序列统一扩展的可判定性证明。关于整个系列，请参见[Zbl 1121.68001号]. 引用于5文件 MSC公司： 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人，Lect。注释计算。科学。4533，288--302（2007；Zbl 1196.68111） 全文： 内政部 链接