主题
Search

Church-Rosser 属性

如果对于所有 x 和 y 使得 x<->_*y，存在一个 z 使得 x->_*z 且 y->_*z，则称一个归约系统具有 Church-Rosser 属性。

一个归约系统是 Church-Rosser 的当且仅当它是汇合的。

另请参阅

Church-Rosser 定理, 汇合的, 临界对, 有限终止的, Knuth-Bendix 完成算法, 归约序

此条目由 Alex Sakharov (作者链接) 贡献

使用 Wolfram|Alpha 探索

参考文献

Baader, F. 和 Nipkow, T. 项重写及其相关内容。 Cambridge, England: Cambridge University Press, 1999.Wolfram, S. 一种新科学。 Champaign, IL: Wolfram Media, 页码 507 和 1036-1037, 2002.

在 Wolfram|Alpha 中被引用

Church-Rosser 属性

请引用为

Sakharov, Alex. "Church-Rosser 属性." 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Church-RosserProperty.html

主题分类