Simone什么是产生式？它的基本形式是什么？代表什么含义
的有关信息介绍如下：
产生式是表征程序性知识的最小单位，是指人脑中贮存的一系列如果—那么形式表示的规则。一个产生式是一个由条件和动作组成的指令，即所谓的条件—活动规则，（condition—action简称C-A规则）。在计算机中指Tiger编译器将源程序经过词法分析（LexicalAnalysis）和语法分析（SyntaxAnalysis）后得到的一系列符合文法规则（Backus-NaurForm，BNF）的语句，包含在由AndrewW.Appel在ModernCompilerImplementation（虎书）一书中首次提出的”Tiger编译程序“中。“产生式”这一术语是在1943年由美国数学家E.L.Post首先提出的，它陵毕胡根据串替代规则提出了尺拦一种称为数拆Post机的计算模型，模型中的每一条规则称为产生式。产生式通常用于表示具有因果关系的知识，其基本形式为：P→Q或者IFPTHENQ
