Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs

Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs
复制标题

最内层约简求出右线性终止覆盖 TRS 上的所有范式

DOI：
--
复制
发表时间：
2003
期刊：
--
影响因子：
--
通讯作者：
Toshiki Sakabe
Toshiki Sakabe
中科院分区：
--
文献类型：
--
作者：
Masahiko Sakai;Kouji Okamoto;Toshiki Sakabe

文献摘要

被引文献

相似文献

一个TRS的策略被称为是完全的，如果一个给定的术语的所有正规形式是可达的。我们表明，最内层的战略是完全终止，右线性和覆盖TRS。该策略通过搜索约简树来计算给定项的所有正规形是相当有效的。我们还讨论了削弱条件的可能性。
A strategy of TRSs is said to be complete if all normal forms of a given term are reachable from the term. We show the innermost strategy is complete for terminating, right-linear and overlay TRSs. This strategy is fairly efficient to calculate all normal forms of a given term by searching reduction trees. We also discuss the possibilities for weakening the conditions.