整体变换的增生计算
Accretive Computation of Global Transformations
摘要：
全局变换形成了一个分类框架，它使图变换能够描述给定数据结构上的完全同步规则系统。在这项工作中，我们专注于可以被捕获为预层的数据结构，并研究了这种同步规则系统的计算方面。为了获得一个在线算法，一个完整的研究小组，每个同步步骤中的步骤都是在语义级别上完成的。这导致了增生规则系统的定义和一个局部标准来表征这些规则系统最后给出了这类系统的在线计算算法。
英文摘要：
Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure.In this work we focus on data structures that can be captured as presheaves and study the computational aspects of such synchronous rule systems.To obtain an online algorithm, a complete study of the sub-steps within each synchronous step is done at the semantic level.This leads to the definition of accretive rule systems and a local criterion to characterize these systems.Finally an online computation algorithm for theses systems is given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
