它是根据串替换规则提出的一种计算模型。其中的每一条规则就叫一个产生式。也称产生式规则,简称规则。