基于量子逻辑的自动机理论的拓扑性质

摘要：

研究了基于量子逻辑的自动机理论(简称l-值自动机理论)的拓扑性质.给出了successor算子和source算子的另一种定义,讨论了successor算子、source算子和l-值子自动机之间的关系,得到了successor算子、source算子和l-值子自动机的某种等价性.进一步描述了由successor算子、source算子和l-值子自动机来构造拓扑.得出了successor算子、source算子和l-值子自动机的一些基本性质,证明了在&关于(分配时,successor算子、source算子以及l-值子自动机的某些特殊性质.因而得到了由它们构造拓扑的一个较弱的条件,并且澄清了三者构造拓扑时的等价性.

关键词：量子逻辑、自动机、successor算子、source算子、子自动机、拓扑

所属期刊栏目：18

分类号：TP301(计算技术、计算机技术)

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

页数：共5页

页码：1282-1286