a_7 次（formula_8 表示使用规则1的次数）。
形式定义.
文法的语法.20世纪50年代，诺姆·乔姆斯基首次提出了生成语法的经典形式化理论， 其中文法 "G" 由以下部分组成：文法的形式定义为四元组formula_16。这种形式语法在文献中常被称为重写系统或。
关于形式文法的一些数学构造.文法的运算可以用字符串的关系来定义:注意文法 formula_17 实际上是 formula_32，以完全相同的方式重写字符串；唯