The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness.
术语重写系统的理论在抽象数据类型规范和功能编程语言中具有重要的应用。我们从这里开始研究系统的性质，这些系统不一定要终止，而是要允许有极限的无限导数。特别是，我们为极限的存在及其唯一性提供了条件。
机译：在S-Cartesian仿函数类别中重写双重推行 - 重写理论和应用于部分三格图
机译：术语重写系统引起的两个重写关系的自反传递闭合的交点
机译：除了重写URL，可能还需要重写HTTP请求或响应头字段
机译：重写或不重写？ 基于ML的Datalog查询算法对知识图表的回答
机译：用缺失监督重写文本
机译：重写人类基因组重写人权法？克里普尔特时代的人权人权人体尊严和人种种系改性
机译：重写，重写，重写，重写，重写……
机译：在aRm（抽象重写机）的范围内：通过最小重写系统编译左线性重写系统;软件工程部
