
We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between a weak and a strong variant of convergence as known from infinitary term rewriting. Furthermore, we introduce an axiomatic model of reductions that is general enough to cover all of these models of transfinite reductions as well as the ordinary model of finite reductions. It is shown that, in this unifying axiomatic model, many basic relations between termination and confluence properties known from finite reductions still hold. The introduced models are applied to term rewriting but also to term graph rewriting. We can show that for both term rewriting as well as for term graph rewriting the partial order model forms a conservative extension to the metric model.
axiomatic, graph rewriting, Partial order model, metric, infinitary rewriting, Transfinite reductions, Metric model, 004, abstract reduction system, Abstract reduction systems, Infinitary term rewriting, /dk/atira/pure/core/keywords/TheFacultyOfScience; name=Faculty of Science, term rewriting, Faculty of Science, partial order, Infinitary rewriting, /dk/atira/pure/core/keywords/TheFacultyOfScience
axiomatic, graph rewriting, Partial order model, metric, infinitary rewriting, Transfinite reductions, Metric model, 004, abstract reduction system, Abstract reduction systems, Infinitary term rewriting, /dk/atira/pure/core/keywords/TheFacultyOfScience; name=Faculty of Science, term rewriting, Faculty of Science, partial order, Infinitary rewriting, /dk/atira/pure/core/keywords/TheFacultyOfScience
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
