產生式

一個產生式是一個由條件和動作組成的指令，即所謂的條件—活動規則，（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