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