矩阵图语法：限制条件的变换

在图变换的矩阵方法中，我们使用布尔矩阵和向量来表示简单有向图和规则，并且仅使用布尔运算来表达重写。在先前的工作中，我们开发了分析技术，用于研究规则序列的可应用性、它们的独立性、状态可达性以及能够触发序列的最小有向图。在文献[20]中，详细研究了图约束和应用条件（所谓的限制条件）。在本文中，我们处理将后置条件转换为前置条件以及反向转换的问题。此外，我们将看到应用条件可以沿着序列中的产生式移动（限制条件去局域化）。作为一个实践-理论应用，我们展示了如何使用矩阵图语法，通过应用条件来实现多重有向图重写（与简单有向图重写相对）。