论文部分内容阅读
本文在J N Mordeson[9,11~13],E S Santos[16~20],Zhiwen Mo,Lan Shu[5,6,21,45],沈继忠[7,10],彭家寅[46,47]等的研究基础上,对Fuzzy正则语言的代数结构,代数性质等进行了探讨。J N Mordeson,E S Santos和沈继忠等所研究的Fuzzy有限状态自动机是带有输出装置的自动机,他们研究的模糊正则语言是用这种自动机表示的,并且是以模糊数学为工具的纯粹的模糊形式语言理论和模糊自动机理论。本文采用E T Lee和L A Zadeh在1969年所建立的Fuzzy有限状态自动机和语言为研究出发点。Fuzzy正则语言的表示法主要有三种:(1)Fuzzy有限状态自动机(确定性的和非确定性的);(2)Fuzzy正则表达式;(3)Fuzzy线性文法(左线性文法和右线性文法)。 在本文对Fuzzy正则语言的三个基本定理:Kleene定理,泵作用引理及Myhill-Nerode定理进行了模糊形式上的推广,采用的工具是没有输出设备的Fuzzy有限状态自动机。这三个定理是进一步研究Fuzzy正则语言的基础,并且是Fuzzy正则语言与Fuzzy有限状态自动机之间关系的体现。在此基础上得到了两类Fuzzy有限自动机的等价性,为研究两种平行发展的Fuzzy有限自动机性质的结合奠定了基础。 由于Fuzzy正则语言的一种表示法是采用Fuzzy线性文法,因此本文在第一章第四,五节从形式文法的角度,探讨了Fuzzy正则语言的性质和以及其与Fuzzy有理语言,Fuzzy右线性文法,左线性文法的的关系。这种形式上的推导有利于理论成果的实现。 本文在第二章研究了Fuzzy正则语言的有限幂性质和交换性质,得到了一些重要结论,这为研究此令人倍感兴趣又很困惑的问题提供了方法。 在第一,二章研究的基础上,对Fuzzy ω正则语言和Fuzzy上下文无关语言进行了初步地探讨,其为进一步丰富Fuzzy形式语言奠定了基础。