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

摘要：

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

关键词：非经典逻辑、自动机、拓扑

所属期刊栏目：33

分类号：TP1(自动化基础理论)

资助基金：国家自然科学基金69725004;国家重点基础研究发展计划973计划1998030509;国家自然科学基金69823001;广东省自然科学基金020146

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：137-146