什麽是產生式？它的基本形式是什麽？代表什麽含義

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