The functional strategy and transitive term rewriting systems
The functional strategy and transitive term rewriting systems
复制标题
功能策略和及物术语重写系统
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
R. Plasmeijer
中科院分区：
文献类型：
--
作者：
Y. Toyama;S. Smetsers;M. V. Eekelen;R. Plasmeijer
该功能策略已被隐式地隐含（Haskell，Miranda，Lazy ML），并明确（干净）作为E（CID：14）CIENT，直观地易于理解的术语（或图形）重写系统的简化策略。但是，由于该策略涉及重写的优先级（CID：12），因此知之甚少，因为该策略会使语义变得复杂。然而，本文表明，可以通过完全在正交术语重写系统的标准框架内研究功能策略来产生有关功能策略的一些正式结果。引入了一个概念，该概念是功能策略的E（CID：14）的关键方面之一：传递索引。表征了相应的传递项重写系统。为这些重写系统提供了E（CID：14）的CIENT正常化策略。结果表明，功能策略正在为左兼容术语重写系统的类别标准化。
The functional strategy has been widely used implicitly (Haskell, Miranda, Lazy ML) and explicitly (Clean) as an e(cid:14)cient, intuitively easy to understand reduction strategy for term (or graph) rewriting systems. However, little is known of its formal properties since the strategy deals with priority rewriting which signi(cid:12)-cantly complicates the semantics. Nevertheless, this paper shows that some formal results about the functional strategy can be produced by studying the functional strategy entirely within the standard framework of orthogonal term rewriting systems. A concept is introduced that is one of the key aspects of the e(cid:14)ciency of the functional strategy: transitive indexes. The corresponding class of transitive term rewriting systems is characterized. An e(cid:14)cient normalizing strategy is given for these rewriting systems. It is shown that the functional strategy is normalizing for the class of left-incompatible term rewriting systems.