论文部分内容阅读
模式的递归结构影响它的形式语言性质,成为模式结构描述的复杂问题之一。本文系统地研究了递归结构的性质,按基本递归结构划分子模式,并以句法-词义方法对它们作分层文法描述,从而建立了递归结构的有效描述体系。程序文法、属性文法以及由此派生的递归条件文法和递归属性文法,都能成功地按此体系描述各种递归结构,这些文法的描述能力也因而得到阐明。
The recursive structure of the model affects its formal language nature and becomes one of the complex problems in the description of the model structure. This paper systematically studies the nature of recursive structure, sub-patterns according to the basic recursive structure and describes them synthetically by syntactic-semantic methods, so as to establish an effective description system of recursive structure. Procedural grammar, attribute grammar and the resulting recursive conditional grammar and recursive grammar, can successfully describe the system according to the various recursive structure, the ability to describe these grammar is also clarified.