矩阵图文法：限制的转换
摘要：用矩阵方法进行图转换时，我们用布尔矩阵和向量表示简单有向图和规则，并且只使用布尔运算表达重写。在以前的工作中，我们开发了分析技术，用以研究规则序列的适用性、它们的独立性、达到状态和能够触发序列的最小有向图。在[20]中，详细研究了图约束和应用条件（称为限制）。在本文中，我们解决了将后置条件转化为前置条件及其反之的问题。此外，我们将看到应用条件可以沿着一个序列中的生成规则移动（限制去定位）。作为实际理论应用，我们展示了如何利用应用条件来进行多重图的重写（与简单图的重写相反），使用矩阵图文法。
作者：Pedro Pablo Perez Velasco
论文ID：0912.2160
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2009-12-14