是一用图来表达语法规则的形式化体系。如果对这种变网路进一步加以扩充,即增加可用于储存中间结构暂存器,以及每弧上可附加任意的测试和动作,那么就得到所谓的增加变迁网路。这种增加后形式化体系是美国人吴兹提出来的,或叫做吴兹变迁网路文法。