计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
22期
32-33,46
,共3页
修正的Kleene系统%广义重言式%分划
脩正的Kleene繫統%廣義重言式%分劃
수정적Kleene계통%엄의중언식%분화
revised Kleene system%genralized tautology%partition
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于同余的一个分划.
將脩正的Kleene繫統中的廣義重言式理論進行推廣,討論瞭其序稠密子代數的廣義重言式理論,併利用可達廣義重言式的概唸在W的序稠密子代數中給齣F(S)關于同餘的一箇分劃.
장수정적Kleene계통중적엄의중언식이론진행추엄,토론료기서주밀자대수적엄의중언식이론,병이용가체엄의중언식적개념재W적서주밀자대수중급출F(S)관우동여적일개분화.
The theory of generalized tautology in revised K] eene system is extended and theory of generalized tautology in order dense sub-algebras of the revised Kleene system is considered in this paper.Congruence partitions about on F (S) have been given in order dense sub-algebras of system W by utilizing the concept8 of accessible generalized tautology.
