O.规范归约简介 1.什么叫规范归约? 假定α是文法G的一个句子序列nOxn1,0 满足下述条件时称为规范归约 (1)n= (2)α为文法的开始符即α0=S; (3)对vi0<isn,α1是从α经把句柄替换为相 应产生式的左部符号而得到的。O. 规范归约简介 1. 什么叫规范归约? 假定是文法G的一个句子,序列n ,n-1 ,…,0 满足下述条件时称为规范归约。 (1) n=α; (2) 0为文法的开始符,即0 =S; (3)对i,0<in, i-1是从i经把句柄替换为相 应产生式的左部符号而得到的