论文部分内容阅读
互模拟是离散事件系统中的一个等价关系，它已经应用到概率、随机和加权自动机中。本文给出模糊有穷自动机（FFA）前向互模拟关系和后向互模拟关系的定义，并给出它们的一些性质，证明前向和后向互模拟关系对于模糊有穷自动机（FFA）的一些运算（并，连接，交）和模糊正则语言的表现定理是封闭的。另外文中还给出一个可在有限步计算极大前向互模拟关系的算法，最后指出前向和后向互模拟之间的区别。