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