基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态  

作　　者：邱道文[1] 

机构地区：[1]中山大学计算机科学系

出　　处：《中国科学（E辑）》2003年第4期340-349,共10页Science in China(Series E)

基　　金：国家杰出青年科学基金(批准号:69725004);国家基础研究重点资助项目(1998030509);广东省自然科学基金(批准号:020146);中山大学青年基金(35100-1131127)

摘　　要：揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系。特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画。最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系。因此,进一步建立了更为深刻的模糊自动机理论。

关 键 词：自动机理论 完备剩余格值逻辑 可逆性 同态 可恢复性 连续映射 开映射 模糊自动机理论 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] O141[自动化与计算机技术—计算机科学与技术]