Production (computer science)
基本上所有的formal grammar都是使用的production来进行描述，所以对production进行分析是有一定必要的。
产生式的递归性
当产生式体中包含产生式头部中的non-terminal的时，该产生式就是recursive，它所描述的grammar就是recursive grammar。
与产生式的递归性相关的另外一个概念是left recursion。
递归公式VS产生式
数学中的递归公式（recurrence relation），语言学中的产生式，两者其实有着共同之处：递归。
从Mathematical logic的角度来看Formal grammars
在Formal-language的《从Mathematical logic的角度来看Formal grammars》章节就从Mathematical logic的角度分析了Formal grammars，其实这是对production的分析。
从Formation rule的角度来看待production，则它是一种推导。如果从推导的角度来看待产生式的话，则关于自顶向下parsing无法处理左递归的情况就非常任意理解了
Backus–Naur form
BNF本质上也是一种产生式