1、格值自動(dòng)機(jī)作為經(jīng)典數(shù)學(xué)模型有限狀態(tài)自動(dòng)機(jī)的拓展，是將模糊數(shù)學(xué)、格半群和和自動(dòng)機(jī)理論相結(jié)合，通過(guò)改變狀態(tài)轉(zhuǎn)移函數(shù)和輸入輸出函數(shù)來(lái)實(shí)現(xiàn)的。其類型的豐富性和模型的復(fù)雜性決定了其應(yīng)用的廣泛性。狀態(tài)的最小化自從有限自動(dòng)機(jī)被引入以來(lái)就一直是值得關(guān)注的課題，格值自動(dòng)機(jī)的狀態(tài)最小化需要根據(jù)具體的模型進(jìn)行相應(yīng)的算法研究。對(duì)模型的最小化實(shí)現(xiàn)，能使格值自動(dòng)機(jī)在應(yīng)用上更加靈活方便。前人在這個(gè)問(wèn)題上已經(jīng)提出了Mealy型和Mizumoto型格值有限自動(dòng)機(jī)，格值字

2、符串自動(dòng)機(jī)以及非確定型格值有限自動(dòng)機(jī)等的最小化算法或理論，然而還有更多模型和算法需要我們?nèi)パ芯俊１疚闹饕ぷ饔腥缦氯齻€(gè)方面：
　　 ⑴格值Moore機(jī)的最小化：首先提出格值Moore機(jī)的概念，然后從代數(shù)角度出發(fā)詳細(xì)研究此類自動(dòng)機(jī)的性質(zhì)，同時(shí)研究此類自動(dòng)機(jī)的同余和同態(tài)，揭示此類自動(dòng)機(jī)的代數(shù)性質(zhì)和取值格半群的緊密聯(lián)系。最后研究格值Moore機(jī)的極小化，給出可在有限步實(shí)現(xiàn)極小化的算法，并從理論上證明了得到的最小化格值Moore機(jī)與原格

3、值Moore機(jī)等價(jià)。
　　 ⑵確定型格值有限自動(dòng)機(jī)的最小化：首先給出了確定型格值有限自動(dòng)機(jī)的定義，并同時(shí)給出了有效終止?fàn)顟B(tài)和可達(dá)到狀態(tài)的定義。然后以可到達(dá)狀態(tài)為基礎(chǔ)引入了一種新的等價(jià)關(guān)系，通過(guò)等價(jià)關(guān)系對(duì)等價(jià)類的劃分，給出了僅利用集合運(yùn)算便能計(jì)算相應(yīng)等價(jià)類的算法。最后給出了確定型格值有限自動(dòng)機(jī)最小化算法的一個(gè)容易實(shí)現(xiàn)的構(gòu)造型描述和相應(yīng)示例。
　　 ⑶等輸入輸出長(zhǎng)度格值自動(dòng)機(jī)的最小化：首先提出等輸入輸出長(zhǎng)度格值自動(dòng)機(jī)的定義，