产生式是表征程序性知识的最小单位，是指人脑中贮存的一系列如果—那么形式表示的规则。

一个产生式是一个由条件和动作组成的指令，即所谓的条件—活动规则，（condition—action 简称C-A规则）。

在计算机中指Tiger编译器将源程序经过词法分析（Lexical Analysis）和语法分析（Syntax Analysis）后得到的一系列符合文法规则（Backus-Naur Form，BNF）的语句，包含在由Andrew W.Appel在Modern Compiler Implementation（虎书）一书中首次提出的”Tiger编译程序“中。

“产生式”这一术语是在1943年由美国数学家E.L.Post首先提出的，它根据串替代规则提出了一种称为Post机的计算模型，模型中的每一条规则称为产生式。

产生式通常用于表示具有因果关系的知识，其基本形式为：P→Q 或者 IF P THEN Q