• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>urnal of Symbolic Computation >Solvability of context equations with two context variables is decidable
【24h】

Solvability of context equations with two context variables is decidable

机译：具有两个上下文变量的上下文方程的可解性是可确定的

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Context unification is a natural variant of second-order unification that represents a generalization of word unification at the same time. While second-order unification is well known to be undecidable and word unification is decidable it is currently an open question if the solvability of context equations is decidable. We show that the solvability of systems of context equations with two context variables is decidable. The context variables may have an arbitrary number of occurrences, and the equations may also con- tain an arbitrary number of individual variables. The results holds under the assumption that the first-order background signature is finite.
机译：上下文统一是二阶统一的自然变体，它表示单词统一。众所周知，虽然二阶统一是不可确定的，而单词统一是可确定的，但上下文方程的可解性是否可确定目前是一个悬而未决的问题。我们证明具有两个上下文变量的上下文方程组的可解性是可确定的。上下文变量可以具有任意数量的出现次数，而等式也可以包含任意数量的单个变量。该结果在假定一阶背景签名是有限的假设下成立。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号