General deduction and strong completeness of the formal deductivesystem l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
2
In this paper a combinational theory of compilers is described and a formal deductivesystem is given.
本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。
3
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductivesystem given in this paper.