摘要
计算机科学中的形式化可分为描述概念的形式化、证明定理的形式化、定义语法的形式化、编译语言的形式化和处理文本的形式化等等.本文重点讨论将逻辑语言编译为ALGOL语言的形式化生成.
Formal description of concepts, formal proof of theorems, formal definition of syntaxes, formal compilation of languages and formal processing of texts are discussed, and the formal generation from logical language compiled to ALGOL is presented in detail.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第5期37-43,共7页
Journal of Computer Research and Development
关键词
计算机科学
逻辑语言
形式化
formalization, computer science, formal generation, logical language.
