本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。
In this paper a combinational theory of compilers is described and a formal deductive system is given.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductive system given in this paper.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductives...
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal DE...
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
General deduction and strong completeness of the formal deductive system l? Are further studied.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
应用推荐