由条件和动作组成的指令，即所谓的条件—活动规则，（condition—action 简称C-A规则）。
在计算机中指Tiger编译器将源程序经过词法分析（Lexical Analysis）和语法分析（Syntax Analysis）后得到的一系列符合文法规则（Backus-Naur Form，BNF）的语句，包含在由Andrew W.Appel在Modern Compiler Implementation（虎书）一书中首次提出的”Tiger编译程序“中。
想要了解更多“产生式”的信息，请点击：产生式百科
