关于描述计算机科学数学对象的形式系统的构造 |
| |
引用本文: | 侯广坤.关于描述计算机科学数学对象的形式系统的构造[J].中山大学学报(自然科学版),1982(2). |
| |
作者姓名: | 侯广坤 |
| |
作者单位: | 中山大学计算机科学系 |
| |
摘 要: | 关于对计算机科学对象进行形式描述,以建立计算机科学的形式理论,是理论计算机科学中一个重要的问题.本文的宗旨是:在计算机科学的对象集合的总体中,排除不可判定的部分,从而构成计算机科学数学对象的形式系统,此系统用S 来表示.它是满足一定条件的受约字公理数论系统的子类.定义1 D 为计算机科学的对象集合,如果存在着算法在有穷步内判定D 中的对象是否具有某些性质Γ_1,Γ_2,…,Γ_k 和它们之间是否具有某些关系R_1,R_2,…,R_r 则D 称为计算机科学数学对象集合.以下简称为对象集合.从能行性理论中看到,如果D 为某抽象机所接受,那么它由所有抽象机所接
|
本文献已被 CNKI 等数据库收录! |
|