由條件和動作組成的指令，即所謂的條件—活動規則，（condition—action 簡稱C-A規則）。
在計算機中指Tiger編譯器將源程式經過詞法分析（Lexical Analysis）和語法分析（Syntax Analysis）後得到的一系列符合文法規則（Backus-Naur Form，BNF）的語句，包含在由Andrew W.Appel在Modern Compiler Implementation（虎書）一書中首次提出的”Tiger編譯程式“中。
基本介紹
- 中文名：產生式
- 含義：由條件和動作組成的指令
- 條件：活動規則
- 活動規則：condition—action 簡稱C-A規則
產生式是表征程式性知識的最小單位，是指人腦中貯存的一系列如果—那么形式表示的規則。一個產生式是一個由條件和動作組成的指令，即所謂的條件—活動規則，（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
