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