摘要
模糊语言的可逼近条件是模糊计算理论的重要研究内容之一,本文对模糊语言可被确定型模糊有穷自动机逼近的条件进行了研究。首先研究了三个逼近条件之间的关系,证明了2λ-覆盖与λ-逼近等价关系这两个逼近条件的等价性。同时通过反例说明了文[13]给出的模糊语言可逼近的条件是充分非必要的且强于λ-覆盖这一个模糊语言的逼近条件。对于逼近条件的应用,本文通过举例说明了三个逼近条件各有优点。对于给定的模糊语言,文[13]的逼近条件适合用来判断该模糊语言是否可被一个确定型有穷自动机逼近,但并未给出具体的模糊自动机的构造方法;而λ-逼近等价关系这一逼近条件更侧重模糊正则语言的极小逼近,λ-覆盖相对于其他两个逼近条件更方便构造相应的模糊自动机,并给出了具体的构造方法。
- 单位