论文部分内容阅读
在max-?复合推理下引入了非确定模糊有穷自动机的概念,其中?是t-模运算.为了比较2个非确定模糊有穷自动机的行为,借助于[0,1]上的一个实数 ε,定义了2种ε-语言逼近,讨论了它们之间的关系.证明了非确定模糊有穷自动机和模糊有穷自动机之间是0-弱语言逼近的,即二者可以接受相同的模糊语言.此外,还讨论了2种ε-语言逼近的一些代数性质,特别地给出ε-语言逼近在并运算、?运算以及连接运算下的性质.最后,分析了ε-语言逼近的鲁棒性.