就是无限集 formula_4，其中 formula_5 是 formula_6 重复 formula_7 次（formula_8 表示使用规则1的次数）。
形式定义.
文法的语法.20世纪50年代，诺姆·乔姆斯基首次提出了生成语法的经典形式化理论， 其中文法 "G" 由以下部分组成：文法的形式定义为四元组 formula_16。这种形式语法在文献中常被称为重写系统或。
关于形式文法的一些数学构造.文法的运算可以用字符串的关系来定义