给出了格值有限状态机（简记为LFSM）状态后继的概念，研究了它的性质，并提出了格值子机、格值真子机和基于格值子机的可分离性的概念，讨论......

讨论格值有限状态机强连通性、循环性、完全性以及交换性等一些代数性质，证明若两个格值有限状态机之间存在满足一定条件的同态映射......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......