什么是产生式结构

问题描述

精选答案

产生式是表征程序性知识的最小单位，是指人脑中贮存的一系列如果—那么形式表示的规则。一个产生式是一个由条件和动作组成的指令，即所谓的条件—活动规则，（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