论文部分内容阅读
本文从模式的语义、句法描述着眼,分析了一个属性文法的产生式变元间的几种关系,把这些关系作为语义部分的内容,从而推广了属性文法。以推广后的属性文法为基础,引入控制连接图作为主要的限制条件,提出一种“语义程序文法”,并把标准模式与畸变模式之间的联系用限制条件描述。最后利用变元间的关系,把模式的描述与知识的表达联系起来。
In this paper, we focus on the semantic and syntactic descriptions of patterns, and analyze several relations among the production variables of an attribute grammar. We regard these relations as the contents of the semantic components and generalize the attribute grammar. Based on the popularized attribute grammar, this paper introduces the control connection diagram as the main limitation and puts forward a kind of “semantic programming grammar”, and describes the connection between the standard mode and the distortion mode with the restriction conditions. Finally, the relation between the variables is used to link the description of the model with the expression of knowledge.