| 模糊有穷自动机的互模拟关系 |
| |
| 引用本文： | 孙丹丹,李永明,杨文武.模糊有穷自动机的互模拟关系[J].模糊系统与数学,2009,23(4). |
| |
| 作者姓名： | 孙丹丹 李永明 杨文武 |
| |
| 作者单位： | 1. 陕西师范大学,数学与信息科学学院,陕西,西安,710062
2. 陕西师范大学计算机科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 互模拟是离散事件系统中的一个等价关系,它已经应用到概率、随机和加权自动机中.本文给出模糊有穷自动机(FFA)前向互模拟关系和后向互模拟关系的定义,并给出它们的一些性质,证明前向和后向互模拟关系对于模糊有穷自动机(FFA)的一些运算(并,连接,交)和模糊正则语言的表现定理是封闭的.另外文中还给出一个可在有限步计算极大前向互模拟关系的算法,最后指出前向和后向互模拟之间的区别.
|
| 关 键 词： | 模糊有穷自动机 前向互模拟 后向互模拟 等价 |
Bisimulation Relations for Fuzzy Finite Automata |
| |
| SUN Dan-dan,LI Yong-ming,YANG Wen-wu.Bisimulation Relations for Fuzzy Finite Automata[J].Fuzzy Systems and Mathematics,2009,23(4). |
| |
| Authors: | SUN Dan-dan LI Yong-ming YANG Wen-wu |
| |
| Institution: | 1.College of Mathematics and Information Science;Shaanxi Normal University;Xi'an 710062;China;2.College of Computer Science;China |
| |
| Abstract: | Bisimulation is a well known equivalence relation for discrete event systems and hasbeen extended to probabilistic,stochastic and weighted automata.This paper introduces definitions of forward and backward bisimulation which can be applied to FFA.Some properties of them are introducedand it is shown that some commonly known compositions(union,connection,intersection) and representation theorem of fuzzy regular language for FFA are closed under bisimulation.This paper also introduces a algorithm to compute l... |
| |
| Keywords: | FFA Forward Bisimulation Backward Bisimulation Equivalence |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
