產生式
由條件和動作組成的指令
產生式是表徵程序性知識的最小單位，是指人腦中貯存的一系列如果—那麼形式表示的規則。
目錄
一個產生式是一個由條件和動作組成的指令，即所謂的條件—活動規則，（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