属性文法中变元间的关系

本文从模式的语义、句法描述着眼,分析了一个属性文法的产生式变元间的几种关系,把这些关系作为语义部分的内容,从而推广了属性文法。以推广后的属性文法为基础,引入控制连接图作为主要的限制条件,提出一种“语义程序文法”,并把标准模式与畸变模式之间的联系用限制条件描述。最后利用变元间的关系,把模式的描述与知识的表达联系起来。