【摘要】：本文從兩個幺半群之間的同態(tài)出發(fā),構(gòu)造(n,S)-自動機之間的滿同態(tài),得到自動機的同余關(guān)系,進一步,在狀態(tài)集的商集上,重新構(gòu)造新的自動機(即所謂商自動機),并闡述了所構(gòu)造的自動機與滿同態(tài)所對應(yīng)的自動機是同構(gòu)的.在此基礎(chǔ)上,引入(n,S)-自動機上的所謂的■和■關(guān)系,證明了這兩個關(guān)系是可交換的.
[Abstract]:Starting from the homomorphism between two monoid groups, we construct the full homomorphism between (nn S) and automata, and obtain the congruence relation of automata. Furthermore, on the quotient set of state sets, we reconstruct the new automata (called quotient automata). It is expounded that the automata constructed is isomorphic to the automaton corresponding to the full homomorphism. On this basis, it is proved that the two relations are commutative by introducing the so-called sum relation on (NLS) -automata.
【作者單位】： 空軍工程大學(xué)理學(xué)院;西安外國語大學(xué)經(jīng)濟金融學(xué)院;
【基金】：國家自然科學(xué)基金項目(61402364)
【分類號】：O152.7

【相似文獻】

相關(guān)期刊論文 前10條

1 郭瑞楓;;半自動機理論在(漢字)辭庫建造中的應(yīng)用[J];南京大學(xué)學(xué)報(自然科學(xué)版);1984年03期

2 周清雷;朱維軍;趙東明;;時間ω-樹自動機識別語言的一個條件[J];信陽師范學(xué)院學(xué)報(自然科學(xué)版);2006年04期

3 閔蘭;劉益;;奇偶校驗自動機的邏輯形式描述[J];西南師范大學(xué)學(xué)報(自然科學(xué)版);2009年03期

4 閻航宇;易忠;鄧培民;;有限群自動機的若干環(huán)論與圖論性質(zhì)[J];廣西師范大學(xué)學(xué)報(自然科學(xué)版);2007年01期

5 劉春霞;;確定的與非確定的公式時鐘自動機的等價性[J];科技信息(科學(xué)教研);2008年17期

6 胡忠剛;孫小迎;覃湘藩;鄧培民;;樹自動機的同余與同態(tài)及其語言[J];高校應(yīng)用數(shù)學(xué)學(xué)報A輯;2011年03期

7 文志英,文志雄;代換序列研究概況[J];數(shù)學(xué)進展;1989年03期

8 張麗;;一種非確定型有窮自動機的極小化方法[J];寧夏大學(xué)學(xué)報(自然科學(xué)版);2012年02期

9 別榮芳,沈恩紹;Z-自動機與分劃邏輯[J];數(shù)學(xué)學(xué)報;1998年01期

10 黃育潛;;樹語言、樹自動機和樹轉(zhuǎn)換器[J];江西師范大學(xué)學(xué)報(自然科學(xué)版);1984年01期

相關(guān)會議論文 前3條

1 西廣成;;抽象神經(jīng)自動機演化過程中熵極限性質(zhì)[A];1999年中國神經(jīng)網(wǎng)絡(luò)與信號處理學(xué)術(shù)會議論文集[C];1999年

2 蘇仕云;郭瑞強;樂嘉錦;;有窮狀態(tài)自動機在商業(yè)邏輯建模中的應(yīng)用[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2002年

3 陽斌;秦琳琳;吳剛;;基于混雜自動機的溫室溫度系統(tǒng)建模與控制[A];中國自動化學(xué)會控制理論專業(yè)委員會D卷[C];2011年

相關(guān)博士學(xué)位論文 前10條

1 徐慧;自動機的代數(shù)表示和形式語言的研究[D];西北大學(xué);2015年

2 田徑;關(guān)于自動機代數(shù)理論的研究[D];西北大學(xué);2012年

3 劉光武;自動機狀態(tài)復(fù)雜度及模型研究[D];華中科技大學(xué);2007年

4 文艷軍;基于接口自動機的組合驗證方法研究[D];國防科學(xué)技術(shù)大學(xué);2005年

5 張薇;自動機和鏈編碼的理論研究與應(yīng)用[D];華東師范大學(xué);2006年

6 李丹美;模糊離散事件自動機組合的控制與切換[D];東華大學(xué);2009年

7 陳文宇;形式語言與自動機理論若干問題研究[D];電子科技大學(xué);2009年

8 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

9 沈潔;基于自動機的XML數(shù)據(jù)過濾研究[D];哈爾濱工程大學(xué);2010年

10 巨志勇;基于動態(tài)系統(tǒng)計算的數(shù)字圖像處理[D];同濟大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 陳晴雷;量子自動機的乘積研究[D];四川師范大學(xué);2012年

2 朱鏡儒;光伏電源三相混聯(lián)接入系統(tǒng)混成自動機控制研究[D];長沙理工大學(xué);2014年

3 周戈;基于運行時驗證的監(jiān)控器生成技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自動機的轉(zhuǎn)換[D];西安電子科技大學(xué);2014年

5 趙庚兵;基于自動機理論的軟件項目進度監(jiān)控方法研究[D];廣東工業(yè)大學(xué);2016年

6 李慧水;某新型重載高速自動機動力學(xué)分析[D];南京理工大學(xué);2016年

7 凌駿;大規(guī)模RDF圖數(shù)據(jù)的屬性路徑查詢及推理研究[D];天津大學(xué);2014年

8 王向飛;基于自動機理論的鋼鐵線材打包機控制軟件設(shè)計[D];浙江工業(yè)大學(xué);2016年

9 張博;廣義可能線性時序邏輯的自動機方法[D];陜西師范大學(xué);2016年

10 石文兵;基于自動機的交易系統(tǒng)設(shè)計研究[D];西北師范大學(xué);2016年

，

本文編號：2357316