由Genrich和Lautenbach提出的PrTNs(Predieate Transition Networks)是描述产生式系统规则的一个有效的工具.本文首先叙述了PrTNs......