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

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

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

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