基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画  

作　　者：邱道文[1,2] 

机构地区：[1]中山大学计算机科学系 [2]清华大学计算机科学与技术系智能技术与系统国家重点实验室,北京100084

出　　处：《中国科学（E辑）》2003年第2期137-146,共10页Science in China(Series E)

基　　金：国家杰出青年科学基金资助项目(批准号:69725004);国家基础研究重点资助项目(1998030509);国家自然科学基金资助项目(批准号:69823001);广东省自然科学基金资助项目(批准号:020146)

摘　　要：建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论。

关 键 词：完备剩余格值逻辑 自动机理论 非经典逻辑 模糊自动机 L双模糊拓扑 Source算子 Successor算子 

分 类 号：O141.4[理学—数学]