Reduction Strategies and Acyclicity
Reduction Strategies and Acyclicity
复制标题
减少策略和非周期性
DOI：
10.1007/978-3-540-73147-4_5
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
F. Raamsdonk
中科院分区：
文献类型：
--
作者：
J. Klop;V. V. Oostrom;F. Raamsdonk
在本文中，我们回顾了一些关于各种缩减策略的著名理论：标准化、最外层公平、共最终、Church-Rosser。定义此类策略的一个绊脚石是减少循环的存在，这可能会“困住”策略，因为它是无内存的。我们利用最近（重新）发现的事实，即当每个项具有范式时，正交重写系统中不存在归约循环，以增强一些策略定理，无论是在其范围还是在其正确性证明方面。
In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the definition of such strategies is the presence of reduction cycles that may ‘trap’ a strategy as it is memory-free. We exploit a recently (re)discovered fact that there are no reduction cycles in orthogonal rewrite systems when each term has a normal form, in order to enhance some of the theorems on strategies, both with respect to their scope and the proof of their correctness.
DOI：
--
发表时间：
2005
期刊：
Lecture Notes in Computer Science 3838
影响因子：
--
作者：
FUKUOKA Masako;Yoshihito Toyama
通讯作者：
Yoshihito Toyama