论文部分内容阅读
在格值有限状态自动机（简称为LFSA）理论的基础上，给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念，通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质，讨论了构成强子系统的充分必要条件，以及子机和强子系统的相互刻画．最后，通过LFSAs同态的概念得到了强子系统的象仍是强子系统等结论．