|
|||||
|
|
| 基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画 | |
| 作者姓名： | 邱道文 |
| 作者单位： | 中山大学计算机科学系,广州,510275;清华大学计算机科学与技术系智能技术与系统国家重点实验室,北京,100084 |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展计划(973计划)，国家自然科学基金，广东省自然科学基金 |
| 摘 要： | 建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机,successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论. |
| 关 键 词： | 非经典逻辑 自动机 拓扑 |
| 本文献已被 万方数据 等数据库收录！ | |