Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)
Masahiko Sakai · Institutional Repositories DataBase (IRDB) · 1995
This paper extends left-incompatible term rewriting systems defined by Toyama et $\mathrm{a}\mathrm{l}.\mathrm{l}\mathrm{T}\mathrm{s}\mathrm{E}\mathrm{P}93$].It is shown that the functional strategy is normalizing in the class, where the functional strategy is the reduction strategy which finds index by some rule selection method and top-down and left-to-right lazy pattern matching method.The reduction procedure based on the strategy is also shown.