有限自動機是計算機科學(xué)的重要基石，它是研究離散數(shù)字動態(tài)系統(tǒng)的一種數(shù)學(xué)模型，可以用來研究計算機的體系結(jié)構(gòu)、程序設(shè)計、計算復(fù)雜性的理論。而在經(jīng)典計算理論中，有限自動機對應(yīng)的數(shù)學(xué)模型是理想的、定性的，往往不考慮計算環(huán)境的不確定性所帶來的影響，所以經(jīng)典的有限自動機所構(gòu)建的數(shù)學(xué)模型很難反映真實的系統(tǒng)，從而不確定環(huán)境下的計算模型與計算理論成為當(dāng)前計算問題的一個重要研究方向。自1 965年Zadeh提出了模糊集合的概念后，Wee迅速將模糊集應(yīng)用于有限自動機理論的研究，提出了模糊有限自動機。隨后，Hopcroft、Mordeson和Malik、李永明以及田等學(xué)者在這一領(lǐng)域作出了進(jìn)一步有意義的工作。目前，模糊有限自動機已經(jīng)在神經(jīng)網(wǎng)絡(luò)、模式識別、復(fù)雜系統(tǒng)的控制等方面取得了廣泛的應(yīng)用。
?