關(guān)于矩陣模型表示下有限自動機的討論.pdf

1、廣西師范大學(xué)碩士學(xué)位論文關(guān)于矩陣模型表示下有限自動機的討論姓名：陳燕敏申請學(xué)位級別：碩士專業(yè)：基礎(chǔ)數(shù)學(xué)指導(dǎo)教師：鄧培民易忠20060401II限自動機是否具有r階輸入存貯性質(zhì)這個問題進行了較為深入的探討：詳細討論了有限自動機具有r階輸入存貯性質(zhì)與布爾狀態(tài)映射矩陣??x?的聯(lián)系，進而，運用矩陣模型下乘積運算的結(jié)果，給出了一種判斷有限自動機是否具有r階輸入存貯性質(zhì)的新方法；（2）詳細討論了識別器?與布爾狀態(tài)映射矩陣??x?的聯(lián)系，運用矩陣模

2、型下乘積運算的結(jié)果，給出了一種求出識別集?中長度為??1kk?的字的個數(shù)的新方法，也給出了一種求出這些識別集?中長度為??1kk?的字的方法；3在有限自動機的矩陣模型方法表示基礎(chǔ)上，對布爾狀態(tài)映射矩陣??x?進行了一系列的變化，對這些變化式分別進行了定義，用它們來判斷有限自動機的狀態(tài)有無前鄰的性質(zhì)，有限自動機是否強連通，同時，也提供了一些構(gòu)造子有限自動機和有效地劃分狀態(tài)映射矩陣??x?為標準型的新方法。全文分為四章：第一章介紹了自動機理

3、論的歷史背景和用矩陣理論研究自動機的現(xiàn)狀，并給出了矩陣模型下有限自動機的一些基本概念和記號；第二章對??x?和??x?進行乘積運算，所得的結(jié)果可描述有限自動機輸入一個序列后狀態(tài)轉(zhuǎn)移的情況和最后一個輸出的情況；第三章在有限自動機矩陣模型表示方法的基礎(chǔ)上，將矩陣模型乘積運算的結(jié)果應(yīng)用到有限自動機中：（1）采用矩陣理論和布爾矩陣理論為研究工具，從一個新的角度，給出了判定有限自動機是否具有r階輸入存貯性質(zhì)的新方法；（2）利用布爾狀態(tài)映射矩陣??