一种基于符号串代替或代换的计算模型。又称为正规演算法（normal algorithm），系由一有限序列的生产规则表示，其规则形式为α→β，即α可取代β，规则中有定义各种取代公式及如何终止以结束演算法，可应用于字串的生成。
nbsp;