摘要
揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系。特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画。最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系。因此,进一步建立了更为深刻的模糊自动机理论。
出处
《中国科学（E辑）》
CSCD
北大核心
2003年第4期340-349,共10页
Science in China(Series E)
基金
国家杰出青年科学基金(批准号:69725004)
国家基础研究重点资助项目(1998030509)
广东省自然科学基金(批准号:020146)
中山大学青年基金(35100-1131127)
