source算子相关论文
本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质，研究了初始格l与由l-值自动机构造的格之间的关系，并......
研究了基于量子逻辑的自动机理论(简称l-值自动机理论)的拓扑性质.给出了successor算子和source算子的另一种定义,讨论了successor......
